edu.mit.csail.sdg.alloy4compiler.ast
Enum ExprQt.Op

java.lang.Object
  java.lang.Enum<ExprQt.Op>
      edu.mit.csail.sdg.alloy4compiler.ast.ExprQt.Op

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<ExprQt.Op>

Enclosing class:

ExprQt

public static enum ExprQt.Op
extends java.lang.Enum<ExprQt.Op>

This class contains all possible quantification operators.

Enum Constant Summary

ALL
all a,b:x | formula

COMPREHENSION
{ a,b:x | formula }

LONE
lone a,b:x | formula

NO
no a,b:x | formula

ONE
one a,b:x | formula

SOME
some a,b:x | formula

SUM
sum a,b:x | intExpression

Method Summary

Expr	make(Pos pos, Pos closingBracket, java.util.List<Decl> decls, Expr sub) Constructs a quantification expression with "this" as the operator.
java.lang.String	toString() Returns the human readable label for this operator
static ExprQt.Op	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static ExprQt.Op[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ALL

public static final ExprQt.Op ALL

all a,b:x | formula

NO

public static final ExprQt.Op NO

no a,b:x | formula

LONE

public static final ExprQt.Op LONE

lone a,b:x | formula

ONE

public static final ExprQt.Op ONE

one a,b:x | formula

SOME

public static final ExprQt.Op SOME

some a,b:x | formula

SUM

public static final ExprQt.Op SUM

sum a,b:x | intExpression

COMPREHENSION

public static final ExprQt.Op COMPREHENSION

{ a,b:x | formula }

Method Detail

values

public static ExprQt.Op[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (ExprQt.Op c : ExprQt.Op.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static ExprQt.Op valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null

make

public final Expr make(Pos pos,
                       Pos closingBracket,
                       java.util.List<Decl> decls,
                       Expr sub)

Constructs a quantification expression with "this" as the operator.

Parameters:

pos - - the position of the "quantifier" in the source file (or null if unknown)

closingBracket - - the position of the "closing bracket" in the source file (or null if unknown)

decls - - the list of variable declarations (each variable must be over a set or relation)

sub - - the body of the expression

toString

public final java.lang.String toString()

Returns the human readable label for this operator

Overrides:

toString in class java.lang.Enum<ExprQt.Op>