jmlparser-core/com.github.javaparser.ast.jml.expr/JmlQuantifiedExpr/JmlQuantifiedExpr

JmlQuantifiedExpr

constructor()(source)

constructor(variables: NodeList<Parameter>, expressions: Expression)(source)

constructor(binder: JmlQuantifiedExpr.JmlBinder, variables: NodeList<Parameter>, expressions: Expression)(source)

constructor(tokenRange: TokenRange, binder: JavaToken, variables: NodeList<Parameter>, expressions: NodeList<Expression>)(source)

constructor(tokenRange: TokenRange, binder: JmlQuantifiedExpr.JmlBinder, variables: NodeList<Parameter>, expressions: NodeList<Expression>)(source)

This constructor is used by the parser and is considered private.