Home

Products

Documentation

Download

Support

 

Documentation

Language Specification - Workframe (WFR) - Syntax


Prev

Description

Syntax

Semantics

Next


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 ]

 


Questions or problems regarding this web site should be directed to the Webmaster.
Copyright © 2000-2012 All rights reserved.
Last modified: Wednesday January 18, 2012.