Serialized Form

Package edu.mit.csail.sdg.alloy4

Class edu.mit.csail.sdg.alloy4.ConstList extends java.util.AbstractList<T> implements Serializable

serialVersionUID: 0L

Serialized Fields

list

java.util.List<E> list

The underlying unmodifiable list.

Class edu.mit.csail.sdg.alloy4.ConstMap extends java.util.AbstractMap<K,V> implements Serializable

serialVersionUID: 0L

Serialized Fields

map

java.util.Map<K,V> map

The underlying Collections.unmodifiableMap map.

Class edu.mit.csail.sdg.alloy4.ConstSet extends java.util.AbstractSet<K> implements Serializable

serialVersionUID: 0L

Serialized Fields

set

java.util.Set<E> set

The underlying Collections.unmodifiableSet set.

Class edu.mit.csail.sdg.alloy4.Err extends java.lang.Exception implements Serializable

serialVersionUID: 0L

Serialized Fields

pos

Pos pos

This stores the filename/line/column information (Pos.UNKNOWN if unknown) (never null)

msg

java.lang.String msg

The actual error message (never null)

Class edu.mit.csail.sdg.alloy4.ErrorAPI extends Err implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.ErrorFatal extends Err implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.ErrorSyntax extends Err implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.ErrorType extends Err implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.ErrorWarning extends Err implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.JoinableList extends java.util.AbstractList<E> implements Serializable

serialVersionUID: 0L

Serialized Fields

count

int count

The number of items stored in this list.

Invariant: count == (pre!=null ? pre.count : 0) + (item!=null ? 1 : 0) + (post!=null ? post.count : 0)

pre

JoinableList<E> pre

The list of items before "this.item"; may be null.

post

JoinableList<E> post

The list of items after "this.item"; may be null.

item

java.lang.Object item

If nonnull, it stores an item.

Class edu.mit.csail.sdg.alloy4.OurCheckbox extends javax.swing.JPanel implements Serializable

serialVersionUID: 0L

Serialized Fields

jbox

javax.swing.JCheckBox jbox

The underlying JCheckBox object.

jlabel

javax.swing.JLabel jlabel

The JLabel object for displaying a label next to the checkbox.

Class edu.mit.csail.sdg.alloy4.OurCombobox extends javax.swing.JComboBox implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.OurConsole extends javax.swing.JScrollPane implements Serializable

serialVersionUID: 0L

Serialized Fields

plain

javax.swing.text.AttributeSet plain

The style for default text.

bold

javax.swing.text.AttributeSet bold

The style for bold text.

good

javax.swing.text.AttributeSet good

The style for successful result.

bad

javax.swing.text.AttributeSet bad

The style for failed result.

len

int len

The number of characters that currently exist above the horizontal divider bar. (The interactive console is composed of a JTextPane which contains 0 or more input/output pairs, followed by a horizontal divider bar, followed by an embedded sub-JTextPane (where the user can type in the next input))

main

javax.swing.JTextPane main

The main JTextPane containing 0 or more input/output pairs, followed by a horizontal bar, followed by this.sub

sub

javax.swing.JTextPane sub

The sub JTextPane where the user can type in the next command.

history

java.util.List<E> history

The history of all commands entered so far, plus an extra String representing the user's next command.

browse

int browse

The position in this.history that is currently showing.

Class edu.mit.csail.sdg.alloy4.OurTree extends javax.swing.JTree implements Serializable

serialVersionUID: 0L

Serialized Fields

listeners

Listeners listeners

The current list of listeners; whenever a node X is selected we'll send (Event.CLICK, X) to each listener.

Class edu.mit.csail.sdg.alloy4.Pair extends java.lang.Object implements Serializable

serialVersionUID: 0L

Serialized Fields

a

java.lang.Object a

The first half of the pair.

b

java.lang.Object b

The second half of the pair.

Class edu.mit.csail.sdg.alloy4.Pos extends java.lang.Object implements Serializable

serialVersionUID: 0L

Serialized Fields

filename

java.lang.String filename

The filename (it can be an empty string if unknown)

x

int x

The starting column position (from 1..)

y

int y

The starting row position (from 1..)

x2

int x2

The ending column position (from 1..)

y2

int y2

The ending row position (from 1..)

Class edu.mit.csail.sdg.alloy4.Runner extends javax.swing.AbstractAction implements Serializable

serialVersionUID: 0L

Class edu.mit.csail.sdg.alloy4.SafeList extends java.lang.Object implements Serializable

serialVersionUID: 0L

Serialized Fields

list

java.util.List<E> list

The actual list of elements; it will be shared by an original SafeList and all its unmodifiable copies.

max

int max

If negative, that means this instance is mutable; otherwise, it is the list size at the time of the copy.

Package edu.mit.csail.sdg.alloy4compiler.translator

Class edu.mit.csail.sdg.alloy4compiler.translator.A4Options extends java.lang.Object implements Serializable

serialVersionUID: 0L

Serialized Fields

symmetry

int symmetry

This option specifies the amount of symmetry breaking to do (when symmetry breaking isn't explicitly disabled).

If a formula is unsatisfiable, then in general, the higher this value, the faster you finish the solving. But if this value is too high, it will instead slow down the solving.

If a formula is satisfiable, then in general, the lower this value, the faster you finish the solving. Setting this value to 0 usually gives the fastest solve.

Default value is 20.

skolemDepth

int skolemDepth

This option specifies the maximum skolem-function depth.

Default value is 0, which means it will only generate skolem constants, and will not generate skolem functions.

coreMinimization

int coreMinimization

This option specifies the unsat core minimization strategy (0=GuaranteedLocalMinimum 1=FasterButLessAccurate 2=EvenFaster...)

Default value is set to the fastest current strategy.

coreGranularity

int coreGranularity

Unsat core granularity, default is 0 (only top-level conjuncts are considered), 3 expands all quantifiers

solver

A4Options.SatSolver solver

This option specifies the SAT solver to use (SAT4J, MiniSatJNI, MiniSatProverJNI, ZChaffJNI...)

Default value is SAT4J.

solverDirectory

java.lang.String solverDirectory

When this.solver is external, and the solver filename is a relative filename, then this option specifies the directory that the solver filename is relative to.

tempDirectory

java.lang.String tempDirectory

This specifies the directory where we may write temporary files to.

originalFilename

java.lang.String originalFilename

This option tells the compiler the "original filename" that these AST nodes came from; it is only used for generating comments and other diagnostic messages.

Default value is "".

recordKodkod

boolean recordKodkod

This option specifies whether the compiler should record the original Kodkod formula being generated and the resulting Kodkod instances.

Default value is false.

noOverflow

boolean noOverflow

This option specifies whether the solver should report only solutions that don't cause any overflows.

unrolls

int unrolls

This option constrols how deep we unroll loops and unroll recursive predicate/function/macros (negative means it's disallowed)

Class edu.mit.csail.sdg.alloy4compiler.translator.A4Options.SatSolver extends java.lang.Object implements Serializable

serialVersionUID: 0L

Serialization Methods

readResolve

private java.lang.Object readResolve()

Ensures we can use == to do comparison.

Serialized Fields

id

java.lang.String id

This is a unique String for this value; it should be kept consistent in future versions.

toString

java.lang.String toString

This is the label that the toString() method will return.

external

java.lang.String external

If not null, this is the external command-line solver to use.

options

java.lang.String[] options

If not null, this is the set of options to use with the command-line solver.

Class edu.mit.csail.sdg.alloy4compiler.translator.WriteCNF.WriteCNFCompleted extends java.lang.RuntimeException implements Serializable

serialVersionUID: 0L

Package edu.mit.csail.sdg.alloy4graph

Class edu.mit.csail.sdg.alloy4graph.GraphViewer extends javax.swing.JPanel implements Serializable

serialVersionUID: 0L

Serialized Fields

graph

Graph graph

The graph that we are displaying.

scale

double scale

The current amount of zoom.

highlight

java.lang.Object highlight

The currently hovered GraphNode or GraphEdge or group, or null if there is none.

selected

java.lang.Object selected

The currently selected GraphNode or GraphEdge or group, or null if there is none.

dragButton

int dragButton

The button that initialized the drag-and-drop; this value is undefined when we're not currently doing drag-and-drop.

pop

javax.swing.JPopupMenu pop

The right-click context menu associated with this JPanel.

oldMouseX

int oldMouseX

Stores the mouse positions needed to calculate drag-and-drop.

oldMouseY

int oldMouseY

Stores the mouse positions needed to calculate drag-and-drop.

oldX

int oldX

Stores the mouse positions needed to calculate drag-and-drop.

oldY

int oldY

Stores the mouse positions needed to calculate drag-and-drop.

badColor

java.awt.Color badColor

This color is used as the background for a JTextField that contains bad data.

Note: we intentionally choose to make it an instance field rather than a static field, since we want to make sure we only instantiate it from the AWT Event Dispatching thread.

recursive

boolean recursive

True if we are currently in the middle of a DocumentListener already.

Package edu.mit.csail.sdg.alloy4viz

Class edu.mit.csail.sdg.alloy4viz.VizCustomizationPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 0L

Serialized Fields

vizState

VizState vizState

This is the VizState object that this customization panel will customize.

zoomPane

javax.swing.JPanel zoomPane

This is the upper-half of the customization panel.

divider

javax.swing.JSplitPane divider

The JSplitPane separating this customization panel with the main graph panel.

lastElement

java.lang.Object lastElement

If it's an instance of AlloyElement, that means it's the latest selected type/set/relation. If it's GENERAL, NODES, or EDGES, that means the latest selected panel is the General Graph Settings, Default Type+Set, or Default Relation panels respectively. All else, that means the zoom panel is empty.

Class edu.mit.csail.sdg.alloy4viz.VizGraphPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 0L

Serialized Fields

vizState

VizState vizState

This is the current customization settings.

seeDot

boolean seeDot

Whether the user wants to see the DOT source code or not.

viewer

GraphViewer viewer

The current GraphViewer (or null if we are not looking at a GraphViewer)

diagramScrollPanel

javax.swing.JScrollPane diagramScrollPanel

The scrollpane containing the upperhalf of the panel (showing the graph)

graphPanel

javax.swing.JPanel graphPanel

The upperhalf of the panel (showing the graph).

navPanel

javax.swing.JPanel navPanel

The lowerhalf of the panel (showing the comboboxes for choosing the projected atoms).

split

javax.swing.JSplitPane split

The splitpane separating the graphPanel and the navPanel.

currentProjection

AlloyProjection currentProjection

The current projection choice; null if no projection is in effect.

type2panel

java.util.Map<K,V> type2panel

This is the list of TypePanel(s) we've already constructed.

Class edu.mit.csail.sdg.alloy4viz.VizTree extends OurTree implements Serializable

serialVersionUID: 0L

Serialized Fields

onWindows

boolean onWindows

Caches whether we're on Windows or not.

title

java.lang.String title

The title of this tree.

instance

A4Solution instance

The instance being displayed.

toplevel

java.util.List<E> toplevel

The list of toplevel nodes to show.