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 _

J

jarPrefix() - Static method in class edu.mit.csail.sdg.alloy4.Util

This returns the constant prefix to denote whether Util.readAll() should read from a JAR or read from the file system.

java_cup.runtime - package java_cup.runtime

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

Returns the expression (this.x)

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

Returns a new type { A.B | exists A in this, exists B in that, where A.arity+B.arity>2 }

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

Return the relational join of this tuple and that tuple; throws an exception if the join point doesn't match or if both sides are unary.

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

Return the relational join between this and that (throws ErrorType if this.arity==1 and that.arity==1)

JoinableList<E> - Class in edu.mit.csail.sdg.alloy4

Immutable; implements a list where it is combine them; null values are NOT allowed.

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

Construct an empty list.

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

Construct a list containing a single item, or return an empty list if item==null.