A B C D E F G H I J K L M N O P R S T U V W X Y Z _

D

debug(String) - Method in class edu.mit.csail.sdg.alloy4.A4Reporter

This method is called at various points to report the current progress; it is intended as a debugging aid for the developers; the messages are generally not useful for end users.

debug_message(String) - Method in class java_cup.runtime.lr_parser

Write a debugging message to System.err for the debugging version of the parser.

debug_parse() - Method in class java_cup.runtime.lr_parser

Perform a parse with debugging output.

debug_reduce(int, int, int) - Method in class java_cup.runtime.lr_parser

Do debug output for a reduce.

debug_shift(Symbol) - Method in class java_cup.runtime.lr_parser

Do debug output for shift.

debug_stack() - Method in class java_cup.runtime.lr_parser

Do debug output for stack state.

debugExtractKInput() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Returns the Kodkod input used to generate this solution; returns "" if unknown.

debugExtractKInstance() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Solution

Returns the Kodkod instance represented by this solution; throws an exception if the problem is not yet solved or if it is unsatisfiable.

debugGetKodkodTupleset() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4TupleSet

Return the underlying Kodkod tupleset.

Decl - Class in edu.mit.csail.sdg.alloy4compiler.ast

Immutable; this declaration binds a list of names to an expression.

Decl(Pos, Pos, Pos, List<? extends ExprHasName>, Expr) - Constructor for class edu.mit.csail.sdg.alloy4compiler.ast.Decl

This constructs a declaration; the list of names must not be empty.

decl - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig

The declaration that quantifies over each atom in this sig.

decl() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

Return the declaration that this field came from.

decls - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

The unmodifiable list of variables.

decls - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Func

The list of parameter declarations; may be an empty list if this predicate/function has no parameters.

DefaultSymbolFactory - Class in java_cup.runtime

Default Implementation for SymbolFactory, creates plain old Symbols

DefaultSymbolFactory() - Constructor for class java_cup.runtime.DefaultSymbolFactory

Deprecated. as of CUP v11a replaced by the new java_cup.runtime.ComplexSymbolFactory

defined - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.Field

True if this is a defined field.

deleteAtom(SimAtom) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimInstance

Delete an atom from all sigs/fields/skolem...

DemoFileSystem - Class in edu.mit.csail.sdg.alloy4whole

This class demonstrates how to access Alloy4 via the API, by modeling a simple file system.

deNOP() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Remove the "NOP" in front of an expression (if any).

deproject(AlloyType) - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Removes type from the list of projected types if it is currently projected.

deprojectAll() - Method in class edu.mit.csail.sdg.alloy4viz.VizState

Removes every entry from the list of projected types.

descendents() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Sig.PrimSig

Returns its subsigs and their subsigs and their subsigs, etc.

desugar() - Method in class edu.mit.csail.sdg.alloy4compiler.ast.ExprQt

This method desugars away the "disjoint" keyword by prefixing the subexpression with the appropriate disjointness guard condition.

difference(SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Return this minus that; (if this tupleset and that tupleset does not have compatible arity, then we return this tupleset as is).

difference(SimTuple) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Return this minus that; (if this tupleset and that tuple does not have compatible arity, then we return this tupleset as is).

DirectedGraph<N> - Class in edu.mit.csail.sdg.alloy4

Mutable; implements a directed graph; null node is allowed.

DirectedGraph() - Constructor for class edu.mit.csail.sdg.alloy4.DirectedGraph

Constructs an empty graph.

DISJ - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

disjoint - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

If nonnull, then each name is disjoint (and this.disjoint is the location of the "disjoint" keyword)

disjoint2 - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

If nonnull, then each atom of this sig has disjoint value for this field (and this.disjoint2 is the location of the "disjoint" keyword)

div(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula "this.div[x]" (the quotient of dividing this by x)

do_action(Object, Listener.Event) - Method in interface edu.mit.csail.sdg.alloy4.Listener

This method is called when the given zero-argument-event occurs.

do_action(Object, Listener.Event, Object) - Method in interface edu.mit.csail.sdg.alloy4.Listener

This method is called when the given single-argument-event occurs.

do_action() - Method in class edu.mit.csail.sdg.alloy4.OurCheckbox

This method is called when the user clicks on the checkbox; subclasses should override this to provide the custom behavior.

do_action(int, lr_parser, Stack, int) - Method in class edu.mit.csail.sdg.alloy4compiler.parser.CompParser

Invoke a user supplied parse action.

do_action(Object, Listener.Event) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

This method is called when the given zero-argument-event occurs.

do_action(Object, Listener.Event, Object) - Method in class edu.mit.csail.sdg.alloy4whole.SimpleGUI

This method is called when the given single-argument-event occurs.

do_action(int, lr_parser, Stack, int) - Method in class java_cup.runtime.lr_parser

Perform a bit of user supplied action code (supplied by generated subclass).

do_ask(Object) - Method in class edu.mit.csail.sdg.alloy4.OurTree

Subclass should implement this method to return the list of children nodes given a particular node.

do_ask(Object) - Method in class edu.mit.csail.sdg.alloy4viz.VizTree

Subclass should implement this method to return the list of children nodes given a particular node.

do_changed(Object) - Method in class edu.mit.csail.sdg.alloy4.OurCombobox

Subclass can override this method to react upon selection change.

do_getIcon(Object) - Method in class edu.mit.csail.sdg.alloy4.OurCombobox

Subclass can override this method to provide the custom icon for any given value (It should return null if no icon is needed)

do_getText(Object) - Method in class edu.mit.csail.sdg.alloy4.OurCombobox

Subclass can override this method to provide the custom text for any given value (It should return "" if no text is needed)

do_isDouble(Object) - Method in class edu.mit.csail.sdg.alloy4.OurTree

Subclass should override this method to return whether a given item should be double-height or not (default = no).

do_root() - Method in class edu.mit.csail.sdg.alloy4.OurTree

Subclass should implement this method to return the root of the tree.

do_root() - Method in class edu.mit.csail.sdg.alloy4viz.VizTree

Subclass should implement this method to return the root of the tree.

do_start() - Method in class edu.mit.csail.sdg.alloy4.OurTree

Subclass should call this when all fields are initialized; we won't call do_root() and do_ask() until subclass calls this.

domain(Expr) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the expression (this <: x)

DOMAIN - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

domain(SimTupleset) - Method in class edu.mit.csail.sdg.alloy4compiler.sim.SimTupleset

Returns this<:that (NOTE: if this.arity!=1, then we return the empty set)

domainRestrict(Type) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Returns a new type { R[0]->..->R[n-1] | exists n-ary A in this, exists unary B in that, such that R[i]==A[i] except R[0]==(A[0] & B)

done() - Method in interface edu.mit.csail.sdg.alloy4.WorkerEngine.WorkerCallback

If the task completed successfully, this method will be called.

done_parsing() - Method in class java_cup.runtime.lr_parser

This method is called to indicate that the parser should quit.

doSetFontSize(int) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

This method changes the font size for everything (except the graph)

doShowTree() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

This method changes the display mode to show the instance as a tree (the return value is always null).

doShowTxt() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

This method changes the display mode to show the equivalent dot text (the return value is always null).

doShowViz() - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

This method changes the display mode to show the instance as a graph (the return value is always null).

DOT - Static variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompSym

DotColor - Enum in edu.mit.csail.sdg.alloy4graph

Immutable; this defines the set of possible colors.

DotDirection - Enum in edu.mit.csail.sdg.alloy4graph

Immutable; this defines the set of possible edge directions.

DotPalette - Enum in edu.mit.csail.sdg.alloy4graph

Immutable; this defines the set of possible color palettes.

DotShape - Enum in edu.mit.csail.sdg.alloy4graph

Immutable; this defines the set of possible node shapes (BOX, CIRCLE, ELLIPSE...)

DotStyle - Enum in edu.mit.csail.sdg.alloy4graph

Immutable; this defines the set of possible line styles (SOLID, DASHED, DOTTED...)

draw(Curve) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws the given curve.

draw(Shape, boolean) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws the outline of the given shape.

drawCircle(int, boolean) - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Draws a circle of the given radius, centered at (0, 0).

drawCircle(int) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws a circle of the given radius, centered at (0,0)

drawLine(int, int, int, int) - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Draws a line from (x1, y1) to (x2, y2).

drawLine(int, int, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws a line from (x1,y1) to (x2,y2)

drawShape(Shape, boolean) - Method in class edu.mit.csail.sdg.alloy4.OurPDFWriter

Draws a shape.

drawSmoothly(Curve) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws the given curve smoothly (assuming the curve is monotonic vertically)

drawString(String, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.Artist

Draws the given string at (x,y)

dump(RandomAccessFile) - Method in class edu.mit.csail.sdg.alloy4.ByteBuffer

Write the entire content into the given file as-is, then return the number of bytes written.

dump() - Method in exception edu.mit.csail.sdg.alloy4.Err

Returns this exception type, its error message, and its complete stack trace as a String.

dump(Throwable) - Static method in class edu.mit.csail.sdg.alloy4.MailBug

This method concatenates a Throwable's message and stack trace and all its causes into a single String.

dump_stack() - Method in class java_cup.runtime.lr_parser

Dump the parse stack for debugging purposes.

dumpFlate(RandomAccessFile) - Method in class edu.mit.csail.sdg.alloy4.ByteBuffer

Write the entire content into the given file using Flate compression (see RFC1951) then return the number of bytes written.

dup() - Method in class edu.mit.csail.sdg.alloy4.Env

Make a shallow copy of this environment.

dup() - Method in class edu.mit.csail.sdg.alloy4.SafeList

Constructs an unmodifiable copy of an existing SafeList.

dup() - Method in class edu.mit.csail.sdg.alloy4compiler.translator.A4Options

This method makes a copy of this Options object.