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 _

L

label(String, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurAntiAlias

Constructs an antialias-capable JLabel.

label(String, Object...) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Make a JLabel, then call Util.make() to apply a set of attributes to it.

label - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.Command

The label for the command; it is just for pretty-printing and does not have to be unique.

label - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprHasName

The label associated with this object; it's used for pretty-printing and does not have to be unique.

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

The label of this predicate/function; it does not need to be unique.

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

The label for this sig; this name does not need to be unique.

label() - Method in class edu.mit.csail.sdg.alloy4graph.GraphEdge

Returns the label on this edge.

label - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

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

If alloy.mit.edu has replied, then return the latest Alloy build name, else return "unknown"

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

If alloy.mit.edu has replied, then return the latest Alloy build number, else return -1.

layout() - Method in class edu.mit.csail.sdg.alloy4graph.Graph

(Re-)perform the layout.

layoutBack - Variable in class edu.mit.csail.sdg.alloy4viz.VizState

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

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

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

Returns the most-specific-sig that contains this and that.

left - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadJoin

The left-hand-side expression.

left - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary

The left-hand-side expression.

left - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprITE

The then-clause.

left - Variable in class java_cup.runtime.Symbol

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

Listener - Interface in edu.mit.csail.sdg.alloy4

This defines an interface for receiving events.

Listener.Event - Enum in edu.mit.csail.sdg.alloy4

This defines the list of possible events.

Listeners - Class in edu.mit.csail.sdg.alloy4

This stores a list of listeners.

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

Construct a empty list of listeners.

listeners - Variable in class edu.mit.csail.sdg.alloy4.OurSyntaxWidget

The current list of listeners; possible events are { STATUS_CHANGE, FOCUSED, CTRL_PAGE_UP, CTRL_PAGE_DOWN, CARET_MOVED }.

listeners - Variable in class edu.mit.csail.sdg.alloy4.OurTabbedSyntaxWidget

The current list of listeners; possible events are { STATUS_CHANGE, FOCUSED, CARET_MOVED }.

listeners - Variable in class edu.mit.csail.sdg.alloy4.OurTree

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

loadIcon(String) - Static method in class edu.mit.csail.sdg.alloy4.OurUtil

Load the given image file from an accompanying JAR file, and return it as an Icon object.

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

Load a new instance into this VizState object (the input argument is treated as a new unprojected instance); if world!=null, it is the root of the AST

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

Erase the current theme customizations and then load it from a file.

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

This method loads a specific theme file.

loadXML(String, boolean) - Method in class edu.mit.csail.sdg.alloy4viz.VizGUI

Load the XML instance.

LONE - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Attr

LONE; if a Sig is lone, it has at most one atom.

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

Returns the formula (lone this)

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

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

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

Returns the multiplicity constraint (this lone->set x)

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

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

Returns the multiplicity constraint (this lone->lone x)

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

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

Returns the multiplicity constraint (this lone->one x)

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

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

Returns the multiplicity constraint (this lone->some x)

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

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

Return the multiplicity expression "lone this"

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

Return a new declaration "v: lone this"

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

Return an iterator over all subset x of this where x.size<=1

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

Returns the number of tuples in this tupleset (this answer will never overflow)

lookahead - Variable in class java_cup.runtime.lr_parser

Lookahead Symbols used for attempting error recovery "parse aheads".

lookahead_pos - Variable in class java_cup.runtime.lr_parser

Position in lookahead input buffer used for "parse ahead".

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

If this solution is unsatisfiable and its unsat core is available, then return the core; else return an empty set.

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

lr_parser - Class in java_cup.runtime

This class implements a skeleton table driven LR parser.

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

Simple constructor.

lr_parser(Scanner) - Constructor for class java_cup.runtime.lr_parser

Constructor that sets the default scanner.

lr_parser(Scanner, SymbolFactory) - Constructor for class java_cup.runtime.lr_parser

Constructor that sets the default scanner and a SymbolFactory

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

Returns the formula (this < x)

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

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

Returns the formula (this <= x)

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