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

Package-level declarations

Types

JmlClassAccessibleDeclaration

open class JmlClassAccessibleDeclaration : JmlClassLevelDeclaration<JmlClassAccessibleDeclaration> , NodeWithModifiers<JmlClassAccessibleDeclaration> , NodeWithAccessModifiers<JmlClassAccessibleDeclaration>

JmlClassExprDeclaration

open class JmlClassExprDeclaration : JmlClassLevelDeclaration<JmlClassExprDeclaration> , NodeWithModifiers<JmlClassExprDeclaration> , NodeWithAccessModifiers<JmlClassExprDeclaration>

JmlClassLevelDeclaration

abstract class JmlClassLevelDeclaration<T : BodyDeclaration<out Any>?> : BodyDeclaration<T> , Jmlish, NodeWithJmlTags<T>

JmlFieldDeclaration

open class JmlFieldDeclaration : JmlClassLevelDeclaration<JmlFieldDeclaration>

JmlMethodDeclaration

open class JmlMethodDeclaration : JmlClassLevelDeclaration<JmlMethodDeclaration>

JmlRepresentsDeclaration

open class JmlRepresentsDeclaration : JmlClassLevelDeclaration<JmlRepresentsDeclaration> , NodeWithName<JmlRepresentsDeclaration> , NodeWithModifiers<JmlRepresentsDeclaration> , NodeWithAccessModifiers<JmlRepresentsDeclaration>

REPRESENTS ( expr | id ASSIGN expr | id SUCH_THAT expr) (COMMA ( expr | id ASSIGN expr | id SUCH_THAT expr) )* ;