org.jmlspecs.jml4.esc.vc.lang
Class VcQuantifier

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VcQuantifier

public class VcQuantifier
extends java.lang.Object

Field Summary

static VcQuantifier	FORALL
java.lang.String	lexeme
TypeBinding	type

Constructor Summary

VcQuantifier(java.lang.String lexeme, TypeBinding type)

Method Summary

boolean	isExists()
boolean	isForall()
boolean	isLogical()
boolean	isMax()
boolean	isMin()
boolean	isNumeric()
boolean	isNumOf()
boolean	isProduct()
boolean	isSum()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

FORALL

public static final VcQuantifier FORALL

type

public final TypeBinding type

lexeme

public final java.lang.String lexeme

Constructor Detail

VcQuantifier

public VcQuantifier(java.lang.String lexeme,
                    TypeBinding type)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isForall

public boolean isForall()

isExists

public boolean isExists()

isSum

public boolean isSum()

isProduct

public boolean isProduct()

isMin

public boolean isMin()

isMax

public boolean isMax()

isNumOf

public boolean isNumOf()

isLogical

public boolean isLogical()

isNumeric

public boolean isNumeric()