Agent iSolutions - Language - Detectable (DET)

Documentation

Language Specification - Detectable (DET) - Syntax

Syntax

detectable	::=	detectable detectable-name { { when ( [ whenever \| ID.unsigned ] ) } detect ( ( resultcomparison ) { , detect-certainty } ) { then detectable-action } ; }
detectable-name	::=	ID.name
resultcomparison	::=	[ detect-val-comp \| detect-rel-comp ]
detect-val-comp	::=	obj-attr \| obj-attr BEL.evaluation-operator PRE.expression \| obj-attr BEL.evaluation-operator obj-attr \| obj-attr BEL.equality-operator ID.literal-symbol \| obj-attr BEL.equality-operator ID.literal-string \| obj-attr BEL.equality-operator sgl-object-ref
detect-rel-comp	::=	detectable-object REL.relation-name \| detectable-object REL.relation-name sgl-object-ref { is ID.truth-value }
obj-attr	::=	detectable-tuple { ( BEL.collection-index ) }
detectable-tuple	::=	detectable-object . ATT.attribute-name
detectable-object	::=	BEL.tuple-object-ref \| < ID.name >
sql-object-ref	::=	BEL.sql-object-ref \| < ID.name > \| ?
detect-certainty	::=	dc : ID.unsigned
detectable-action	::=	continue \| impasse \| abort \| complete \| end_activity