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

Packages that use ExprHasName

edu.mit.csail.sdg.alloy4compiler.ast

This package contains the definition of AST nodes.

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

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

class	ExprVar Immutable; represents a LET or QUANTIFICATION variable in the AST.
static class	Sig.Field Mutable; represents a field.

Fields in edu.mit.csail.sdg.alloy4compiler.ast with type parameters of type ExprHasName

ConstList<? extends ExprHasName>

Decl.names The list of names.

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

static ExprHasName	Decl.findDuplicateName(java.util.List<Decl> list) If the list of declaration contains a duplicate name, return one such duplicate name, else return null.
ExprHasName	Decl.get() Return the first variable in this declaration.

Constructor parameters in edu.mit.csail.sdg.alloy4compiler.ast with type arguments of type ExprHasName

Decl(Pos isPrivate, Pos disjoint, Pos disjoint2, java.util.List<? extends ExprHasName> names, Expr expr)
This constructs a declaration; the list of names must not be empty.