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

JmlDocDeclaration

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

constructor(tokenRange: TokenRange, jmlComments: JavaToken)(source)

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

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