jmlparser-core/com.github.javaparser.jml.impl/JmlAnnotationConfiguration

JmlAnnotationConfiguration

open class JmlAnnotationConfiguration(source)

Constructors

JmlAnnotationConfiguration

constructor()

Properties

annotationToModifier

val annotationToModifier: Map<String, Modifier.DefaultKeyword>

val CONTRACT: String = "org.jetbrains.annotations.Contract"

val NOT_NULL: String = "org.jetbrains.annotations.NotNull"

val NULLABLE: String = "org.jetbrains.annotations.Nullable"

Functions

open fun createDefault(): JmlAnnotationConfiguration