no message

README.md

@@ -49,7 +49,7 @@ This page contains the artifacts related to an article entitled "Uncertainty-awa
 ### Experiment results of RQ3
 * ./Experiments/RQ3  
   RQ3 (uncertainty resolution): Can HITECS identify conditions on unknown parameters of HiL test cases under which HiL test cases are conclusively well-behaved?  
-  We used 10000 samples and 10000 decision trees to answer RQ3. This directory contains all the experiment outputs related to Table 11 (see ??.xlsx) and Figure 20 (see J48.xlsx, SimpleCart.xlsx, and REPTree.xlsx).
+  We used 10000 samples and 10000 decision trees to answer RQ3. This directory contains all the experiment outputs related to Table 11 (see identified_conditions.xlsx) and Figure 20 (see J48.xlsx, SimpleCart.xlsx, and REPTree.xlsx.
 
 
 ### Experiment results of RQ4
@@ -58,7 +58,3 @@ This page contains the artifacts related to an article entitled "Uncertainty-awa
   We used 3000 simulation runs to answer RQ4. This directory contains all the simulated execution time estimates and the actual execution time values obtained from the historical data (see simulation.xlsx). Figure 21 visually compares the two sets of execution time values in the artifact.
 
 
-## HITECS tool
-* HITECS tool is available upon request.  
-  Contact: Karim Chaouch (chaouch@svv.lu)
-

grammar/Hitecs.xtext

+grammar org.xtext.Hitecs hidden (WS)
+
+generate hitecs "http://www.xtext.org/Hitecs"
+import 'http://www.eclipse.org/xtext/xbase/Xbase' as xbase
+import "http://www.eclipse.org/emf/2002/Ecore" as ecore
+
+/**************
+ * UNITS
+ **************/
+HitecsProgram:
+	components+=ComponentBlock*
+	schedulers+=SchedulerBlock*
+	testcases+=TestCaseBlock*
+	classes+=ClassBlock*
+	packages+=Package*
+	activities+=ActivityBlock*
+	annotations+=AnnotationSemantics*
+;
+	
+
+ClassBlock:
+	(namespace=NameSpace)?
+	imports+=Import*
+	access=AccessLevel? 'class' name=ID ('specializes' superclass=ID)? block=Block;
+
+TestCaseBlock:
+	(namespace=NameSpace)?
+	imports+=Import*
+	access=AccessLevel? 'testcase' name=ID ('specializes' superclass=ID)? block=Block;
+
+SchedulerBlock:
+	(namespace=NameSpace)?
+	imports+=Import*
+	access=AccessLevel? 'scheduler' name=ID ('specializes' superclass=ID)? block=Block ('do' anotherblock=Block)?;
+
+ComponentBlock:
+	(namespace=NameSpace)?
+	imports+=Import*
+	access=AccessLevel? 'component' name=ID ('specializes' superclass=ID)? block=Block;
+
+NameSpace:
+	'namespace' name=QualifiedName ';';
+
+ActivityBlock:
+	(namespace=NameSpace)?
+	imports+=Import*
+	ACTIVITY='activity' name=ID
+	'(' (params+=Parameter (',' params+=Parameter)*)? ')'
+	block=actBlock;
+	
+AnnotationSemantics :
+	(namespace=NameSpace)?
+	imports+=Import*
+	access=AccessLevel? 'annotation' name=ID block=Block
+;
+
+Package:
+	'package' name=ID block=Block;
+
+Import:
+	(ImportVisibilityIndicator)? 'import' importedNamespace=QualifiedNameWithWildcard ';';
+
+ImportVisibilityIndicator:
+	'public' | 'private';
+
+QualifiedNameWithWildcard:
+	QualifiedName '.*'? '::*'?;
+
+QualifiedName:
+	ID (('.' ID))*;
+
+
+BlockType:
+	access=AccessLevel? blocktype=BlockTypeIndicator name=ID ('specializes' superclass=ID)? block=Block ('do'
+	anotherblock=Block)?;
+
+	/**************
+ * ACCESS
+ **************/
+enum BlockTypeIndicator:
+	COMPONENT='component' | SCHEDULER='scheduler' | TESTCASE='testcase' | CLASS='class';
+
+enum AccessLevel:
+	 NULL ='null' | PRIVATE='private' | PUBLIC='public' | PROTECTED='protected' | ABSTRACT='abstract' | ACTIVE='active' ;
+
+	/**************
+ * LITERALS
+ **************/
+LITERAL:
+	BOOLEAN_LITERAL |
+	NUMBER_LITERAL |
+	STRING_LITERAL;
+
+BOOLEAN_LITERAL:
+	value=BooleanValue; // (suffix = SuffixExpression) ? ;
+enum BooleanValue:
+	TRUE='true' |
+	FALSE='false';
+
+NUMBER_LITERAL:
+	INTEGER_LITERAL | UNLIMITED_LITERAL;
+
+INTEGER_LITERAL:
+	value=INT;
+
+UNLIMITED_LITERAL:
+	value='*';
+
+STRING_LITERAL:
+	value=STRING;
+
+NameExpression:
+	(((prefixOp=('++' | '--') (path=QualifiedNamePath)? id=ID))
+	|
+	((path=QualifiedNamePath)? id=ID
+	(invocationCompletion=Tuple
+	| sequenceConstructionCompletion=SequenceConstructionOrAccessCompletion
+	| postfixOp=('++' | '--'))?)) (suffix=SuffixExpression)?;
+
+QualifiedNamePath:
+	(namespace+=UnqualifiedName '::')+;
+
+UnqualifiedName:
+	name=ID (templateBinding=TemplateBinding)?;
+
+TemplateBinding:
+	'<' bindings+=NamedTemplateBinding (',' bindings+=NamedTemplateBinding)* '>';
+
+NamedTemplateBinding:
+	formal=ID '=>' actual=QualifiedNameWithBinding;
+
+QualifiedNameWithBinding:
+	id=ID (binding=TemplateBinding)? ('::' remaining=QualifiedNameWithBinding)?;
+
+Tuple:
+	{Tuple} '(' (tupleElements+=TupleElement (',' tupleElements+=TupleElement)*)? ')';
+
+TupleElement:
+	argument=Expression;
+
+	/****************************************
+ * Expressions / ConditionalTestExpression
+ ****************************************/
+Expression:
+	ConditionalTestExpression;
+
+ConditionalTestExpression:
+	exp=ConditionalOrExpression ('?' whenTrue=ConditionalTestExpression ':' whenFalse=ConditionalTestExpression)?;
+
+ConditionalOrExpression:
+	exp+=ConditionalAndExpression ('||' exp+=ConditionalAndExpression)*;
+
+ConditionalAndExpression:
+	exp+=InclusiveOrExpression ('&&' exp+=InclusiveOrExpression)*;
+
+InclusiveOrExpression:
+	exp+=ExclusiveOrExpression ('|' exp+=ExclusiveOrExpression)*;
+
+ExclusiveOrExpression:
+	exp+=AndExpression ('^' exp+=AndExpression)*;
+
+AndExpression:
+	exp+=EqualityExpression ('&' exp+=EqualityExpression)*;
+
+EqualityExpression:
+	exp+=ClassificationExpression (op+=('==' | '!=') exp+=ClassificationExpression)*;
+
+enum EqualityOperator:
+	EQUALS='==' |
+	NOT_EQUALS='!=';
+
+ClassificationExpression:
+	exp=RelationalExpression (op=('instanceof' | 'hastype') typeName=NameExpression)?;
+
+enum ClassificationOperator:
+	INSTANCEOF='instanceof' |
+	HASTYPE='hastype';
+
+RelationalExpression:
+	left=ShiftExpression (op=('<' | '>' | '<=' | '>=') right=ShiftExpression)?;
+
+UnknownExpression :
+	 UNKNOWN = 'unknown' (range = '[' rangeMin = (INT) '..' rangeMax = (INT) ']')?
+;
+
+
+
+
+
+ShiftExpression:
+	exp+=AdditiveExpression (op=('<<' | '>>' | '>>>') exp+=AdditiveExpression)?;
+
+enum ShiftOperator:
+	LSHIFT='<<' |
+	RSHIFT='>>' |
+	URSHIFT='>>>';
+
+AdditiveExpression:
+	exp+=MultiplicativeExpression (op+=('+' | '-') exp+=MultiplicativeExpression)*;
+
+
+
+MultiplicativeExpression:
+	exp+=UnaryExpression (op+=('*' | '/' | '%') exp+=UnaryExpression)*;
+
+
+UnaryExpression:
+	(op=('!' | '-' | '+' | '$' | '~'))?
+	exp=PrimaryExpression;
+
+PrimaryExpression:
+	prefix=ValueSpecification;
+
+SuffixExpression:
+	OperationCallExpression |
+	PropertyCallExpression |
+	SequenceOperationExpression |
+	SequenceReductionExpression |
+	SequenceExpansionExpression |
+	ClassExtentExpression;
+
+OperationCallExpression:
+	'.' operationName=ID tuple=Tuple (suffix=SuffixExpression)?;
+
+PropertyCallExpression:
+	'.' propertyName=ID ('[' index=Expression ']')? (suffix=SuffixExpression)?;
+
+
+LinkOperationTuple:
+	'(' linkOperationTupleElement+=LinkOperationTupleElement (',' linkOperationTupleElement+=LinkOperationTupleElement)*
+	')';
+
+LinkOperationTupleElement:
+	role=ID ('[' roleIndex=Expression ']')? '=>' object=Expression;
+
+
+SequenceOperationExpression:
+//'->' operationName = ID tuple = Tuple (suffix = SuffixExpression) ?
+	'->' operationName=QualifiedNameWithBinding tuple=Tuple (suffix=SuffixExpression)?;
+
+SequenceReductionExpression:
+	'->' 'reduce' (isOrdered?='ordered')? behavior=QualifiedNameWithBinding (suffix=SuffixExpression)?;
+
+SequenceExpansionExpression:
+	SelectOrRejectOperation | CollectOrIterateOperation | ForAllOrExistsOrOneOperation | IsUniqueOperation;
+
+SelectOrRejectOperation:
+	'->' op=SelectOrRejectOperator name=ID '(' expr=Expression ')' (suffix=SuffixExpression)?;
+
+enum SelectOrRejectOperator:
+	SELECT='select' |
+	REJECT='reject';
+
+CollectOrIterateOperation:
+	'->' op=CollectOrIterateOperator name=ID '(' expr=Expression ')' (suffix=SuffixExpression)?;
+
+enum CollectOrIterateOperator:
+	COLLECT='collect' |
+	ITERATE='iterate';
+
+ForAllOrExistsOrOneOperation:
+	'->' op=ForAllOrExistsOrOneOperator name=ID '(' expr=Expression ')' (suffix=SuffixExpression)?;
+
+enum ForAllOrExistsOrOneOperator:
+	FORALL='forAll' |
+	EXISTS='exists' |
+	ONE='one';
+
+IsUniqueOperation:
+	'->' 'isUnique' name=ID '(' expr=Expression ')' (suffix=SuffixExpression)?;
+
+ValueSpecification:
+	NameExpression | LITERAL | ThisExpression | SuperInvocationExpression | InstanceCreationExpression |
+	ParenthesizedExpression | NullExpression;
+
+NonLiteralValueSpecification:
+	NameExpression | ParenthesizedExpression | InstanceCreationExpression | ThisExpression | SuperInvocationExpression;
+
+ParenthesizedExpression:
+	'(' expOrTypeCast=Expression ')' ((casted=NonLiteralValueSpecification) | (suffix=SuffixExpression))?;
+
+NullExpression:
+	{NullExpression} 'null';
+
+ThisExpression:
+	{ThisExpression} 'this' (suffix=SuffixExpression)?;
+
+SuperInvocationExpression:
+	'super' ((tuple=Tuple) | ('.' operationName=QualifiedNameWithBinding tuple=Tuple));
+
+InstanceCreationExpression:
+	'new' constructor=QualifiedNameWithBinding tuple=InstanceCreationTuple (suffix=SuffixExpression)?;
+
+InstanceCreationTuple:
+	{InstanceCreationTuple} '(' (ID (',' ID)*)? ')';
+
+InstanceCreationTupleElement:
+	role=ID '=>' object=Expression;
+
+SequenceConstructionOrAccessCompletion:
+	(multiplicityIndicator?='[' ((accessCompletion=AccessCompletion) |
+	sequenceCompletion=PartialSequenceConstructionCompletion)) | (expression=SequenceConstructionExpression);
+
+AccessCompletion:
+	accessIndex=Expression ']';
+
+PartialSequenceConstructionCompletion:
+	']' expression=SequenceConstructionExpression;
+
+SequenceConstructionExpression:
+	'{' sequenceElement+=SequenceElement ((',' sequenceElement+=SequenceElement)* | ('..' rangeUpper=Expression)) '}';
+
+SequenceElement:
+	Expression | SequenceConstructionExpression;
+
+ClassExtentExpression:
+	{ClassExtentExpression} '.' 'allInstances' '(' ')';
+
+	/*****************
+ * Statements
+ ****************/
+Statement:
+	(InlineStatement | BlockStatement | SpecialMethodDeclaration |
+	PackageDeclaration | EmptyStatement | FieldDeclaration | MethodDeclaration | EnumDeclaration | ConditionalIfStatement |
+	SwitchStatement | WhileStatement | DoStatement | ForStatement | BreakStatement | ReturnStatement | AcceptStatement |
+	ClassifyStatement | AssignementorInvocationStatement | SuperInvocationStatement | ThisInvocation
+	|AssertionStatement | AnnotatedStatement | CommentStatement | forDeclarationStatement);
+
+StereotypeAnnotation:
+	'@' stereotypeName=QualifiedName;
+	
+
+
+AnnotatedStatement :
+	'//@' (annotation = ExtendedQualifiedName)'(' (record=ExtendedQualifiedName ',' type=ExtendedQualifiedName)')'
+;
+actBlock:
+	
+	{actBlock} '{'  (Statement+=ActStatement)* (block=Block)? '}';
+
+ActStatement:
+	InvocationStatement | AssertionStatement | AnnotatedStatement | CommentStatement | DistributionStatement
+;
+
+UnknownStatement :
+	variable = ExtendedQualifiedName ':' value =  AssignementExpression
+;
+
+DistributionStatement :
+	name = ExtendedQualifiedName ':' (value = DistributionType) '=' 'unknown' ';'
+;
+
+DistributionType :
+	UD = 'uniformDistribution' '(' min = INT ',' max = INT')' | TD = 'triangularDistribution' '(' min = INT ',' max = INT ',' mode = INT')' | PD = 'poissonDistribution' '('mode = INT')'
+;
+
+InvocationStatement :
+	name = ExtendedQualifiedName '('(value = ExtendedQualifiedName)? ('('(operation = ExtendedQualifiedName)?')')? ')'';'
+	
+;
+AssertionStatement:
+	 {AssertionStatement} 'assert''(' Condition = AssertionExpression (op =('&&'|'||') AnotherCondition = AssertionExpression)? ')'';'
+	
+;
+AssertionExpression :
+	left = ExtendedQualifiedName('('(operation = ExtendedQualifiedName)?')')? (op = ('==' | '!=' | '>=' | '<='))  right = ExtendedQualifiedName
+;
+ExtendedQualifiedName :
+('.')?ID(('.' ID))*| ('-')?INT('.'INT)? | STRING
+;
+
+Block:
+	'{' {Block} (sequence=StatementSequence)? '}';
+
+
+forDeclarationStatement :
+	(name=ExtendedQualifiedName)'['(index=ID)?']'(op=ExtendedQualifiedName)'('')' ';'
+;
+AssignementorInvocationStatement :
+	 (left = (AssignementExpression)(prefixOp=('++' | '--'))?('('(params+=ExtendedQualifiedName (',' params+=ExtendedQualifiedName)*)* ')')?) (op =('='))? (right = AssignementOperation)? ';'
+;
+
+AssignementOperation :
+	AssignementValue | InstanceCreationStatement | AssignementValueWithParantheses
+;
+
+AssignementValue :
+	firstValue = AssignementExpression (arithOp = ('+'|'-'|'*'))? (secondValue = AssignementExpression)?
+;
+AssignementExpression :
+	EQN = ExtendedQualifiedName | UE = UnknownExpression 
+;
+AssignementValueWithParantheses :
+		value = ExtendedQualifiedName  '('(params+=ExtendedQualifiedName (',' params+=ExtendedQualifiedName)*)* ')'
+;
+InstanceCreationStatement :
+ 'new' (constructor = ExtendedQualifiedName)'('(params+=ExtendedQualifiedName (',' params+=ExtendedQualifiedName)*)* ')'
+;
+
+StatementSequence:
+	(statements+=DocumentedStatement)+
+;
+	
+
+
+DocumentedStatement:
+	 statement=Statement;
+
+CommentStatement :
+	ML = ML_COMMENT | SL = SL_COMMENT
+;
+
+InlineStatement:
+	'/*@' 'inline' '(' langageName=ID ')' body=STRING '*/';
+
+
+Annotation:
+	kind=AnnotationKind ('(' args+=ID (',' args+=ID)* ')')?;
+
+enum AnnotationKind:
+	ISOLATED='isolated' |
+	DETERMINED='determined' |
+	ASSURED='assured' |
+	PARALLEL='parallel';
+
+BlockStatement:
+	block=Block;
+
+
+
+EmptyStatement:
+	{EmptyStatement} ';';
+
+	//Package Declaration
+PackageDeclaration:
+	access=AccessLevel (newaccess=AccessLevel)? blocktype=BlockTypeIndicator name=ID ('specializes' superclass=ID)? ';';
+
+	// Field and Methods declaration
+
+Assignement:
+	ID | INT | 'null' |'""';
+
+FieldDeclaration:
+	(access=AccessLevel)? (Static='static')? (name=ID)? '['? (array=ID)? (']')? (UNKOWN = UnknownExpression)? ':' type=QualifiedName ('[' Cardinality '..' Cardinality ']')? ((op ='=') ('{'params+=ID (',' params+=ID)*'}' )? (assignement = Assignement)?)? ';';
+
+
+
+Cardinality:
+	INT | '*';
+
+MethodDeclaration:
+	(stereotype = StereotypeAnnotation)?
+	access=AccessLevel? (Methodacess=MethodAcess)? name=ID '(' (params+=Parameter (',' params+=Parameter)*)? ')' (':')? (methodtype=MethodType)? block=Block;
+	
+MethodType :
+	QualifiedName('[' Cardinality '..' Cardinality ']')?
+;
+MethodAcess:
+	ACTIVITY='activity' | STATIC ='static'
+;
+
+
+SpecialMethodDeclaration:
+	access=AccessLevel? name=ID '(' params+=Parameter ',' params+=Parameter ')' (';');
+
+EnumDeclaration:
+	access=AccessLevel? 'enum' name=ID num=Enum;
+
+Enum:
+	'{' QualifiedName (',' QualifiedName)* '}';
+
+ParameterDirection:
+	'in' | 'out' | 'inout';
+
+Parameter:
+	ParameterDirection name=ID ':' Paramtype=ParamType;
+
+ParamType:
+	name=ID
+;
+
+ConditionalIfStatement :
+	'if' '(' condition=contionalExpression ')' block=Block 
+	(conditionalElseIfStatement+=ConditionalElseIfStatement)* (ConditionalElseStatement=ConditionalElseStatement)?
+;
+
+ConditionalElseIfStatement :
+	
+	'else' 'if' '(' condition=contionalExpression ')' block=Block
+;
+
+ConditionalElseStatement:
+		'else' block=Block
+;
+
+contionalExpression:
+	left = (ExtendedQualifiedName) op=Operation right=(ExtendedQualifiedName|'null')
+;
+
+Operation :
+	'=='|'!='|'>=' |'<=' | '>' | '<'
+;
+
+IfStatement:
+	'if' sequentialClausses=SequentialClauses (finalClause=FinalClause)?;
+
+SequentialClauses:
+	conccurentClauses+=ConcurrentClauses ('else' 'if' conccurentClauses+=ConcurrentClauses)*;
+
+ConcurrentClauses:
+	nonFinalClause+=NonFinalClause ('or' 'if' nonFinalClause+=NonFinalClause)*;
+
+NonFinalClause:
+	'(' condition=Expression ')' block=Block;
+
+FinalClause:
+	'else' block=Block;
+
+SwitchStatement:
+	'switch' '(' expression=Expression ')' '{' (switchClause+=SwitchClause)* (defaultClause=SwitchDefaultClause)? '}';
+
+SwitchClause:
+	switchCase+=SwitchCase (switchCase+=SwitchCase)* statementSequence=NonEmptyStatementSequence;
+
+SwitchCase:
+	'case' expression=Expression ':';
+
+SwitchDefaultClause:
+	'default' ':' statementSequence=NonEmptyStatementSequence;
+
+NonEmptyStatementSequence:
+	(statement+=DocumentedStatement)+;
+
+/* WHILE STATEMENTS */
+WhileStatement:
+	'while' '(' condition=Expression ')' block=Block;
+
+/* DO STATEMENTS */
+DoStatement:
+	'do' block=Block 'while' '(' condition=Expression ')' ';';
+
+DoBlock:
+	'do' block=Block;
+
+/* FOR STATEMENTS */
+ForStatement:
+	'for' '(' control=ForControl ')' block=Block;
+
+ForControl:
+	loopVariableDefinition=LoopVariableDefinition;
+
+LoopVariableDefinition:
+	(name=ID 'in' expression1=ExtendedQualifiedName ('..' expression2=ExtendedQualifiedName)?) | (type=ExtendedQualifiedName name=ID ':'
+	expression=ExtendedQualifiedName);
+
+/* BREAK STATEMENTS */
+BreakStatement:
+	{BreakStatement} 'break' ';';
+
+/* RETURN STATEMENTS */
+ReturnStatement:
+    'return' expression=ReturnExpression';';
+
+ReturnExpression :
+	ThisStatement | VALUE = ExtendedQualifiedName | NULL = 'null' | UnknownExpression
+;
+
+
+
+ThisInvocation :
+	'this'expression=ExtendedQualifiedName(op = '=')(value=ExtendedQualifiedName)';'
+;
+/* ACCEPT STATEMENTS */
+AcceptStatement:
+	clause=AcceptClause (simpleAccept=SimpleAcceptStatementCompletion | compoundAccept=CompoundAcceptStatementCompletion);
+
+SimpleAcceptStatementCompletion:
+	{SimpleAcceptStatementCompletion} ';';
+
+CompoundAcceptStatementCompletion:
+	block=Block ('or' acceptBlock+=AcceptBlock)*;
+
+AcceptBlock:
+	clause=AcceptClause block=Block;
+
+AcceptClause:
+	'accept' '(' (name=ID ':')? qualifiedNameList=QualifiedNameList ')';
+
+/* CLASSIFY STATEMENTS */
+ClassifyStatement:
+	'classify' expression=Expression clause=ClassificationClause ';';
+
+ClassificationClause:
+	classifyFromClause=ClassificationFromClause (classifyToClause=ClassificationToClause)? |
+	(reclassyAllClause=ReclassifyAllClause)? classifyToClause=ClassificationToClause;
+
+ClassificationFromClause:
+	'from' qualifiedNameList=QualifiedNameList;
+
+ClassificationToClause:
+	'to' qualifiedNameList=QualifiedNameList;
+
+ReclassifyAllClause:
+	{ReclassifyAllClause} 'from' '*';
+
+QualifiedNameList:
+	qualifiedName+=QualifiedNameWithBinding (',' qualifiedName+=QualifiedNameWithBinding)*;
+
+InvocationOrAssignementOrDeclarationStatement:
+	typePart_OR_assignedPart_OR_invocationPart=NameExpression
+	//(suffixCompletion = SuffixCompletion)?
+	((variableDeclarationCompletion=VariableDeclarationCompletion) | (assignmentCompletion=AssignmentCompletion))? ';';
+
+SuperInvocationStatement:
+	_super=SuperInvocationExpression ';' //(suffix = SuffixCompletion)? ';'
+;
+ThisStatement :
+	'this'('.')? (returnExpression = AssignementExpression)
+;
+
+
+ThisInvocationStatement:
+	_this=ThisExpression (assignmentCompletion=AssignmentCompletion)? ';';
+
+InstanceCreationInvocationStatement:
+	_new=InstanceCreationExpression ';' //(suffix = SuffixCompletion)? ';'
+;
+
+VariableDeclarationCompletion:
+	(multiplicityIndicator?='[' ']')? variableName=ID initValue=AssignmentCompletion;
+
+AssignmentCompletion:
+	op=AssignmentOperator rightHandSide=SequenceElement;
+
+/* Operators */
+enum AssignmentOperator:
+	ASSIGN='=' |
+	PLUSASSIGN='+=' |
+	MINUSASSIGN='-=' |
+	MULTASSIGN='*=' |
+	MODASSIGN='%=' |
+	DIVASSIGN='/=' |
+	ANDASSIGN='&=' |
+	ORASSIGN='|=' |
+	XORASSIGN='^=' |
+	LSHIFTASSIGN='<<=' |
+	RSHIFTASSIGN='>>=' |
+	URSHIFTASSIGN='>>>=';
+	
+
+
+terminal ID: '^'?('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'_'|'0'..'9')*;
+terminal INT returns ecore::EInt: ('0'..'9')+;
+terminal STRING:
+			'"' ( '\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\'|'"') )* '"' |
+			"'" ( '\\' . /* 'b'|'t'|'n'|'f'|'r'|'u'|'"'|"'"|'\\' */ | !('\\'|"'") )* "'"
+		;
+terminal ML_COMMENT : '/*' -> '*/';
+terminal SL_COMMENT : '//' !('\n'|'\r')* ('\r'? '\n')?;
+
+terminal WS         : (' '|'\t'|'\r'|'\n')+;
+
+terminal ANY_OTHER: .;
+

grammar/hitex.xtext

-grammar

specifications/Activities/Activity_1.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_1(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9){
-
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp16.operation40(Component_13.OnOff.OFF);
-    comp15.operation23(-1);
-    comp16.operation23(-1);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-}

specifications/Activities/Activity_10.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_10(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6){
-
-    comp6.operation25(Component_6.PowerMeasType.RX);
-    comp6.operation31(1);
-    comp6.operation32(Component_6.OnOff.ON);
-    comp6.operation39(1);
-    comp6.operation36(Component_6.OnOff.ON);
-    comp6.setAutoScaling(Component_6.ScalingMode.ONCE);
-    comp6.operation40(Component_6.OnOff.ON);
-    comp6.operation40(Component_6.OnOff.OFF);
-}

specifications/Activities/Activity_11.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_11(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6, in comp11:Component_9,in comp19:Component_16,in comp4:Component_4){
-
-      comp6.operation2();
-      comp6.operation1();
-      comp6.operation25(Component_6.PowerMeasType.GDEL);
-      comp6.operation26(1);
-      comp6.operation27(1);
-      comp6.operation21(Component_6.ChannelMode.SCALAR);
-      comp6.operation25(Component_6.PowerMeasType.GDEL);
-      comp6.operation28(comp4.SourceStartFreq());
-      comp6.operation29(comp4.SourceStopFreq());
-      comp6.operation30(comp4.Step64());
-      comp6.operation31(1);
-      comp6.operation32(Component_6.OnOff.ON);
-      comp6.operation33(1);
-      comp6.operation34(10);
-      comp6.operation35(6);
-      comp6.operation36(Component_6.OnOff.ON);
-      comp6.operation37(Component_6.OnOff.ON);
-      comp6.operation38(comp4.ConversionFreq());
-      comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
-      comp6.operation40(Component_6.OnOff.ON);
-      comp6.operation40(Component_6.OnOff.OFF);
-
-}

specifications/Activities/Activity_12.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_12(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp5:Component_5,in comp1:Component_1,in comp2:Component_2){
-
-    comp12.operation49(30);
-    comp12.operation51(3);
-    comp12.operation54(10);
-    comp12.operation56(comp2.operation7());
-    comp12.operation61(Component_10.OnOff.ON);
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp1.operation24(comp2.operation11());
-    comp1.operation24(comp13.operation64());
-}

specifications/Activities/Activity_13.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_13(in comp13:Component_11,in comp3:Component_3,in comp1:Component_1,in comp9:TXComponent_8,in comp10:RXComponent_8,in comp18:Component_15,in comp11:Component_9,in comp5:Component_5,in comp15:Component_13,in comp12:Component_10,in comp7:Component_7,in comp10:RXComponent_8,in comp19:Component_16){
-
-      comp1.operation3(comp3.operation13());
-      comp1.operation4(comp3.operation14());
-      comp1.operation24(comp13.operation64());
-      comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
-      comp10.operation43(Component_16.convertToComponent_8Value5(comp3.operation16()));
-      comp18.operation20(Component_15.Value5.LOAD);
-      comp11.operation20(Component_9.Value5.LOAD);
-      comp5.operation20(Component_5.Value5.LOAD);
-      comp15.operation2();
-      comp16.operation2();
-      comp12.operation2();
-      comp7.operation2();
-      comp8.operation2();
-      comp10.operation2();
-      comp9.operation2();
-      comp9.operation42();
-      comp10.operation42();
-      comp15.operation1();
-      comp16.operation1();
-      comp12.operation1();
-      comp7.operation1();
-      comp8.operation1();
-      comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
-      comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
-      comp15.operation41(comp3.operation13());
-      comp15.operation23(comp4.F2());
-      comp7.operation41(comp3.operation13());
-
-}

specifications/Activities/Activity_14.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_14(in comp13:Component_11,in comp3:Component_3,in comp1:Component_1,in comp9:TXComponent_8,in comp18:Component_15,in comp11:Component_9,in comp5:Component_5,in comp15:Component_13,in comp12:Component_10,in comp7:Component_7,in comp10:RXComponent_8,in comp19:Component_16){
-
-    comp1.operation3(comp3.operation13());
-    comp1.operation4(comp3.operation14());
-    comp1.operation24(comp13.operation64());
-    comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp15.operation2();
-    comp12.operation2();
-    comp7.operation2();
-    comp9.operation2();
-    comp9.operation42();
-    comp15.operation1();
-    comp12.operation1();
-    comp7.operation1();
-    comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
-    comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
-    comp15.operation41(comp3.operation13());
-    comp15.operation23(comp4.F2());
-    comp7.operation41(comp3.operation13());
-}

specifications/Activities/Activity_16.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_16(in comp13:Component_11,in comp3:Component_3,in comp16:Component_13,in comp9:Component_8,in comp10:RXComponent_8,in comp3:Component_3,in comp1:Component_1,in comp18:Component_15,in comp12:Component_10,in comp11:Component_9,in comp17:Component_14,in comp6:Component_6,in comp7:Component_7,in comp8:Component_7,in comp4:Component_4,in comp19:Component_16){
-
-    comp1.operation3(comp3.operation13());
-    comp1.operation4(comp3.operation14());
-    comp1.operation24(comp13.operation64());
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp9.operation43(Component_16.convertToComponent_8Value5(comp3.operation15()));
-    comp10.operation43(Component_16.convertToComponent_8Value5(comp3.operation16()));
-    comp6.operation2();
-    comp16.operation2();
-    comp12.operation2();
-    comp7.operation2();
-    comp8.operation2();
-    comp9.operation2();
-    comp10.operation2();
-    comp9.operation42();
-    comp10.operation42();
-    comp6.operation1();
-    comp16.operation1();
-    comp12.operation1();
-    comp7.operation1();
-    comp8.operation1();
-    comp11.operation20(Component_16.convertToComponent_9Value5(comp3.operation16()));
-    comp18.operation20(Component_16.convertToComponent_15Value5(comp3.operation15()));
-    comp17.operation76(Component_14.OnOff.ON);
-    comp17.operation77(Component_14.OnOff.ON);
-    comp1.operation24(comp13.operation64());
-    comp6.operation21(Component_6.ChannelMode.SCALAR);
-    comp6.operation25(Component_6.PowerMeasType.RX);
-    comp6.operation22(comp3.operation13());
-    comp6.operation23(comp4.F2());
-    comp7.operation41(comp3.operation13());
-}

specifications/Activities/Activity_17.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_17(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13){
-
-    comp15.operation75(Component_13.OnOff.OFF);
-}

specifications/Activities/Activity_18.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_18(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp6:Component_6){
-
-    comp6.operation2();
-    comp6.operation1();
-    comp15.operation75(Component_13.OnOff.OFF);
-}

specifications/Activities/Activity_2.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_2(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13){
-
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp15.operation23(-1);
-    operation20(Component_5.Value5.LOAD);
-    operation20(Component_15.Value5.LOAD);
-}

specifications/Activities/Activity_20.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_20(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp5:Component_5,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
-
-    comp12.operation44(comp4.F1());
-    comp12.operation46(comp3.operation14());
-    comp12.operation49(10);
-    comp12.operation54(10);
-    comp12.operation56(comp2.operation7());
-    comp5.operation20(comp19.operation78(comp3.operation15()));
-}

specifications/Activities/Activity_21.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_21(in comp13:Component_11,in comp3:Component_3,in comp11:Component_9,in comp12:Component_10,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
-
-    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
-    comp12.operation44(comp4.F1());
-    comp12.operation46(comp3.operation14());
-    comp12.operation49(10);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation54(10);
-    comp12.operation56(comp2.operation7());
-}

specifications/Activities/Activity_22.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_22(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp4:Component_4,in comp2:Component_2){
-
-    comp12.operation46(comp4.NCF());
-    comp12.setDemodoperation12width(25);
-    comp12.operation51(10);
-    comp12.operation49(1.0);
-    comp12.operation46(20);
-    comp12.operation44(10);
-    comp12.operation56(20);
-    comp12.operation49(25);
-    comp12.operation56(comp2.operation7());
-    comp12.operation46(comp4.Component_10CF());
-    comp12.operation56(comp2.operation7());
-    comp16.operation40(Component_13.OnOff.OFF);
-    comp16.operation23(-1);
-}

specifications/Activities/Activity_23.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_23(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
-
-    comp15.operation23(comp4.PowerLvPlusDelta());
-    comp15.operation23(comp4.F2());
-}

specifications/Activities/Activity_24.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_24(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
-
-    comp15.operation23(comp4.PowerLvPlusDelta());
-    comp15.operation23(comp4.PowerLvMinusNDelta());
-}

specifications/Activities/Activity_25.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_25(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp4:Component_4){
-
-    comp15.operation23(comp4.PowerLvPlusDelta());
-}

specifications/Activities/Activity_26.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_26(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp14:Component_12,in comp4:Component_4,in comp2:Component_2){
-
-    comp12.operation1();
-    comp12.operation46(comp4.NCF());
-    comp12.operation49(10);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation54(10);
-    comp12.operation44(comp2.operation9());
-    comp15.operation23(comp4.PsLim());
-    comp15.operation75(Component_13.OnOff.OFF);
-    comp14.operation66(Component_12.value40.LIMITER);
-    comp15.operation23(comp4.SLevel());
-}

specifications/Activities/Activity_27.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_27(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
-
-    comp12.operation1();
-    comp12.operation46(comp4.NCF());
-    comp12.operation49(10);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation54(10);
-    comp12.operation44(comp2.operation9());
-    comp15.operation23(comp4.PsFCA());
-    comp15.operation23(comp4.PsFCAModified());
-}

specifications/Activities/Activity_28.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_28(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp6:Component_6,in comp11:Component_9,in comp4:Component_4,in comp2:Component_2){
-
-    comp12.operation1();
-    comp12.operation46(comp4.NCF());
-    comp12.operation49(10);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation54(10);
-    comp12.operation62(10);
-    comp12.operation44(comp2.operation9Modified());
-    comp11.operation20(Component_9.Value5.Component_6);
-    comp15.operation41(comp4.f1());
-    comp6.operation22(comp4.f2());
-    comp12.operation56(comp4.im1());
-    comp12.operation56(0);
-    comp15.operation23(comp4.PsIM3());
-    comp15.operation40(Component_13.OnOff.ON);
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp6.operation23(comp4.PsIM3());
-    comp6.operation40(Component_6.OnOff.ON);
-    comp15.operation40(Component_13.OnOff.ON);
-}

specifications/Activities/Activity_29.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_29(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp6:Component_6,in comp11:Component_9,in comp4:Component_4){
-
-    comp12.setoperation7(comp4.RefLvModified());
-    comp12.operation46(comp4.f1Modified());
-    comp12.operation49(20);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation46(comp4.f2Modified());
-    comp12.operation46(comp4.im1());
-    comp12.operation46(comp4.im2());
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp6.operation40(Component_6.OnOff.OFF);
-}

specifications/Activities/Activity_3.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_3(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
-
-    comp14.operation66(Component_12.value40.LINEAR);
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp16.operation40(Component_13.OnOff.OFF);
-    comp15.operation23(-1);
-    comp16.operation23(-1);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-}

specifications/Activities/Activity_30.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_30(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4){
-
-    comp12.operation46(comp4.NCF());
-    comp15.operation73(20);
-    comp15.operation74(10);
-    comp15.operation75(Component_13.OnOff.ON);
-    comp15.operation40(Component_13.OnOff.ON);
-    comp15.operation23(comp4.F2Modified());
-}

specifications/Activities/Activity_31.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_31(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10){
-
-    comp12.operation51(3);
-    comp12.operation56(Component_10.operation47());
-    comp12.operation41CntMode(Component_10.OnOff.ON);
-    comp12.operation41CntRes(0.01);
-    comp12.operation41CntMode(Component_10.OnOff.OFF);
-
-}

specifications/Activities/Activity_32.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_32(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
-
-    for(i in 0..10){
-      comp15.operation40(Component_13.OnOff.ON);
-      comp15.operation23(comp4.F3());
-    }
-    comp15.operation23(comp4.F2());
-    comp12.operation56(comp2.operation7());
-    comp12.operation44(comp2.operation7Modified());
-
-    if (comp12.value25CntMode == comp12.ONOff.OFF) {
-      comp12.operation46(comp12.operation57());
-    }
-}

specifications/Activities/Activity_33.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_33(in comp13:Component_11,in comp3:Component_3,in comp15:Component_13,in comp12:Component_10,in comp4:Component_4,in comp2:Component_2){
-
-    comp6.operation40(Component_6.OnOff.ON);
-    for(i in 0..10){
-      comp15.operation23(comp4.F3());
-    }
-
-    comp12.operation56(comp2.operation7());
-    comp12.operation44(comp2.operation7Modified());
-
-    if (comp12.value25CntMode == comp12.ONOff.OFF) {
-      comp12.operation46(Component_10.operation57());
-    }
-}

specifications/Activities/Activity_35.hitecs

-namespace Activities;
-private import Component::*;
-private import MeasurementFormula::*;
-private import PhysicalBehavior::*;
-
-activity Activity_35(in comp13:Component_11, in comp3:Component_3){
-//empty
-}

specifications/Activities/Activity_36.hitecs

-namespace Activities;
-private import Component::*;
-private import MeasurementFormula::*;
-private import PhysicalBehavior::*;
-
-activity Activity_36(in comp13:Component_11, in comp3:Component_3){
-  //empty
-}

specifications/Activities/Activity_37.hitecs

-namespace Activities;
-private import Component::*;
-private import MeasurementFormula::*;
-private import PhysicalBehavior::*;
-
-activity Activity_37(in comp13:Component_11, in comp3:Component_3){
-
-//empty
-
-}

specifications/Activities/Activity_4.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_4(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
-
-    comp6.operation40(Component_6.OnOff.OFF);
-    comp16.operation40(Component_13.OnOff.OFF);
-    comp6.operation23(-1);
-    comp16.operation23(-1);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-}

specifications/Activities/Activity_5.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_5(in comp13:Component_11,in comp3:Component_3,in comp6:Component_6,in comp15:Component_13,in comp16:Component_13,in comp5:Component_5,in comp18:Component_15,in comp11:Component_9,in comp14:Component_12){
-
-    comp15.operation40(Component_13.OnOff.OFF);
-    comp16.operation40(Component_13.OnOff.OFF);
-    comp6.operation40(Component_6.OnOff.OFF);
-    comp15.operation23(-1);
-    comp16.operation23(-1);
-    comp6.operation23(-1);
-    comp5.operation20(Component_5.Value5.LOAD);
-    comp18.operation20(Component_15.Value5.LOAD);
-    comp11.operation20(Component_9.Value5.LOAD);
-}

specifications/Activities/Activity_7.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_7(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp8:Component_7,in comp11:Component_9,in comp4:Component_4,in comp19:Component_16){
-
-    comp12.operation46(this.comp4.NCF());
-    comp12.operation49(5);
-    comp12.operation51(Component_10.value29_AUTO);
-    comp12.operation44(comp4.F1());
-    comp16.operation41(comp4.NCFModified());
-    comp8.operation41(comp4.NCFModified());
-    comp16.operation23(comp4.F4());
-    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
-    comp16.operation40(Component_13.OnOff.ON);
-}

specifications/Activities/Activity_8.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_8(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp16:Component_13,in comp8:Component_7,in comp11:Component_9,in comp4:Component_4,in comp19:Component_16,in comp2:Component_2){
-
-    comp12.operation46(comp4.NCF());
-    comp12.operation49(5);
-    comp12.operation44(comp4.F1());
-    comp12.operation51(Component_10.value29_AUTO);
-    comp16.operation41(comp4.NCFModified());
-    comp8.operation41(comp4.NCFModified());
-    comp11.operation20(comp19.convertToComponent_9Value5(comp3.operation16()));
-    comp16.operation40(Component_13.OnOff.ON);
-    comp12.operation49(10);
-    comp12.operation56(comp2.operation7());
-    comp12.operation46(comp4.NCFModified());
-    comp12.operation56(comp2.operation7());
-    comp16.operation40(Component_13.OnOff.OFF);
-}

specifications/Activities/Activity_9.hitecs

-namespace Activities;
-private import Component::*;
-
-activity Activity_9(in comp13:Component_11,in comp3:Component_3,in comp12:Component_10,in comp15:Component_13,in comp4:Component_4){
-
-    comp12.operation46(comp4.NCF());
-    comp15.operation73(20);
-    comp15.operation74(10);
-    comp15.operation75(Component_13.OnOff.ON);
-    comp15.operation40(Component_13.OnOff.ON);
-    comp15.operation23(comp4.F2());
-}

specifications/Component/Component_1.hitecs

-namespace Component;
-
-component Component_1{
-  private operation24:Integer=0;
-  private value1:Component_3.operation12;
-  private value2:Component_3.operation12;
-
-
-  public activity getInstance():Component_1[0..1]{
-          instance=Component_1.allInstances();
-          if(instance->isEmpty()){
-            instance=new Component_1();
-          }
-
-          return instance->first();
-    }
-
-  @Initialize
-  public operation1(){
-          this.operation24=-1;
-  }
-
-  @Initialize
-  public operation24(in value3:Integer){
-          this.operation24=value3;
-  }
-
-  @Initialize
-  public operation79():Integer{
-          return this.operation24;
-  }
-
-  @Initialize
-  public operation3(in value25:Real){
-          txoperation12=Component_3::getInstance().operation12(value25);
-  }
-
-  public operation4(in value25:Real){
-          rxoperation12=Component_3::getInstance().operation12(value25);
-  }
-
-  @Act
-  public operation5() : Component_3.operation12 {
-          return this.rxoperation12;
-  }
-
-  @Act
-  public operation6() : Component_3.operation12 {
-          return this.txoperation12;
-  }
-
-}

specifications/Component/Component_10.hitecs

-namespace Component;
-component Component_10{
-
-    public enum operation57Func {
-        INIT,
-        NOIS_MEAS
-    }
-
-    public enum OnOff {
-        ON,
-        OFF
-    }
-
-    public enum PowerMeas {
-        INIT,
-        SHORT
-    }
-    private  value29_AUTO : Real;
-    public   value26 : Integer;
-    private  value27:Real;
-    private  centFreq:Real;
-    private  value28:Real;
-    private  value29:Real;
-    private  value30:Real;
-    private  value31:Real;
-    private  value25CntMode:OnOff;
-    private  value25CntRes:Real;
-    private  demodoperation12width:Real;
-    private  noisMeasMode:OnOff;
-    private  value34:Integer;
-    private  value35:Real;
-    private  value36:Real;
-
-
-    public activity getInstance():Component_10[0..1]{
-            instance=Component_10.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_10();
-            }
-
-            return instance->first();
-    }
-
-    @Intialize
-    public  operation2(){
-            this.value27=0;
-            this.centFreq=0;
-            this.value28=0;
-            this.value29=0;
-            this.value30=0;
-            this.value31=0;
-            this.value25CntMode=OnOff.OFF;
-            this.value25CntRes=0;
-    }
-
-    @Intialize
-    public  operation1(){
-            this.value27=0;
-            this.centFreq=0;
-            this.value28=0;
-            this.value29=0;
-            this.value30=0;
-            this.value31=0;
-            this.value25CntMode=OnOff.OFF;
-            this.value25CntRes=0;
-    }
-
-    @Act
-    public  operation1(){
-            this.value27=0;
-            this.centFreq=0;
-            this.value28=0;
-            this.value29=0;
-            this.value30=0;
-            this.value31=0;
-            this.value25CntMode=OnOff.OFF;
-            this.value25CntRes=0;
-    }
-    @Act
-    public  operation44(in lv:Real){
-              this.value27=lv;
-    }
-
-    @Act
-    public  operation45():Real{
-            return this.value27;
-    }
-    @Act
-    public  operation46(in value25:Real){
-            this.centFreq=value25;
-    }
-    @Act
-    public  operation47():Real{
-            return this.centFreq;
-    }
-    @Act
-    public  setDemodoperation12width(in bandwidth:Real){
-            this.demodoperation12width=bandwidth;
-    }
-
-    @Act
-    public  operation50(in value25:Real){
-            this.value36=value25;
-    }
-
-    @Act
-    public  operation49(in span:Real){
-            this.value28=span;
-    }
-    @Act
-    public  operation52():Real{
-            return this.value28;
-    }
-
-    @Act
-    public  operation51(in rbw:Real){
-            this.value29=rbw;
-    }
-    @Act
-    public operation53():Real{
-            return this.value29;
-    }
-
-    @Act
-    public operation54(in vbw:Real){
-            this.value30=vbw;
-    }
-
-    @Act
-    public  operation55():Real{
-            return this.value30;
-    }
-    @Act
-    public  operation56(in value31:Real){
-            this.value31=value31;
-    }
-    @Act
-    public operation57():Real{
-            return this.value31;
-    }
-    @Act
-    public  operation41CntMode(in mode:OnOff){
-            this.value25CntMode=mode;
-    }
-    @Act
-
-    public  operation58():OnOff{
-            return this.value25CntMode;
-    }
-
-    @Act
-    public operation41CntRes(in res:Real){
-            this.value25CntRes=res;
-    }
-    @Act
-    public  operation60():Real{
-            return this.value25CntRes;
-    }
-
-    @Act
-    public  operation61(in mode:OnOff){
-            this.noisMeasMode=mode;
-    }
-    @Act
-    public  operation62(in value:Integer){
-            this.value34=value;
-    }
-    @Act
-    public  setoperation7(in peak:Real){
-            this.value35=peak;
-    }
-}

specifications/Component/Component_11.hitecs

-namespace Component;
-component Component_11{
-
-    private name:String;
-    private value3:Integer;
-    @Create
-    public Component_11(in value3:Integer,in name:String){
-            this.value3=value3;
-            this.name=name;
-    }
-
-    @Act
-    public  operation64():Integer{
-            return this.value3;
-    }
-
-}

specifications/Component/Component_12.hitecs

-namespace Component;
-component Component_12{
-
-
-    public enum value40 {
-        LINEAR,
-        LIMITER
-    }
-
-    private  value38:value40;
-    private comp13operation64:Integer;
-
-    public activity getInstance():Component_12[0..1]{
-            instance=Component_12.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_12();
-            }
-            return instance->first();
-    }
-    @Act
-    public  setSatoperation64(in value3:Integer){
-            this.comp13operation64=value3;
-    }
-    @Act
-    public  operation66(in mode:value40){
-            this.value38=mode;
-    }
-
-    @Cleanup
-    public  operation66(in mode:value40){
-            this.value38=mode;
-    }
-}

specifications/Component/Component_13.hitecs

-namespace Component;
-component Component_13{
-
-    public enum OnOff {
-        ON,
-        OFF
-    }
-    private comp15 : Component_13;
-    private comp16 : Component_13;
-    private  value25:Real;    // unit: GHz
-    private value7:Real; // unit: dBm
-    private value41:OnOff;
-    private value41:Real;
-    private value42:Real;
-    private  value43:OnOff;
-
-    public activity getInstance(in id:Integer):Component_13[0..1]{
-            comp15=Component_13.allInstances();
-            comp16=Component_13.allInstances();
-            if(id==1){
-
-              if(comp15->isEmpty()){
-                comp15=new Component_13();
-              }
-              return comp15->first();
-            }
-            if(id==2){
-              if(comp16->isEmpty()){
-                comp16=new Component_13();
-              }
-            return comp16->first();
-            }
-            return null;
-    }
-
-    @Initialize
-    public  operation2(){
-            value25=1;
-            value7=-1;
-            value41=OnOff.OFF;
-    }
-
-    @Initialize
-    public operation1(){
-            value25=1;
-            value7=-1;
-            value41=OnOff.OFF;
-    }
-    @Initialize
-    public  operation41(in value25:Real){
-            this.value25=value25;
-            }
-    @Initialize
-    public  operation23(in lv:Real){
-            this.value7=lv;
-    }
-
-    @Act
-    public operation69():Real{
-            return this.value25;
-    }
-
-    @Act
-    public  operation41(in value25:Real){
-            this.value25=value25;
-    }
-
-    @Act
-    public operation70():Real{
-            return this.value7;
-    }
-    @Act
-    public  operation40(in mode:OnOff){
-            this.value41=mode;
-    }
-    @Act
-    public  operation72():OnOff{
-            return this.value41;
-    }
-
-    @Act
-    public operation73(in value25:Real){
-            this.value41=value25;
-    }
-
-    @Act
-    public  operation74(in p:Real){
-            this.value42=p;
-    }
-    @Act
-    public  operation75(in mode:OnOff){
-            this.value43=mode;
-    }
-
-    @Cleanup
-    public  operation23(in lv:Real){
-            this.value7=lv;
-    }
-
-    @Cleanup
-    public  operation40(in mode:OnOff){
-            this.value41=mode;
-    }
-}

specifications/Component/Component_14.hitecs

-namespace Component;
-component Component_14{
-
-    public enum OnOff {
-        ON,
-        OFF
-    }
-
-    private  value44:OnOff;
-    private  value45:OnOff;
-
-    public activity getInstance():Component_14[0..1]{
-            instance=Component_14.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_14();
-            }
-            return instance->first();
-            }
-
-    @Initialize
-    public operation76(in mode:OnOff){
-            this.value44=mode;
-    }
-
-    @Initialize
-    public  operation77(in mode:OnOff){
-            this.value45=mode;
-    }
-
-    @Act
-    public operation76(in mode:OnOff){
-            this.value44=mode;
-
-    }
-    @Act
-    public  operation77(in mode:OnOff){
-            this.value45=mode;
-    }
-}

specifications/Component/Component_15.hitecs

-namespace Component;
-component Component_15{
-
-    public enum Value5 {
-        LOAD,
-        V,
-        H
-    }
-    private value4:Value5;
-
-    public activity getInstance():Component_15[0..1]{
-            instance=Component_15.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_15();
-            }
-            return instance->first();
-    }
-
-    @Initialize
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-
-    @Act
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-    
-    @Cleanup
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-}

specifications/Component/Component_16.hitecs

-namespace Component;
-
-class Component_16 {
-
-    @Create
-    private Component_16() {
-    }
-
-    public activity getInstance() :Component_16[0..1]
-
-    {
-        instance = Component_16.allInstances();
-        if (instance -> isEmpty()) {
-            instance = new Component_16();
-        }
-
-        return instance -> first();
-    }
-
-
-    public operation78(in pol :Component_3.Pol) :Component_5.Value5
-
-    {
-        if (pol == Component_3.Pol.H) {
-            return Component_5.Value5.H;
-        }
-        return Component_5.Value5.V;
-    }
-
-    public convertToComponent_15Value5(in pol :Component_3.Pol) :Component_15.Value5
-
-    {
-        if (pol == Component_3.Pol.H) {
-            return Component_15.Value5.H;
-        }
-        return Component_15.Value5.V;
-    }
-
-    public convertToComponent_9Value5(in pol :Component_3.Pol) :Component_9.Value5
-
-    {
-        if (pol == Component_3.Pol.H) {
-            return Component_9.Value5.H;
-        }
-        return Component_9.Value5.V;
-    }
-
-    public convertToComponent_8Value5(in pol :Component_3.Pol) :Component_8.Value5
-
-    {
-        if (pol == Component_3.Pol.H) {
-            return Component_8.Value5.H;
-        }
-        return Component_8.Value5.V;
-
-    }
-}

specifications/Component/Component_2.hitecs

-namespace Component;
-
-class Component_2 {
-
-    @Create
-    private Component_2() {
-        }
-
-    public activity getInstance() :Component_2[0..1]
-
-        {
-            instance = Component_2.allInstances();
-            if (instance -> isEmpty()) {
-                instance = new Component_2();
-            }
-
-            return instance -> first();
-        }
-
-    private clearSkyoperation64 :Integer;
-
-    public operation7() :Real {
-            return Unknown;
-        }
-
-    public operation7Modified():Real{
-            return Unknown;
-        }
-
-    public operation9():Real{
-            return Unknown;
-        }
-
-    public operation9Modified():Real{
-            return Unknown;
-        }
-
-    public operation11():Integer{
-            return Unknown;
-        }
-
-
-}

specifications/Component/Component_3.hitecs

-namespace Component;
-component Component_3{
-
-    public enum Pol {
-        H, V
-    }
-
-    public enum operation12 {
-        L, S, C, X, Ku, K, Ka
-    }
-
-    private operation13:Real;
-    private operation14:Real;
-    private operation15:Pol;
-    private operation16:Pol;
-    private id:Integer;
-    private test:operation12;
-
-
-    public activity getInstance():Component_3[0..1]{
-            instance=Component_3.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_3();
-    }
-
-            return instance->first();
-    }
-
-    @Create
-    private Component_3(in operation13:Real,in operation14:Real,in operation15:Pol,in operation16:Pol,in id:Integer){
-            this.operation13=operation13;
-            this.operation14=operation14;
-            this.operation15=operation15;
-            this.operation16=operation16;
-            this.id=id;
-    }
-
-    @Act
-    public operation12(in value25:Real):operation12{
-
-            if(value25>=1&&value25< 2){
-                return operation12.L;
-
-            }
-            else if(value25>=2&&value25< 4){
-                return operation12.S;
-
-            }
-            else if(value25>=4&&value25< 8){
-                return operation12.C;
-            }
-            else if(value25>=8&&value25< 12){
-                return operation12.X;
-            }
-            else if(value25>=12&&value25< 18){
-                return operation12.Ku;
-            }
-            else if(value25>=18&&value25< 26){
-                return operation12.K;
-            }
-            else if(value25>=26&&value25< 40){
-                return operation12.Ka;
-            }
-
-            else{
-                return operation12.L;
-            }
-    }
-
-    @Act
-    public operation13():Real{
-            return this.operation13;
-    }
-
-    public operation14():Real{
-            return this.operation14;
-    }
-    @Act
-
-    public  operation15():Pol{
-            return this.operation15;
-    }
-
-    @Act
-    public  operation16():Pol{
-            return this.operation16;
-    }
-
-    @Act
-    public operation17():Integer{
-            return this.id;
-    }
-
-    @Act
-    public operation6():operation12[0..*]{
-            return operation12(operation13());
-    }
-    @Act
-    public operation5():operation12[0..*]{
-            return operation12(operation14());
-    }
-}

specifications/Component/Component_5.hitecs

-namespace Component;
-component Component_5{
-
-    public enum Value5 {LOAD, H, V}
-    private value4:Value5;
-
-    public activity getInstance():Component_5[0..1]{
-            instance=Component_5.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_5();
-              }
-
-            return instance->first();
-    }
-
-    @Initialize
-    public operation20(in value4:Value5){
-            this.value4=value4;
-    }
-
-    @Act
-    public operation20(in value4:Value5){
-            this.value4=value4;
-    }
-    @Cleanup
-    public operation20(in value4:Value5){
-            this.value4=value4;
-
-    }
-}

specifications/Component/Component_6.hitecs

-namespace Component;
-component Component_6{
-
-    public enum OnOff {
-        ON,
-        OFF
-    }
-
-    public enum ChannelMode {
-        SCALAR
-    }
-
-    public enum PowerMeasType {
-        RX,
-        TX,
-        GDEL
-    }
-
-    public enum ScalingMode {
-        ONCE
-    }
-
-    private value6:Real;
-    private value7:Real;
-    private value41:OnOff;
-    private value8:ChannelMode;
-    private value9:PowerMeasType;
-    private value10:Integer;
-    private value11:Integer;
-    private value12:Real;
-    private value13:Real;
-    private value14:Real;
-    private value15:Integer;
-    private value16:OnOff;
-    private value17:Integer;
-    private value18:Integer;
-    private numberoperation79s:Integer;
-    private value21:OnOff;
-    private value22:OnOff;
-    private conversionFreq:Real;
-    private value23:Integer;
-    private value24:ScalingMode;
-    private comp6:Component_6;
-
-
-    public activity getInstance(in id:Integer):Component_6[0..1]{
-            comp6=Component_6.allInstances();
-
-            if(id==1){
-
-              if(comp6->isEmpty()){
-                comp6=new Component_6();
-              }
-            return comp6->first();
-            }
-            return null;
-    }
-
-    @Initialize
-    public  operation21(in mode:ChannelMode){
-            this.value8=mode;
-    }
-
-    @Initialize
-    public  operation22(in value25:Real){
-            this.value6=value25;
-    }
-    @Initialize
-    public  operation23(in lv:Real){
-            this.value7=lv;
-    }
-
-
-    @Act
-    public operation2(){
-            value6=1;
-            value7=-1;
-            value41=OnOff.OFF;
-    }
-
-    @Act
-    public  operation1(){
-            value6=1;
-            value7=-1;
-            value41=OnOff.OFF;
-    }
-
-    @Act
-    public operation25(in type:PowerMeasType){
-            this.value9=type;
-    }
-
-
-    @Act
-    public operation26(in value:Integer){
-            this.value10=value;
-    }
-
-    @Act
-    public  operation27(in value:Integer){
-            this.value11=value;
-    }
-
-    @Act
-    public  operation28(in value25:Real){
-            this.value12=value25;
-    }
-
-    @Act
-    public  operation29(in value25:Real){
-            this.value13=value25;
-    }
-
-    @Act
-    public  operation30(in lv:Real){
-            this.value14=lv;
-    }
-
-    @Act
-    public  operation31(in value:Integer){
-            this.value15=value;
-    }
-
-    @Act
-    public  operation32(in mode:OnOff){
-            this.value16=mode;
-    }
-
-    @Act
-    public  operation33(in value:Integer){
-            this.value17=value;
-    }
-
-    @Act
-    public  operation34(in value:Integer){
-            this.value18=value;
-    }
-
-    @Act
-    public  operation35(in value:Integer){
-            this.operation35=value;
-    }
-
-    @Act
-    public  operation36(in mode:OnOff){
-            this.value21=mode;
-    }
-
-    @Act
-    public operation37(in mode:OnOff){
-            this.value22=mode;
-    }
-
-    @Act
-    public operation38(in value25:Real){
-            this.conversionFreq=value25;
-    }
-
-    @Act
-    public operation39(in value:Integer){
-            this.value23=value;
-    }
-
-    @Act
-    public setAutoScaling(in mode:ScalingMode){
-            this.value24=mode;
-    }
-
-    @Cleanup
-    public  operation23(in lv:Real){
-            this.value7=lv;
-    }
-
-    @Cleanup
-    public operation40(in mode:OnOff){
-            this.value41=mode;
-    }
-
-}

specifications/Component/Component_7.hitecs

-namespace Component;
-component Component_7{
-    private comp7:Component_7;
-    private comp8:Component_7;
-    private value25:Real;
-
-    public activity getInstance(in id:Integer):Component_7[0..1]{
-            comp7=Component_7.allInstances();
-            comp8=Component_7.allInstances();
-            if(id==1){
-
-              if(comp7->isEmpty()){
-                comp7=new Component_7();
-              }
-              return comp7->first();
-            }
-
-            if(id==2){
-              if(comp8->isEmpty()){
-                comp7=new Component_7();
-              }
-              return comp8->first();
-            }
-
-            return null;
-    }
-
-    @Intialize
-    public operation2(){
-            value25=0;
-    }
-
-    @Intialize
-    public  operation1(){
-            value25=0;
-    }
-
-    @Intialize
-    public  operation41(in value25:Real){
-            this.value25=value25;
-    }
-
-    @Act
-    public  operation41(in value25:Real){
-            this.value25=value25;
-    }
-
-
-}

specifications/Component/Component_8.hitecs

-namespace Component;
-component Component_8{
-
-    private comp9:Component_8;
-    private comp10:Component_8;
-    private  value4:Value5;
-    private  state:State;
-
-    public enum Type {
-        TX,
-        RX
-    }
-
-    public enum State {
-        RESET,
-        ZERO
-    }
-
-    public enum Value5 {
-        LOAD,
-        V,
-        H
-    }
-    public activity getInstance(in type :Type) :Component_8[0..1]{
-        comp9=Component_8.allInstances();
-        comp10=Component_8.allInstances();
-        if(type==Type.TX){
-
-            if(comp9->isEmpty()){
-              comp9=new Component_8();
-            }
-            return comp9->first();
-            }
-            if(type==Type.RX){
-              if(comp10->isEmpty()){
-              comp10=new Component_8();
-            }
-            return comp10->first();
-            }
-            return null;
-    }
-
-    @Initialize
-    public  operation2(){
-            this.state=State.RESET;
-    }
-
-    @Initialize
-    public  operation42(){
-            this.state=State.ZERO;
-    }
-
-    @Act
-    public operation43(in value4:Value5){
-            this.value4=value4;
-    }
-
-
-}

specifications/Component/Component_9.hitecs

-namespace Component;
-component Component_9{
-
-    public enum Value5 {
-        LOAD,
-        V,
-        H,
-        Component_6
-    }
-
-    private value4:Value5;
-    public activity getInstance():Component_9[0..1]{
-            instance=Component_9.allInstances();
-            if(instance->isEmpty()){
-              instance=new Component_9();
-            }
-            return instance->first();
-    }
-
-    @Intialize
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-
-    @Act
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-
-    @Cleanup
-    public  operation20(in value4:Value5){
-            this.value4=value4;
-    }
-}

specifications/TestCases/TC1.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC1{
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public ExtendedTransferCurve(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
-    }
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
-            Activity_21();
-            Activity_29();
-            Activity_33(comp13,comp3);
-            Activity_22(comp13,comp3,comp15,comp4);
-            Activity_34(comp13,comp3);
-            Activity_23(comp13,comp3,comp15,comp4);
-            Activity_35(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-            Activity_36(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
-
-    }
-}

specifications/TestCases/TC2.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC2{
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public TranslationFrequency(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_14(comp13,comp3,comp1,comp9,comp18,comp11,comp5,comp15,comp12,comp7,comp10,comp19)
-    }
-
-    @Main
-    public mesure(){
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_2(comp13,comp3,comp15);
-    }
-}

specifications/TestCases/TC3.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC3{
-
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public GaintoNoiseTemperatureRatio(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_14(comp13,comp3,comp1,comp9,comp18,comp11,comp5,comp15,comp12,comp7,comp10,comp19)
-    }
-
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_12(comp13,comp3,comp12,comp16mcomp5,comp1,comp2);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_2(comp13,comp3,comp15);
-    }
-
-}

specifications/TestCases/TC4.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC4{
-
-    @Create
-    public BOLLimiterMode(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-            }
-
-    @Setup
-    public setup(){
-            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
-    }
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
-            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
-            Activity_9(comp13,comp3,comp12,comp15,comp4);
-            Activity_33(comp13,comp3);
-            Activity_23(comp13,comp3,comp15,comp4);
-            Activity_34(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-            Activity_18(comp13,comp3);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_3(comp13,comp3,comp15,comp16,comp5,comp18,comp11,comp14);
-    }
-
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
-            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
-            Activity_9(comp13,comp3,comp12,comp15,comp4);
-            Activity_33(comp13,comp3);
-            Activity_23(comp13,comp3,comp15,comp4);
-            Activity_34(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-            Activity_16(comp13,comp3,comp15);
-            Activity_26(comp13,comp3,comp15,comp12,comp4,comp2);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
-    }
-}

specifications/TestCases/TC5.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC5{
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public BOLFCAMeasurement(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
-    }
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
-            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
-            Activity_9(comp13,comp3,comp12,comp15,comp4);
-            Activity_33(comp13,comp3);
-            Activity_23(comp13,comp3,comp15,comp4);
-            Activity_34(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-            Activity_16(comp13,comp3,comp15);
-            Activity_26(comp13,comp3,comp15,comp12,comp4,comp2);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_1(comp13,comp3,comp15,comp16,comp5,comp18,comp11);
-    }
-
-
-}

specifications/TestCases/TC6.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC6{
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public Component_11TransponderGDV(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_15(comp13,comp3,comp16,comp9,comp10,comp3,comp1,comp18,comp12,comp11,comp17,comp6,comp7,comp8,comp4,comp19)
-    }
-
-    @Main
-    public mesure(){
-
-            Activity_20(comp13,comp3,rxsv,comp12,comp4,comp19,comp2);
-            Activity_32(comp13,comp3,comp15,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_8(comp13,comp3,comp12,comp16,comp8,comp8,comp11,comp4,comp19,comp2);
-            Activity_11(comp13,comp3,comp6,comp11,comp19,comp4);
-            Activity_10(comp13,comp3,comp6);
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_4(comp13,comp3,comp6,comp16,comp5,comp18,comp11,comp14);
-
-    }
-}

specifications/TestCases/TC7.hitecs

-namespace TestCases;
-private import Activities::*;
-private import Component::*;
-testcase TC7{
-
-    private  comp1:Component_1[0..1];
-    private  comp18:Component_15[0..1];
-    private  comp11:Component_9[0..1];
-    private  comp5:Component_5[0..1];
-    private  comp15:Component_13[0..1];
-    private  comp16:Component_13[0..1];
-    private  comp12:Component_10[0..1];
-    private  comp7:Component_7[0..1];
-    private  comp8:Component_7[0..1];
-    private  comp6:Component_6[0..1];
-    private  comp17:Component_14[0..1];
-    private  comp14:Component_12[0..1];
-    private  comp9:Component_8[0..1];
-    private  comp10:Component_8[0..1];
-
-    private  comp4:Component_4;
-    private  comp2:Component_2[0..1];
-    private  comp19:Component_16[0..1];
-
-    private  name:String;
-    private  comp13:Component_11;
-    private  comp3:Component_3;
-
-    @Create
-    public ThirdOrderIntermodulation(in comp13:Component_11,in comp3:Component_3){
-            comp1=Component_1.getInstance();
-            comp18=Component_15.getInstance();
-            comp11=Component_9.getInstance();
-            comp5=Component_5.getInstance();
-            comp15=Component_13.getInstance(1);
-            comp16=Component_13.getInstance(2);
-            comp12=Component_10.getInstance();
-            comp7=Component_7.getInstance(1);
-            comp8=Component_7.getInstance(2);
-            comp6=Component_6.getInstance(1);
-            comp17=Component_14.getInstance();
-            comp14=Component_12.getInstance();
-            comp9=Component_8.getInstance(Component_8.Type.TX);
-            comp10=Component_8.getInstance(Component_8.Type.RX);
-            comp4=new Component_4();
-            comp2=Component_2.getInstance();
-            comp19=Component_16.getInstance();
-            this.comp13=comp13;
-            this.comp3=comp3;
-    }
-
-    @Setup
-    public setup(){
-            Activity_13(comp13,comp3,comp1,comp9,comp10,comp18,comp11,comp5,comp15,comp12,comp7,comp8,comp10,comp19);
-    }
-
-    @Main
-    public mesure(){
-
-            Activity_19(comp13,comp3,comp12,comp5,comp4,comp19,comp2);
-            Activity_31(comp13,comp3,comp15,comp12,comp4,comp2);
-            Activity_30(comp13,comp3,comp12);
-            Activity_7(comp13,comp3,comp12,comp16,comp8,comp11,comp4,comp19);
-            Activity_21(comp13,comp3,comp12,comp16,comp4,comp2);
-            Activity_9(comp13,comp3,comp12,comp15,comp4);
-            Activity_33(comp13,comp3);
-            Activity_23(comp13,comp3,comp15,comp4);
-            Activity_34(comp13,comp3);
-            Activity_24(comp13,comp3,comp15,comp4);
-            Activity_17(comp13,comp3,comp15,comp6);
-            Activity_6(comp13,comp3);
-            Activity_27(comp13,comp3,comp15mcomp12mnla1,comp11,comp4,comp2);
-            Activity_28(comp13,comp3,comp12,comp6,comp11,comp4);
-
-    }
-
-    @Teardown
-    public teardown(){
-            Activity_5(comp13,comp3,comp15,comp16,comp5,comp18,comp11,comp14);
-
-    }
-}

specifications/TestSuites/TestSuite_1.hitecs

-
-namespace TestSuites;
-private import Activities::*;
-private import Component::*;
-private import TestCases::*;
-
-
-testsuite TestSuite_1{
-
-@Create
-public testSuite_1(){
-         baseOperation14 = 11719.5;
-         for(i in 0..20){
-            baseoperation14+=39.0;
-            comp13=new Component_11(1,"Component_10T1");
-            comp31=new Component_3(baseOperation14+2000,baseoperation14,Component_3.Pol.V,Component_3.Pol.H,i+1);
-            comp32=new Component_3(baseOperation14+2019.5,baseoperation14+19.5,Component_3.Pol.V,Component_3.Pol.H,i+2);
-
-            if(i<1){
-                add(new TC2(comp13,comp31));
-                add(new TC2(comp13,comp32));
-            }
-            add(new TC1(comp13,comp31));
-            add(new TC3(comp13,comp31));
-            add(new TC4(comp13,comp31));
-            add(new TC5(comp13,comp31));
-            add(new TC6(comp13,comp31));
-            add(new TC7(comp13,comp31));
-
-            add(new TC1(comp13,comp32));
-            add(new TC3(comp13,comp32));
-            add(new TC4(comp13,comp32));
-            add(new TC5(comp13,comp32));
-            add(new TC6(comp13,comp32));
-            add(new TC7(comp13,comp32));
-
-            }
-        }
-  }

specifications/ad-hoc/Activities/Activity_1.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_1(in Comp9:Component_9,in Comp2:Component_2,in Comp11_1:Component_11,in Comp11_2:Component_11,in Comp3:Component_3,in Comp13:Component_13,in Comp7:Component_7){
+
+        Comp11_1.operation_25(Component_11.enum1.OFF);
+        assert(Comp11_1.att3 == Component_11.enum1.OFF);
+
+        Comp11_2.operation_25(Component_11.enum1.OFF);
+        assert(Comp11_2.att3 == Component_11.enum1.OFF);
+
+        Comp11_1.operation_3(-80);
+        assert(Comp11_1.att2 == -80);
+
+        Comp11_2.operation_3(-80);
+        assert(Comp11_2.att2 == -80);
+
+        Comp3.public operation_1(Component_3.enum1.LOAD);
+        assert(Comp3.att1 == Component_3.enum1.LOAD);
+
+        Comp13.public operation_1(Component_13.enum1.LOAD);
+        assert(Comp13.att1 == Component_13.enum1.LOAD);
+
+        Comp7.public operation_1(Component_7.enum1.LOAD);
+        assert(Comp7.att1 == Component_7.enum1.LOAD);
+        }

specifications/ad-hoc/Activities/Activity_10.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_10(in Comp9:Component_9,in Comp2:Component_2,in Comp8:Component_8,in Comp11_2:Component_11,in Comp3:Component_3,in Comp1:Component_1,in ctx:Context){
+
+      Comp8.setoperation_27(30);
+
+      Comp8.operation_9(3);
+
+      Comp8.operation_11(100);
+
+      Comp8.operation_13(ctx.operation_2());
+
+      Comp8.operation_18(Component_8.enum1.ON);
+
+      Comp11_1.operation_25(Component_11.enum1.OFF);
+
+      Comp3.public operation_1(Component_3.enum1.LOAD);
+
+      Comp1.att1(ctx.operation_5());
+
+      Comp1.att1(Comp9.operation_2());
+
+      }

specifications/ad-hoc/Activities/Activity_11.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_11(in Comp9:Component_9,in Comp2:Component_2,in Comp1:Component_1,in txComp6:TXComponent_6,in rxComp6:RXComponent_6,in Comp13:Component_13,in Comp7:Component_7,in Comp3:Component_3,in Comp11_1:Component_11,in Comp8:Component_8,in Comp5_1:Component_5,in rxComp6:RXComponent_6,in util:Util){
+
+
+      Comp1.operation_2(Comp2.operation_2());
+      assert(Comp1.operation_7() == model.iot.component.Component_2.enum2(Comp2.operation_2()));
+
+      Comp1.operation_3(Comp2.operation_3());
+      assert(Comp1.Rxenum2() == model.iot.component.Component_2.enum2(Comp2.operation_3()));
+
+      Comp1.att1(Comp9.operation_2());
+      assert(Comp1.att1 == Comp9.operation_2());
+
+      txComp6.operation_2(Util.convertToComponent_6enum1(Comp2.operation_4()));
+      assert(txComp6.att1 == Util.convertToComponent_6enum1(Comp2.operation_4()));
+
+      rxComp6.operation_2(Util.convertToComponent_6enum1(Comp2.operation_5()));
+      assert(rxComp6.att1 == Util.convertToComponent_6enum1(Comp2.operation_5()));
+
+      Comp13.public operation_1(Component_13.enum1.LOAD);
+      assert(Comp13.att1 == Component_13.enum1.LOAD);
+
+      Comp7.public operation_1(Component_7.enum1.LOAD);
+      assert(Comp7.att1 == Component_7.enum1.LOAD);
+
+      Comp3.public operation_1(Component_3.enum1.LOAD);
+      assert(Comp3.att1 == Component_3.enum1.LOAD);
+
+      Comp11_1.reset();
+      assert(Comp11_1.att3 == enum1.OFF);
+      assert(Comp11_1.att1 == 1);
+      assert(Comp11_1.att3 == Component_11.enum1.OFF);
+
+      Comp11_2.reset();
+      assert(Comp11_2.att3 == enum1.OFF);
+      assert(Comp11_2.att1 == 1);
+      assert(Comp11_2.att3 == Component_11.enum1.OFF);
+
+      Comp8.reset();
+      assert(Comp8.att1 == 0);
+      assert(Comp8.att2 == 0);
+      assert(Comp8.operation_27 == 0);
+      assert(Comp8.att4 == 0);
+      assert(Comp8.att5 == 0);
+      assert(Comp8.att6 == 0);
+      assert(Comp8.att1CntMode == model.iot.component.Component_8.enum1.OFF);
+      assert(Comp8.att1CntRes == 0);
+
+      Comp5_1.reset();
+      assert(Comp5_1.att1 == 0);
+
+      Comp5_2.reset();
+      assert(Comp5_2.att1 == 0);
+
+      rxComp6.reset();
+      assert(rxComp6.state == enum3.RESET);
+
+      txComp6.reset();
+      assert(txComp6.state == enum3.RESET);
+
+      txComp6.operation_1();
+      assert(txComp6.state == enum3.ZERO);
+
+      rxComp6.operation_1();
+      assert(rxComp6.state == enum3.ZERO);
+
+      Comp11_1.preset();
+      assert(Comp11_1.att3 == enum1.OFF);
+      assert(Comp11_1.att1 == 1);
+      assert(Comp11_1.att3 == Component_11.enum1.OFF);
+
+      Comp11_2.preset();
+      assert(Comp11_2.att3 == enum1.OFF);
+      assert(Comp11_2.att1 == 1);
+      assert(Comp11_2.att3 == Component_11.enum1.OFF);
+
+      Comp8.preset();
+      assert(Comp8.att1 == 0);
+      assert(Comp8.att2 == 0);
+      assert(Comp8.operation_27 == 0);
+      assert(Comp8.att4 == 0);
+      assert(Comp8.att5 == 0);
+      assert(Comp8.att6 == 0);
+      assert(Comp8.att1CntMode == model.iot.component.Component_8.enum1.OFF);
+      assert(Comp8.att1CntRes == 0);
+
+      Comp5_1.preset();
+      assert(Comp5_1.att1 == 0);
+
+      Comp5_2.preset();
+      assert(Comp5_2.att1 == 0);
+
+      Comp7.public operation_1(Util.convertToComponent_7enum1(Comp2.operation_5()));
+      assert(Comp7.att1 == Util.convertToComponent_7enum1(Comp2.operation_5()));
+
+      Comp13.public operation_1(Util.convertToComponent_13enum1(Comp2.operation_4()));
+      assert(Comp13.att1 == Util.convertToComponent_13enum1(Comp2.operation_4()));
+
+      Comp11_1.operation_1(Comp2.operation_2());
+      assert(Comp11_1.att1 == Comp2.operation_2());
+
+      Comp11_1.operation_3(fml.operation_3());
+      assert(Comp11_1.att2 == fml.operation_3());
+
+      Comp5_1.operation_1(Comp2.operation_2());
+      assert(Comp5_1.att1 == Comp2.operation_2());
+        }

specifications/ad-hoc/Activities/Activity_12.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_12(in Comp9:Component_9,in Comp2:Component_2,in Comp1:Component_1,in txComp6:TXComponent_6,in Comp13:Component_13,in Comp7:Component_7,in Comp3:Component_3,in Comp11_1:Component_11,in Comp8:Component_8,in Comp5_1:Component_5,in rxComp6:RXComponent_6,in util:Util){
+
+      Comp1.operation_2(Comp2.operation_2());
+      assert(Comp1.operation_7() == model.iot.component.Component_2.enum2(Comp2.operation_2()));
+
+      Comp1.operation_3(Comp2.operation_3());
+      assert(Comp1.Rxenum2() == model.iot.component.Component_2.enum2(Comp2.operation_3()));
+
+      Comp1.att1(Comp9.operation_2());
+      assert(Comp1.att1 == Comp9.operation_2());
+
+      txComp6.operation_2(Util.convertToComponent_6enum1(Comp2.operation_4()));
+      assert(txComp6.att1 == Util.convertToComponent_6enum1(Comp2.operation_4()));
+
+      Comp13.public operation_1(Component_13.enum1.LOAD);
+      assert(Comp13.att1 == Component_13.enum1.LOAD);
+
+      Comp7.public operation_1(Component_7.enum1.LOAD);
+      assert(Comp7.att1 == Component_7.enum1.LOAD);
+
+      Comp3.public operation_1(Component_3.enum1.LOAD);
+      assert(Comp3.att1 == Component_3.enum1.LOAD);
+
+      Comp11_1.reset();
+      assert(Comp11_1.att3 == enum1.OFF);
+      assert(Comp11_1.att1 == 1);
+      assert(Comp11_1.att3 == Component_11.enum1.OFF);
+
+      Comp8.reset();
+      assert(Comp8.att1 == 0);
+      assert(Comp8.att2 == 0);
+      assert(Comp8.operation_27 == 0);
+      assert(Comp8.att4 == 0);
+      assert(Comp8.att5 == 0);
+      assert(Comp8.att6 == 0);
+      assert(Comp8.att1CntMode == model.iot.component.Component_8.enum1.OFF);
+      assert(Comp8.att1CntRes == 0);
+
+      Comp5_1.reset();
+      assert(Comp5_1.att1 == 0);
+
+      txComp6.reset();
+      assert(txComp6.state == enum3.RESET);
+
+      txComp6.operation_1();
+      assert(txComp6.state == enum3.ZERO);
+
+      Comp11_1.preset();
+      assert(Comp11_1.att3 == enum1.OFF);
+      assert(Comp11_1.att1 == 1);
+      assert(Comp11_1.att3 == Component_11.enum1.OFF);
+
+      Comp8.preset();
+
+      Comp5_1.preset();
+      assert(Comp5_1.att1 == 0);
+
+      Comp7.public operation_1(Util.convertToComponent_7enum1(Comp2.operation_5()));
+      assert(Comp7.att1 == Util.convertToComponent_7enum1(Comp2.operation_5()));
+
+      Comp13.public operation_1(Util.convertToComponent_13enum1(Comp2.operation_4()));
+      assert(Comp13.att1 == Util.convertToComponent_13enum1(Comp2.operation_4()));
+
+      Comp11_1.operation_1(Comp2.operation_2());
+      assert(Comp11_1.att1 == Comp2.operation_2());
+
+      Comp11_1.operation_3(fml.operation_3());
+      assert(Comp11_1.att2 == fml.operation_3());
+
+      Comp5_1.operation_1(Comp2.operation_2());
+      assert(Comp5_1.att1 == Comp2.operation_2());
+
+        }

specifications/ad-hoc/Activities/Activity_13.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_13(in Comp9:Component_9,in Comp2:Component_2,in Comp1:Component_1,in Comp13:Component_13,in Comp7:Component_7,in Comp12:Component_12,in Comp4:Component_4,in Comp5_1:Component_5,in fml:Formula,in util:Util){
+
+      Comp1.operation_2(Comp2.operation_2());
+      assert(Comp1.operation_7() == model.iot.component.Component_2.enum2(Comp2.operation_2()));
+
+      Comp1.operation_3(Comp2.operation_3());
+      assert(Comp1.Rxenum2() == model.iot.component.Component_2.enum2(Comp2.operation_3()));
+
+      Comp1.att1(Comp9.operation_2());
+      assert(Comp1.att1 == Comp9.operation_2());
+
+      Comp13.public operation_1(Component_13.enum1.LOAD);
+      assert(Comp13.att1 == Component_13.enum1.LOAD);
+
+      Comp7.public operation_1(Component_7.enum1.LOAD);
+      assert(Comp7.att1 == Component_7.enum1.LOAD);
+
+      Comp3.public operation_1(Component_3.enum1.LOAD);
+      assert(Comp3.att1 == Component_3.enum1.LOAD);
+
+      txComp6.operation_2(Util.convertToComponent_6enum1(Comp2.operation_4()));
+      assert(txComp6.att1 == Util.convertToComponent_6enum1(Comp2.operation_4()));
+
+      rxComp6.operation_2(Util.convertToComponent_6enum1(Comp2.operation_5()));
+      assert(rxComp6.att1 == Util.convertToComponent_6enum1(Comp2.operation_5()));
+
+      Comp4.reset();
+      assert(Comp4.att1 == 1);
+      assert(Comp4.att2  == -80);
+      assert(Comp4.att3 == model.iot.component.Component_4.enum1.OFF);
+
+      Comp11_2.reset();
+      assert(Comp11_2.att3 == enum1.OFF);
+      assert(Comp11_2.att1 == 1);
+      assert(Comp11_2.att3 == Component_11.enum1.OFF);
+
+      Comp8.reset();
+      assert(Comp8.att1 == 0);
+      assert(Comp8.att2 == 0);
+      assert(Comp8.operation_27 == 0);
+      assert(Comp8.att4 == 0);
+      assert(Comp8.att5 == 0);
+      assert(Comp8.att6 == 0);
+      assert(Comp8.att1CntMode == model.iot.component.Component_8.enum1.OFF);
+      assert(Comp8.att1CntRes == 0);
+
+      Comp5_1.reset();
+      assert(Comp5_1.att1 == 0);
+
+      Comp5_2.reset();
+      assert(Comp5_2.att1 == 0);
+
+      txComp6.reset();
+      assert(txComp6.state == enum3.RESET);
+
+      rxComp6.reset();
+      assert(rxComp6.state == enum3.RESET);
+
+      txComp6.operation_1();
+      assert(txComp6.state == enum3.ZERO);
+
+      rxComp6.operation_1();
+      assert(rxComp6.state == enum3.ZERO);
+
+      Comp4.preset();
+      assert(Comp4.att1 == 1);
+      assert(Comp4.att2  == -80);
+      assert(Comp4.att3 == model.iot.component.Component_4.enum1.OFF);
+
+      Comp11_2.preset();
+      assert(Comp11_2.att3 == enum1.OFF);
+      assert(Comp11_2.att1 == 1);
+      assert(Comp11_2.att3 == Component_11.enum1.OFF);
+
+      Comp8.preset();
+      assert(Comp8.att1 == 0);
+      assert(Comp8.att2 == 0);
+      assert(Comp8.operation_27 == 0);
+      assert(Comp8.att4 == 0);
+      assert(Comp8.att5 == 0);
+      assert(Comp8.att6 == 0);
+      assert(Comp8.att1CntMode == model.iot.component.Component_8.enum1.OFF);
+      assert(Comp8.att1CntRes == 0);
+
+      Comp5_1.preset();
+      assert(Comp5_1.att1 == 0);
+
+      Comp5_2.preset();
+      assert(Comp5_2.att1 == 0);
+
+      Comp7.public operation_1(Util.convertToComponent_7enum1(Comp2.operation_5()));
+      assert(Comp7.att1 == Util.convertToComponent_7enum1(Comp2.operation_5()));
+
+      Comp13.public operation_1(Util.convertToComponent_13enum1(Comp2.operation_4()));
+      assert(Comp13.att1 == Util.convertToComponent_13enum1(Comp2.operation_4()));
+
+      Comp12.operation_1(Component_12.enum1.ON);
+      assert(Comp12.att1 == Component_12.enum1.ON);
+
+      Comp12.operation_2(Component_12.enum1.ON);
+      assert(Comp12.att2 == Component_12.enum1.ON);
+
+      Comp1.att1(Comp9.operation_2());
+      assert(Comp1.att1 == Comp9.operation_2());
+
+      Comp4.operation_1(Component_4.enum2.SCALAR);
+      assert(Comp4.att4 == Component_4.enum2.SCALAR);
+
+      Comp4.operation_4(Component_4.enum3.RX);
+      assert(Comp4.att5 == Component_4.enum3.RX);
+
+      Comp4.operation_2(Comp2.operation_2());
+      assert(Comp4.att1 == Comp2.operation_2());
+
+      Comp4.operation_3(fml.operation_3());
+      assert(Comp4.att2 == fml.operation_3());
+
+      Comp5_1.operation_1(Comp2.operation_2());
+      assert(Comp5_1.att1 == Comp2.operation_2());
+
+        }

specifications/ad-hoc/Activities/Activity_14.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_14(in Comp9:Component_9,in Comp2:Component_2,in Comp11_1:Component_11){
+
+        Comp11_1.setAM(Component_11.enum1.OFF);
+        assert(Comp11_1.att6 == Component_11.enum1.OFF);
+        }

specifications/ad-hoc/Activities/Activity_15.hitecs

+namespace Activities;
+private import Component::*;
+
+activity Activity_15(in Comp9:Component_9,in Comp2:Component_2,in Comp11_1:Component_11,in Comp4:Component_4){
+        Comp4.reset();
+        assert(Comp4.att1 == 1);
+        assert(Comp4.att2 == -80);
+        assert(Comp4.att3 == Component_4.enum1.OFF);
+        Comp4.preset();
+        assert(Comp4.att1 == 1);
+        assert(Comp4.att2 == -80);
+        assert(Comp4.att3 == Component_4.enum1.OFF);
+        Comp11_1.setAM(Component_11.enum1.OFF);
+        assert(Comp11_1.att6 == Component_11.enum1.OFF);
+        }

specifications/Activities/Activity_19.hitecs → specifications/ad-hoc/Activities/Activity_16.hitecs

 namespace Activities;
 private import Component::*;
 
-activity Activity_19(in comp13:Component_11,in comp3:Component_3){
+activity Activity_16(in Comp9:Component_9,in Comp2:Component_2){
         // empty
-}
+        }