Uses of Class
edu.mit.csail.sdg.alloy4compiler.ast.ExprList.Op

Packages that use ExprList.Op

edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

Uses of ExprList.Op in edu.mit.csail.sdg.alloy4compiler.ast

Fields in edu.mit.csail.sdg.alloy4compiler.ast declared as ExprList.Op

ExprList.Op

ExprList.op The builtin operator.

Methods in edu.mit.csail.sdg.alloy4compiler.ast that return ExprList.Op

static ExprList.Op	ExprList.Op.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ExprList.Op[]	ExprList.Op.values() Returns an array containing the constants of this enum type, in the order they are declared.

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

static ExprList

ExprList.make(Pos pos, Pos closingBracket, ExprList.Op op, java.util.List<? extends Expr> args) Generates a call to a builtin predicate