Uses of Class
org.jmlspecs.jml4.ast.JmlQuantifier

Packages that use JmlQuantifier

org.jmlspecs.jml4.ast

Uses of JmlQuantifier in org.jmlspecs.jml4.ast

Subclasses of JmlQuantifier in org.jmlspecs.jml4.ast

class	JmlBooleanQuantifier
class	JmlNumericQuantifier

Fields in org.jmlspecs.jml4.ast declared as JmlQuantifier

JmlQuantifier

JmlQuantifiedExpression.quantifier The quantifier, which determines (among other things) the type of the expression.

Methods in org.jmlspecs.jml4.ast that return JmlQuantifier

static JmlQuantifier

JmlQuantifier.fromLexeme(java.lang.String lexeme) Factory method for obtaining quantifiers from quantifier lexemes.