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

JmlDocType

constructor(jmlComments: NodeList<JmlDoc>)(source)

constructor(modifiers: NodeList<Modifier>, annotations: NodeList<AnnotationExpr>, name: SimpleName, members: NodeList<BodyDeclaration<out Any>>, jmlComments: NodeList<JmlDoc>)(source)

constructor(tokenRange: TokenRange, jmlComments: NodeList<JmlDoc>)(source)

constructor(tokenRange: TokenRange, modifiers: NodeList<Modifier>, annotations: NodeList<AnnotationExpr>, name: SimpleName, members: NodeList<BodyDeclaration<out Any>>, jmlComments: NodeList<JmlDoc>)(source)

This constructor is used by the parser and is considered private.