Package edu.mit.csail.sdg.alloy4compiler.parser

This package contains the compiler

See:
Description

Class Summary

CompLexer	Autogenerated by JFlex 1.4.1
CompModule	Mutable; this class represents an Alloy module; equals() uses object identity.
CompModule.Open	Mutable; this class represents an untypechecked Alloy module import statement; equals() uses object identity.
CompParser	CUP v0.11a beta 20060608 generated parser.
CompSym	CUP generated class containing symbol constants.
CompUtil	This class provides convenience methods for calling the parser and the compiler.

Package edu.mit.csail.sdg.alloy4compiler.parser Description

This package contains the compiler