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

JmlClassAccessibleDeclaration

constructor()(source)

constructor(jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, variable: Expression, expressions: NodeList<Expression>, measuredBy: Expression)(source)

constructor(tokenRange: TokenRange, jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, variable: Expression, expressions: NodeList<Expression>, measuredBy: Expression)(source)

constructor(tokenRange: TokenRange)(source)

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