org.jmlspecs.jml4.esc.gc.lang.simple.expr
Class SimpleQuantifier

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.simple.expr.SimpleQuantifier

public class SimpleQuantifier
extends java.lang.Object

Field Summary

java.lang.String	lexeme
TypeBinding	type

Constructor Summary

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

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

type

public final TypeBinding type

lexeme

public final java.lang.String lexeme

Constructor Detail

SimpleQuantifier

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object