updated grammar completely to ttcn-3 version 4.6.1

	GROUPKEYWORD name=IDENTIFIER LBRACKET list=ModuleDefinitionsList? RBRACKET;

ExtFunctionDef:

	EXTKEYWORD FUNCTIONKEYWORD name=IDENTIFIER LPAREN list=FunctionFormalParList? RPAREN return=ReturnType?;

	EXTKEYWORD FUNCTIONKEYWORD det=DETERMINISTIC_MODIFIER? name=IDENTIFIER LPAREN list=FunctionFormalParList? RPAREN

	return=ReturnType?;

ExtConstDef:

	EXTKEYWORD CONSTKEYWORD type=Type id=IdentifierList;

AllWithExcept:

	{AllWithExcept} ALLKEYWORD (EXCEPTKEYWORD idList=IdentifierList)?;

ImportTypeDefSpec:

	TYPEDEFKEYWORD idOrAll=IdentifierListOrAllWithExcept;

	{AllGroupsWithExcept} ALLKEYWORD (EXCEPTKEYWORD idList=QualifiedIdentifierList)?;

AltstepDef:

	ALTSTEPKEYWORD name=IDENTIFIER LPAREN params=FunctionFormalParList? RPAREN spec=RunsOnSpec? LBRACKET

	local=AltstepLocalDefList guard=AltGuardList RBRACKET;

	ALTSTEPKEYWORD name=IDENTIFIER LPAREN params=FunctionFormalParList? RPAREN spec=RunsOnSpec? mtc=MtcSpec?

	system=SystemSpec? LBRACKET local=AltstepLocalDefList guard=AltGuardList RBRACKET;

AltstepLocalDefList:

	{AltstepLocalDefList} (defs+=AltstepLocalDef withstats+=WithStatement? sc+=SEMICOLON?)*;

	killed=KilledStatement;

DoneStatement:

	ComponentId DOT DONEKEYWORD;

	component=ComponentOrAny DOT DONEKEYWORD index=IndexAssignment?;

KilledStatement:

	ComponentId DOT KILLEDKEYWORD;

	component=ComponentOrAny DOT KILLEDKEYWORD index=IndexAssignment?;

ComponentOrAny:

	compOrDefault=ComponentOrDefaultReference | {ComponentOrAny} (ANYKEYWORD (COMPONENTKEYWORD | FROMKEYWORD

	ref=VariableRef)) | {ComponentOrAny} (ALLKEYWORD COMPONENTKEYWORD);

ComponentId:

	ComponentOrDefaultReference | {ComponentId} (ANYKEYWORD | ALLKEYWORD) COMPONENTKEYWORD;

IndexAssignment:

	PORTREDIRECTSYMBOL index=IndexSpec;

IndexSpec:

	INDEX_MODIFIER VALUEKEYWORD ref=VariableRef;

GetReplyStatement:

	PortOrAny DOT reply=PortGetReplyOp;

	CheckPortOpsPresent | FromClausePresent | RedirectPresent;

RedirectPresent:

	PORTREDIRECTSYMBOL SenderSpec;

	PORTREDIRECTSYMBOL (sender=SenderSpec index=IndexSpec? | index=IndexSpec);

FromClausePresent:

	FromClause (PORTREDIRECTSYMBOL sender=SenderSpec)?;

	FromClause (PORTREDIRECTSYMBOL (sender=SenderSpec | index=IndexSpec?) | index=IndexSpec)?;

CheckPortOpsPresent:

	PortReceiveOp | PortGetCallOp | PortGetReplyOp | PortCatchOp;

	PORTREDIRECTSYMBOL RedirectWithValueAndParamSpec;

RedirectWithValueAndParamSpec:

	value=ValueSpec param=ParamSpec? sender=SenderSpec? | redirect=RedirectWithParamSpec;

	value=ValueSpec param=ParamSpec? sender=SenderSpec? index=IndexSpec? | redirect=RedirectWithParamSpec;

ValueMatchSpec:

	VALUEKEYWORD template=InLineTemplate;

	PORTREDIRECTSYMBOL redirect=RedirectWithParamSpec;

RedirectWithParamSpec:

	ParamSpec sender=SenderSpec? | sender=SenderSpec;

	(param=ParamSpec sender=SenderSpec? index=IndexSpec?) | (sender=SenderSpec index=IndexSpec?) | index=IndexSpec;

ParamSpec:

	PARAMKEYWORD ParamAssignmentList;

	// TODO: extend with other possible references

PortOrAny:

	ref=[FormalPortAndValuePar|IDENTIFIER] array=ArrayOrBitRef? | {PortOrAny} ANYKEYWORD PORTKEYWORD;

	ref=[FormalPortAndValuePar|IDENTIFIER] array=ArrayOrBitRef? | {PortOrAny} (ANYKEYWORD (PORTKEYWORD | FROMKEYWORD

	variable=VariableRef));

PortReceiveOp:

	{PortReceiveOp} RECEIVEOPKEYWORD (LPAREN template=InLineTemplate RPAREN)? from=FromClause? redirect=PortRedirect?;

	LPAREN templates+=InLineTemplate (COMMA templates+=InLineTemplate)* RPAREN;

PortRedirect:

	PORTREDIRECTSYMBOL (value=ValueSpec sender=SenderSpec? | SenderSpec);

	PORTREDIRECTSYMBOL ((value=ValueSpec sender=SenderSpec? index=IndexSpec?) | (sender=SenderSpec index=IndexSpec?) |

	index=IndexSpec);

SenderSpec:

	SENDERKEYWORD variable=VariableRef;

	start=StartTimerStatement | stop=StopTimerStatement | timeout=TimeoutStatement;

TimeoutStatement:

	ref=TimerRefOrAny DOT TIMEOUTKEYWORD;

	ref=TimerRefOrAny DOT TIMEOUTKEYWORD index=IndexAssignment?;

StartTimerStatement:

	ref=[TimerVarInstance|IDENTIFIER] arryRefs+=ArrayOrBitRef* DOT STARTKEYWORD (LPAREN expr=Expression RPAREN)?;

StopTimerStatement:

	ref=TimerRefOrAll DOT STOPKEYWORD;

	//TODO: find the correct cross reference: from type?

TimerRefOrAny:

	ref=[TimerVarInstance|IDENTIFIER] | {TimerRefOrAny} ANYKEYWORD timer=TIMERKEYWORD;

	ref=[TimerVarInstance|IDENTIFIER] | {TimerRefOrAny} ANYKEYWORD timer=TIMERKEYWORD | ANYKEYWORD FROMKEYWORD

	from=IDENTIFIER;

TimerRefOrAll:

	ref=[TimerVarInstance|IDENTIFIER] | {TimerRefOrAll} ALLKEYWORD timer=TIMERKEYWORD;

	TIMERKEYWORD list=VarList;

VarInstance:

	VARKEYWORD ((listType=Type list=VarList) | ((TEMPLATEKEYWORD | resTemplate=RestrictedTemplate) type=Type

	tempList=TempVarList));

	VARKEYWORD ((listMod=(LAZY_MODIFIER | FUZZY_MODIFIER)? listType=Type list=VarList) | ((TEMPLATEKEYWORD |

	resTemplate=RestrictedTemplate) tempMod=(LAZY_MODIFIER | FUZZY_MODIFIER)? type=Type tempList=TempVarList));

VarList:

	variables+=SingleVarInstance (COMMA variables+=SingleVarInstance)*;

	name=IDENTIFIER array=ArrayDef?;

ComponentElementDef:

	port=PortInstance | variable=VarInstance | timer=TimerInstance | const=ConstDef;

	port=PortInstance | variable=VarInstance | timer=TimerInstance | const=ConstDef | template=TemplateDef;

ProcedureList:

	Direction allOrSigList=AllOrSignatureList;

	{PatternParticle} CSTRING | ReferencedValue;

TemplateDef:

	TEMPLATEKEYWORD restriction=TemplateRestriction? base=BaseTemplate derived=DerivedDef? ASSIGNMENTCHAR

	body=TemplateBody;

	TEMPLATEKEYWORD restriction=TemplateRestriction? fuzzy=FUZZY_MODIFIER? base=BaseTemplate derived=DerivedDef?

	ASSIGNMENTCHAR body=TemplateBody;

DerivedDef:

	MODIFIESKEYWORD template=[BaseTemplate|QualifiedIdentifier];

	expr2=SingleExpression)? RPAREN)? ALIVEKEYWORD?;

RunningOp:

	ComponentId DOT RUNNINGKEYWORD;

	component=ComponentOrAny DOT RUNNINGKEYWORD index=IndexAssignment?;

OpCall:

	configuration=ConfigurationOps | verdict=GETLOCALVERDICT | timer=TimerOps | function=FunctionInstance

	field+=ExtendedFieldReference+;

AliveOp:

	ComponentId DOT ALIVEKEYWORD;

	component=ComponentOrAny DOT ALIVEKEYWORD index=IndexAssignment?;

TemplateListItem:

	body=TemplateBody | all=AllElementsFrom;

	read=ReadTimerOp | run=RunningTimerOp;

RunningTimerOp:

	timerRef=TimerRefOrAny DOT RUNNINGKEYWORD;

	timerRef=TimerRefOrAny DOT RUNNINGKEYWORD index=IndexAssignment?;

ReadTimerOp:

	timer=[TimerVarInstance|IDENTIFIER] DOT READKEYWORD;

	statement=StatementBlock;

FunctionDef:

	FUNCTIONKEYWORD name=IDENTIFIER LPAREN parameterList=FunctionFormalParList? RPAREN runsOn=RunsOnSpec? mtc=MtcSpec?

	FUNCTIONKEYWORD det=DETERMINISTIC_MODIFIER? name=IDENTIFIER LPAREN parameterList=FunctionFormalParList? RPAREN

	runsOn=RunsOnSpec? mtc=MtcSpec?

	system=SystemSpec? returnType=ReturnType? statement=StatementBlock;

MtcSpec:

	value=FormalValuePar | timer=FormalTimerPar | template=FormalTemplatePar | port=FormalPortPar;

FormalValuePar:

	(inOut=(INPARKEYWORD | INOUTPARKEYWORD | OUTPARKEYWORD))? type=Type name=IDENTIFIER (ASSIGNMENTCHAR

	(expression=Expression | MINUS))?;

	(inOut=(INPARKEYWORD | INOUTPARKEYWORD | OUTPARKEYWORD))? (mod=LAZY_MODIFIER | mod=FUZZY_MODIFIER)? type=Type

	name=IDENTIFIER (ASSIGNMENTCHAR (expression=Expression | MINUS))?;

FormalTimerPar:

	INOUTPARKEYWORD? TIMERKEYWORD name=IDENTIFIER;

FormalTemplatePar:

	(inOut=(INPARKEYWORD | OUTPARKEYWORD | INOUTPARKEYWORD))? (TEMPLATEKEYWORD | restriction=RestrictedTemplate)

	type=Type name=IDENTIFIER (ASSIGNMENTCHAR (templ=InLineTemplate | MINUS))?;

	(mod=LAZY_MODIFIER | mod=FUZZY_MODIFIER)? type=Type name=IDENTIFIER (ASSIGNMENTCHAR (templ=InLineTemplate | MINUS))?;

RunsOnSpec:

	RUNSKEYWORD ONKEYWORD component=[ComponentDef|QualifiedIdentifier];

terminal ASSIGNMENTCHAR returns ecore::EString:

	':=';

terminal INDEX_MODIFIER returns ecore::EString:

	'@index';

terminal DETERMINISTIC_MODIFIER returns ecore::EString:

	'@deterministic';

terminal LAZY_MODIFIER returns ecore::EString:

	'@lazy';

terminal FUZZY_MODIFIER returns ecore::EString:

	'@fuzzy';

terminal SELFOP returns ecore::EString:

	'self';