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

Package-level declarations

Types

ArbitraryNodeContainer

open class ArbitraryNodeContainer : Node

Temporary container for parsing artifacts of different kinds.

DefaultJmlContainer

open class DefaultJmlContainer : JmlContainer

interface HasJmlTags<N : Node?>

interface ~~JmlContainer~~<R : Node?, T : Node?> : Jmlish

interface JmlKeyword : Stringable

JmlModelProgram

open class JmlModelProgram : Node, NodeWithModifiers<JmlModelProgram> , NodeWithAnnotations<JmlModelProgram> , NodeWithContracts<JmlModelProgram>

NodeWithContracts

interface NodeWithContracts<N : Node?>

NodeWithJmlTags

interface NodeWithJmlTags<R : Node?>