Package edu.usc.alfa.xalfa.ast.alloy

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

See:
          Description

Class Summary
AlloyDataConstraintNode Specifies data constraints using Alloy.
AlloyDefinitionNode Specifies structural shorthand definitions using Alloy.
AlloyStructuralConstraintNode Specifies structural constraints using Alloy.
AlloyTopologyConstraintNode Specifies topology constraints using Alloy.
 

Package edu.usc.alfa.xalfa.ast.alloy 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 for 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.