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

Packages that use edu.mit.csail.sdg.alloy4compiler.parser

edu.mit.csail.sdg.alloy4compiler.parser

This package contains the compiler

Classes in edu.mit.csail.sdg.alloy4compiler.parser used by edu.mit.csail.sdg.alloy4compiler.parser

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.