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

Package-level declarations

Types

JmlBinaryInfixExpr

open class JmlBinaryInfixExpr : JmlExpression

abstract class JmlExpression : Expression, Jmlish

open class JmlLabelExpr : JmlExpression

open class JmlLetExpr : JmlExpression

JmlMultiCompareExpr

open class JmlMultiCompareExpr : JmlExpression

JmlQuantifiedExpr

open class JmlQuantifiedExpr : JmlExpression, NodeWithParameters<JmlQuantifiedExpr>

12.4.24.2 Generalized Quantifiers https://www.cs.ucf.edu/~leavens/JML/jmlrefman/jmlrefman_12.

JmlSetComprehensionExpr

open class JmlSetComprehensionExpr : JmlExpression

[12.5 Set Comprehensions](https://www.cs.ucf.edu/~leavens/JML/jmlrefman/jmlrefman_12.

open class JmlTypeExpr : JmlExpression