Commit b4857043 authored by Daniel Honsel's avatar Daniel Honsel
Browse files

some function tests

parent 292bf321
Loading
Loading
Loading
Loading
+7 −6
Original line number Diff line number Diff line
@@ -209,16 +209,16 @@ ControlStatementOrDefList:
	def=ControlStatementOrDef sc=SEMICOLON?;

ControlStatementOrDef:
	(localDef=FunctionLocalDef | localInst=FunctionLocalInst) WithStatement? | ControlStatement;
	(localDef=FunctionLocalDef | localInst=FunctionLocalInst) WithStatement? | control=ControlStatement;

ControlStatement:
	TimerStatements | BasicStatements | BehaviourStatements | SUTStatements | {ControlStatement} STOPKEYWORD;
	timer=TimerStatements | basic=BasicStatements | behavior=BehaviourStatements | sut=SUTStatements | {ControlStatement} STOPKEYWORD;

SUTStatements:
	ACTIONKEYWORD LPAREN txt+=ActionText (STRINGOP txt+=ActionText)* RPAREN;

ActionText:
	{ActionText} FREE_TEXT | Expression;
	{ActionText} FREE_TEXT | expr=Expression;

BehaviourStatements:
	testcase=TestcaseInstance | function=FunctionInstance | return=ReturnStatement | alt=AltConstruct |
@@ -227,7 +227,7 @@ BehaviourStatements:
	BREAKSTATEMENT | {BehaviourStatements} CONTINUESTATEMENT;

ActivateOp:
	ACTIVATEKEYWORD LPAREN AltstepInstance RPAREN;
	ACTIVATEKEYWORD LPAREN altstep=AltstepInstance RPAREN;

DeactivateStatement:
	{DeactivateStatement} DEACTIVATEKEYWORD (LPAREN component=ComponentOrDefaultReference RPAREN)?;
@@ -266,8 +266,9 @@ GuardStatement:
	guard=AltGuardChar (step=AltstepInstance block=StatementBlock? | op=GuardOp block=StatementBlock);

GuardOp:
	TimeoutStatement | ReceiveStatement | TriggerStatement | GetCallStatement | CatchStatement | CheckStatement |
	GetReplyStatement | DoneStatement | KilledStatement;
	timeout=TimeoutStatement | receive=ReceiveStatement | trigger=TriggerStatement | getCall=GetCallStatement |
	catch=CatchStatement | check=CheckStatement | getReply=GetReplyStatement | done=DoneStatement |
	killed=KilledStatement;

DoneStatement:
	ComponentId DOT DONEKEYWORD;