jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.javaparsermodel.contexts.jml

Package-level declarations

Types

JmlContractContext

open class JmlContractContext : AbstractJavaParserContext<JmlContract>

JmlForallClauseContext

open class JmlForallClauseContext : AbstractJavaParserContext<JmlForallClause>

JmlLetExprContext

open class JmlLetExprContext : AbstractJavaParserContext<JmlLetExpr>

JmlQuantifiedExprContext

open class JmlQuantifiedExprContext : AbstractJavaParserContext<JmlQuantifiedExpr>

JmlSignalsClauseContext

open class JmlSignalsClauseContext : AbstractJavaParserContext<JmlSignalsClause>

JmlSimpleExprClauseContext

open class JmlSimpleExprClauseContext : AbstractJavaParserContext<JmlSimpleExprClause>

Context for JmlSimpleExprClause (ensures, requires, etc.) This context delegates symbol resolution to the parent contract context, which handles forall binder variables and old clause declarations.