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

Package-level declarations

Types

open class JmlBeginStmt : JmlStatement, NodeWithJmlTags<JmlBeginStmt>

open class JmlEndStmt : JmlStatement, NodeWithJmlTags<JmlEndStmt>

JmlExpressionStmt

open class JmlExpressionStmt : JmlStatement, NodeWithJmlTags<JmlExpressionStmt>

open class JmlGhostStmt : JmlStatement, NodeWithJmlTags<JmlGhostStmt>

open class JmlLabelStmt : JmlStatement, NodeWithJmlTags<JmlLabelStmt>

JmlRefiningStmt

open class JmlRefiningStmt : JmlStatement, NodeWithJmlTags<JmlRefiningStmt>

abstract class JmlStatement : Statement, Jmlish

JmlUnreachableStmt

open class JmlUnreachableStmt : JmlStatement, NodeWithJmlTags<JmlUnreachableStmt>