org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgQuantifier

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgQuantifier

public class CfgQuantifier
extends java.lang.Object

Field Summary

static CfgQuantifier	FORALL
java.lang.String	lexeme
TypeBinding	type

Constructor Summary

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

Method Summary

boolean	equals(java.lang.Object obj)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

FORALL

public static final CfgQuantifier FORALL

type

public final TypeBinding type

lexeme

public final java.lang.String lexeme

Constructor Detail

CfgQuantifier

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object