Package edu.usc.alfa.xalfa.ast.automata

This package contains AST classes corresponding to the CoLa constraint expressions used in style models of xAlfa.

See:
          Description

Class Summary
AutomataBehavioralConstraintNode Specifies behavioral constraints using CoLa
AutomataConcreteBehaviorNode Specifies concrete behavior of a particle using CoLa
 

Package edu.usc.alfa.xalfa.ast.automata Description

This package contains AST classes corresponding to the CoLa constraint expressions used in style models of xAlfa. Information in these classes should be used for style conformance analysis as well as documentation of generated code.

See the papers on ViSAC and Alfa's composition theory for more details on the design of this package and it's classes.