|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use edu.mit.csail.sdg.alloy4 | |
|---|---|
| edu.mit.csail.sdg.alloy4 | This package contains general data structures and helper classes. |
| edu.mit.csail.sdg.alloy4compiler.ast | This package contains the definition of AST nodes. |
| edu.mit.csail.sdg.alloy4compiler.parser | This package contains the compiler |
| edu.mit.csail.sdg.alloy4compiler.sim | This package contains a pure-Java evaluator/simulator for Alloy4 instances. |
| edu.mit.csail.sdg.alloy4compiler.translator | This package contains the translator from Alloy4 to CNF (using kodkod). |
| edu.mit.csail.sdg.alloy4graph | This package performs graph layout. |
| edu.mit.csail.sdg.alloy4viz | This package displays Alloy4 instances. |
| edu.mit.csail.sdg.alloy4whole | This package contains a simple GUI client, as well as several examples on using the API. |
| java_cup.runtime | |
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4 | |
|---|---|
| A4Reporter
This class receives diagnostic, progress, and warning messages from Alloy4. |
|
| ByteBuffer
Mutable; implements a growable array of bytes. |
|
| Computer
This defines a compute() method that takes an Object input and produces a String output. |
|
| ConstList
Immutable; implements a list based on equals(); null values are allowed. |
|
| ConstList.TempList
Mutable; this implements a modifiable list that can be used to construct a ConstList; null values are allowed. |
|
| ConstMap
Immutable; implements a map based on hashCode() and equals(); null key and values are allowed. |
|
| ConstSet
Immutable; implements a set based on hashCode() and equals(); null value is allowed. |
|
| Env
Mutable; implements a undoable map based on hashCode() and equals(); null key and values are allowed. |
|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| ErrorWarning
Immutable; this represents a nonfatal warning that should be reported to the user. |
|
| JoinableList
Immutable; implements a list where it is combine them; null values are NOT allowed. |
|
| Listener
This defines an interface for receiving events. |
|
| Listener.Event
This defines the list of possible events. |
|
| Listeners
This stores a list of listeners. |
|
| OurPDFWriter
Graphical convenience methods for producing PDF files. |
|
| OurSyntaxWidget
Graphical syntax-highlighting editor. |
|
| Pos
Immutable; stores the filename and line/column position. |
|
| Runner
This class converts a Runnable into an AbstractAction, WindowListener, CaretListener, and MenuListener also. |
|
| SafeList
This list allows add() but disallows remove() and set(); null values are allowed. |
|
| WorkerEngine.WorkerCallback
This defines an interface for receiving results from a subprocess. |
|
| WorkerEngine.WorkerTask
This defines an interface for performing tasks in a subprocess. |
|
| XMLNode
Immutable; this class represents an XML element node. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4compiler.ast | |
|---|---|
| ConstList
Immutable; implements a list based on equals(); null values are allowed. |
|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| ErrorSyntax
Immutable; this represents a syntax error that should be reported to the user. |
|
| ErrorWarning
Immutable; this represents a nonfatal warning that should be reported to the user. |
|
| JoinableList
Immutable; implements a list where it is combine them; null values are NOT allowed. |
|
| Listener
This defines an interface for receiving events. |
|
| Pair
Immutable; stores a pair of object references; Pair.equals() compares by calling equals() on both components. |
|
| Pos
Immutable; stores the filename and line/column position. |
|
| SafeList
This list allows add() but disallows remove() and set(); null values are allowed. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4compiler.parser | |
|---|---|
| A4Reporter
This class receives diagnostic, progress, and warning messages from Alloy4. |
|
| ConstList
Immutable; implements a list based on equals(); null values are allowed. |
|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| Pair
Immutable; stores a pair of object references; Pair.equals() compares by calling equals() on both components. |
|
| Pos
Immutable; stores the filename and line/column position. |
|
| SafeList
This list allows add() but disallows remove() and set(); null values are allowed. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4compiler.sim | |
|---|---|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| ErrorAPI
Immutable; this represents an API usage error. |
|
| ErrorType
Immutable; this represents a type error that should be reported to the user. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4compiler.translator | |
|---|---|
| A4Reporter
This class receives diagnostic, progress, and warning messages from Alloy4. |
|
| ConstList
Immutable; implements a list based on equals(); null values are allowed. |
|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| ErrorAPI
Immutable; this represents an API usage error. |
|
| Pair
Immutable; stores a pair of object references; Pair.equals() compares by calling equals() on both components. |
|
| Pos
Immutable; stores the filename and line/column position. |
|
| SafeList
This list allows add() but disallows remove() and set(); null values are allowed. |
|
| XMLNode
Immutable; this class represents an XML element node. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4graph | |
|---|---|
| OurPDFWriter
Graphical convenience methods for producing PDF files. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4viz | |
|---|---|
| Computer
This defines a compute() method that takes an Object input and produces a String output. |
|
| ConstList
Immutable; implements a list based on equals(); null values are allowed. |
|
| ConstSet
Immutable; implements a set based on hashCode() and equals(); null value is allowed. |
|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| ErrorFatal
Immutable; this represents a fatal error. |
|
| OurTree
Graphical tree. |
|
| Runner
This class converts a Runnable into an AbstractAction, WindowListener, CaretListener, and MenuListener also. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by edu.mit.csail.sdg.alloy4whole | |
|---|---|
| Err
Immutable; this is the abstract parent class of the various possible errors. |
|
| Listener
This defines an interface for receiving events. |
|
| Listener.Event
This defines the list of possible events. |
|
| Classes in edu.mit.csail.sdg.alloy4 used by java_cup.runtime | |
|---|---|
| Pos
Immutable; stores the filename and line/column position. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||