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 _

F

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

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

If the task terminated with an error, this method will be called.

FALSE - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprConstant

The "FALSE" boolean value.

fastJoin(Iterable<E>, Iterable<E>) - Static method in class edu.mit.csail.sdg.alloy4.Util

Return an iterable whose iterator is a read-only iterator that first iterate over Collection1, and then Collection2.

fatal(Object) - Static method in class edu.mit.csail.sdg.alloy4.OurDialog

Popup the given error message, then terminate the program.

filename - Variable in class edu.mit.csail.sdg.alloy4.Pos

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

filename - Variable in class edu.mit.csail.sdg.alloy4compiler.parser.CompModule.Open

The relative filename for the file being imported, without the final ".als" part; always a nonempty string.

filename - Variable in class edu.mit.csail.sdg.alloy4viz.AlloyInstance

The original filename of the model that generated this instance; can be "" if unknown.

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

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

find(Attr...) - Method in enum edu.mit.csail.sdg.alloy4compiler.ast.Attr.AttrType

Returns the combined position for all Attribute of this type in the given array; null entries in the collection are ignored; if none are found we return null.

find(double, int, int) - Method in class edu.mit.csail.sdg.alloy4graph.Graph

Locates the node or edge at the given (X,Y) location.

find_recovery_config(boolean) - Method in class java_cup.runtime.lr_parser

Put the (real) parse stack into error recovery configuration by popping the stack down to a state that can shift on the special error Symbol, then doing the shift.

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

Transitively returns a set that contains all predicates/functions that this expression calls directly or indirectly.

findDuplicateName(List<Decl>) - Static method in class edu.mit.csail.sdg.alloy4compiler.ast.Decl

If the list of declaration contains a duplicate name, return one such duplicate name, else return null.

fire(Object, Listener.Event) - Method in class edu.mit.csail.sdg.alloy4.Listeners

Send the following zero-argument event to every listener.

fire(Object, Listener.Event, Object) - Method in class edu.mit.csail.sdg.alloy4.Listeners

Send the following one-argument event to every listener.

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

Returns true if exists some A in this, some B in that, where (A[0]&B[0]!=empty)

focusGained(FocusEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.FocusListener; (this implementation calls this.run())

focusLost(FocusEvent) - Method in class edu.mit.csail.sdg.alloy4.Runner

This method is defined in java.awt.event.FocusListener; (this implementation does nothing)

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

Return the result of folding this Type (that is, whenever a subset of relations are identical except for 1 position, where together they comprise of all direct subsigs of an abstract sig, then we merge them)

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

forAll(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (all...| this)

forLone(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (lone...| this)

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

The formula associated with this command.

FORMULA - Static variable in class edu.mit.csail.sdg.alloy4compiler.ast.Type

Constant value with is_int==false, is_bool==true, and entries.size()==0.

forNo(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (no...| this)

forOne(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (one ...| this)

forSome(Decl, Decl...) - Method in class edu.mit.csail.sdg.alloy4compiler.ast.Expr

Returns the formula (some...| this)

fun - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprBadCall

The function.

fun - Variable in class edu.mit.csail.sdg.alloy4compiler.ast.ExprCall

The actual function being called; never null.

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

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

Mutable; represents a predicate or function.

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

Constructs a new predicate/function.

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

Constructs a new predicate/function.