Uses of Class
edu.mit.csail.sdg.alloy4.JoinableList

Packages that use JoinableList

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.

Uses of JoinableList in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return JoinableList

JoinableList<E>	JoinableList.make(E newItem) Returns a list that represents the result of appending newItem onto this list; if newItem==null we return this list as-is.
JoinableList<E>	JoinableList.make(JoinableList<E> that) Returns a list that represents the concatenation of this list and that list.

Methods in edu.mit.csail.sdg.alloy4 with parameters of type JoinableList

JoinableList<E>

JoinableList.make(JoinableList<E> that) Returns a list that represents the concatenation of this list and that list.

Uses of JoinableList in edu.mit.csail.sdg.alloy4compiler.ast

Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as JoinableList

JoinableList<Err>

Expr.errors The list of errors on this node; nonempty iff this.type==EMPTY