AthenaDSL.txt

Project#imports
Project#languages
Project#types
Project#validities
Project#functions
Project#processings
Project#prototypes
Project#wrappers
basicType#includes
basicType#languages
basicType#casts
languageDecl#lang
languageDecl#trans
languageDecl#value
structElement#typename
structElement#indices
structElement#name
structElement#hasInitValue
structElement#initValue
index#dim
index#hasValue
index#value
arg#modifier
arg#type
arg#name
ProcessingDeclaration#localParameters
ProcessingDeclaration#localEvents
ProcessingDeclaration#statements
localParameterDeclaration#type
localParameterDeclaration#name
localParameterDeclaration#hasValue
localParameterDeclaration#value
ifblock#eventName
ifblock#ifBlocks
ifblock#hasElse
ifblock#elseBlocks
prototypeDeclaration#name
prototypeDeclaration#superType
prototypeDeclaration#definitions
eventCondition#leftPart
eventCondition#cond
eventCondition#rightPartI
eventCondition#rightPartN
eventCondition#rightPartS
parameterDeclaration#typeName
parameterDeclaration#hasNbW
parameterDeclaration#nbw
parameterDeclaration#hasInfiniteWriter
parameterDeclaration#name
parameterDeclaration#hasValue
parameterDeclaration#value
parameterDeclaration#hasConfig
parameterDeclaration#hasConfigWithDefaultValue
statesetDeclaration#name
statesetDeclaration#states
statesetDeclaration#init
statesetDeclaration#transitions
transitionDeclaration#from
transitionDeclaration#to
transitionDeclaration#evt
transitionDeclaration#raise
transitionDeclaration#sig
interactionDeclaration#wwhen
interactionDeclaration#stateset
interactionDeclaration#wstate
interactionDeclaration#iif
interactionDeclaration#event
interactionDeclaration#icalls
referenceDeclaration#typeName
referenceDeclaration#upway
referenceDeclaration#name
referenceDeclaration#alias
wrapperDeclaration#name
wrapperDeclaration#link
wrapperDeclaration#functions
wrapperDeclaration#objects
wrapperDeclaration#libraries
wrapperDeclaration#tests