Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.Browsable

Packages that use Browsable

edu.mit.csail.sdg.alloy4compiler.ast	This package contains the definition of AST nodes.
edu.mit.csail.sdg.alloy4compiler.parser	This package contains the compiler

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

Subclasses of Browsable in edu.mit.csail.sdg.alloy4compiler.ast

class	Command Immutable; reresents a "run" or "check" command.
class	Expr Immutable; represents a formula or expression.
class	ExprBad Immutable; represents an illegal node.
class	ExprBadCall Immutable; represents an illegal pred/fun call.
class	ExprBadJoin Immutable; represents an illegal relation join.
class	ExprBinary Immutable; represents an expression of the form (x OP y).
class	ExprCall Immutable; represents a call.
class	ExprChoice Immutable; represents an unresolved node that has several possibilities.
class	ExprConstant Immutable; represents a constant in the AST.
class	ExprCustom Immutable; represents a custom node.
class	ExprHasName Immutable; represents a named entity (such as a Field, or a LET or QUANTIFICATION variable, or a function/predicate parameter).
class	ExprITE Immutable; represents an if-then-else expression.
class	ExprLet Immutable; represents an expression of the form (let a=b | x).
class	ExprList Immutable; represents disjoint[] or pred/totalOrder[] or (...
class	ExprQt Immutable; represents a quantified expression.
class	ExprUnary Immutable; represents a unary expression of the form "(OP subexpression)"
class	ExprVar Immutable; represents a LET or QUANTIFICATION variable in the AST.
class	Func Mutable; represents a predicate or function.
class	Sig Mutable; represents a signature.
static class	Sig.Field Mutable; represents a field.
static class	Sig.PrimSig Mutable; reresents a non-subset signature.
static class	Sig.SubsetSig Mutable; reresents a subset signature.

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return Browsable

static Browsable	Browsable.make(Pos pos, Pos span, java.lang.String html, Browsable subnode) Construct a Browsable node with the given HTML description and the given single subnode.
static Browsable	Browsable.make(Pos pos, Pos span, java.lang.String html, java.util.List<? extends Browsable> subnodes) Construct a Browsable node with the given HTML description and the given 0 or more subnodes.
static Browsable	Browsable.make(java.lang.String html, Browsable subnode) Construct a Browsable node with the given HTML description and the given single subnode.
static Browsable	Browsable.make(java.lang.String html, java.util.List<? extends Browsable> subnodes) Construct a Browsable node with the given HTML description and the given 0 or more subnodes.

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Browsable

java.util.List<? extends Browsable>	Func.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	Sig.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	Sig.Field.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprBadJoin.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprQt.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprUnary.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprVar.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprBadCall.getSubnodes() Returns a list of subnodes for this node.
abstract java.util.List<? extends Browsable>	Browsable.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprConstant.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprLet.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprITE.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprBad.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprBinary.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	Command.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprChoice.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprList.getSubnodes() Returns a list of subnodes for this node.
java.util.List<? extends Browsable>	ExprCall.getSubnodes() Returns a list of subnodes for this node.

Methods in edu.mit.csail.sdg.alloy4compiler.ast with parameters of type Browsable

static Browsable	Browsable.make(Pos pos, Pos span, java.lang.String html, Browsable subnode) Construct a Browsable node with the given HTML description and the given single subnode.
static Browsable	Browsable.make(java.lang.String html, Browsable subnode) Construct a Browsable node with the given HTML description and the given single subnode.

Method parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type Browsable

static Browsable	Browsable.make(Pos pos, Pos span, java.lang.String html, java.util.List<? extends Browsable> subnodes) Construct a Browsable node with the given HTML description and the given 0 or more subnodes.
static Browsable	Browsable.make(java.lang.String html, java.util.List<? extends Browsable> subnodes) Construct a Browsable node with the given HTML description and the given 0 or more subnodes.

Uses of Browsable in edu.mit.csail.sdg.alloy4compiler.parser

Subclasses of Browsable in edu.mit.csail.sdg.alloy4compiler.parser

class

CompModule Mutable; this class represents an Alloy module; equals() uses object identity.

Methods in edu.mit.csail.sdg.alloy4compiler.parser that return types with arguments of type Browsable

java.util.List<? extends Browsable>

CompModule.getSubnodes() Returns a list of subnodes for this node.