org.jmlspecs.jml4.esc.gc.lang.sugared.expr
Class SugaredQuantifier

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.sugared.expr.SugaredQuantifier

public class SugaredQuantifier
extends java.lang.Object

Field Summary

java.lang.String	lexeme
TypeBinding	type

Constructor Summary

SugaredQuantifier(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

SugaredQuantifier

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

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object