Agent iSolutions - Language

Documentation

Language Specification - Workframe (WFR) - Syntax

Syntax

workframe	::=	workframe workframe-name { { display : ID.literal-string ; } { type : factframe \| dataframe ; } { repeat : ID.truth-value ; } { priority : ID.unsigned ; } { variable-decl } { detectable-decl } { [ precondition-decl workframe-body-decl ] \| workframe-body-decl } }
workframe-name	::=	ID.name
variable-decl	::=	variables : [ VAR.variable ]*
detectable-decl	::=	detectables : [ DET.detectable ]*
precondition-decl	::=	when ( { [ PRE.precondition ] [ and PRE.precondition ]* } )
workframe-body-decl	::=	do { [ workframe-body-element ]* }
workframe-body-element	::=	[ PAC.activity-ref \| CON.consequence \| DEL.delete-operation ]