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

Package-level declarations

Types

enum ContractType

JmlCallableClause

open class JmlCallableClause : JmlClause

@NullMarked

abstract class JmlClause : Node, Jmlish, NodeWithOptionalSimpleName<JmlClause>

enum JmlClauseKind : JmlKeyword

JmlConditionalClause

open class JmlConditionalClause : JmlClause, NodeWithExpression<JmlConditionalClause> , NodeWithCondition<JmlConditionalClause>

open class JmlContract : Node, Jmlish, NodeWithModifiers<JmlContract> , NodeWithJmlTags<JmlContract> , NodeWithAccessModifiers<JmlContract>

JmlForallClause

open class JmlForallClause : JmlClause

JmlInfFlowClause

@NullMarked

open class JmlInfFlowClause : JmlClause

JmlLabledClause

open class JmlLabledClause : JmlClause, NodeWithExpression<JmlLabledClause>

JmlMethodSignature

open class JmlMethodSignature : Node

JmlMultiExprClause

open class JmlMultiExprClause : JmlClause

open class JmlOldClause : JmlClause

JmlSignalsClause

open class JmlSignalsClause : JmlClause

JmlSignalsOnlyClause

open class JmlSignalsOnlyClause : JmlClause

JmlSimpleExprClause

open class JmlSimpleExprClause : JmlClause

LoopContractable

interface LoopContractable