Agent iSolutions - Language

Documentation

Language Specification - Attribute (ATT) - Syntax

Syntax

attribute	::=	{ private \| protected \| public } attribute-type-def attribute-name { attrib-body } ;
attribute-name	::=	location \| ID.name
attribute-type-def	::=	[ type-def \| collection-type-def \| relation-type-def ]
type-def	::=	[ class-type-def \| value-type-def \| java-type-def ]
class-type-def	::=	[ Agent \| Group \| Class \| Object \| ActiveClass \| ActiveInstance \| ActiveConcept \| ConceptualClass \| ConceptualObject \| ConceptualConcept \| AreaDef \| Area \| GeographyConcept \| Concept \| GRP.group-name \| CLS.class-name \| COC.conceptual-class-name \| ADF.areadef-name ]
value-type-def	::=	[ int \| long \| double \| symbol \| string \| boolean ]
collection-type-def	::=	[ map ]
relation-type-def	::=	relation ( type-def )
java-type-def	::=	java ( java-ref-type-def )
java-ref-type-def	::=	java-class-or-interface-type-def [ [ ] ]*
java-class-or-interface-type-def	::=	java-type-decl-specifier { java-type-arguments }
java-type-decl-specifier	::=	[ ID.name [ . ID.name ]* \| java-class-or-interface-type-def . ID.name ]
java-type-arguments	::=	< java-type-argument [ , java-type-argument ]* >
java-type-argument	::=	[ java-ref-type-def \| ? { java-wildcard-bounds } ]
java-wildcard-bounds	::=	[ extends java-ref-type-def \| super java-ref-type-def ]
attrib-body	::=	{ { display : ID.literal-string ; } }