JmlClassExprDeclaration
constructor(jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, kind: SimpleName, name: SimpleName, invariant: Expression)(source)
constructor(range: TokenRange, begin: JavaToken, modifiers: NodeList<Modifier>, expr: Expression)(source)
constructor(tokenRange: TokenRange, modifiers: NodeList<Modifier>, kind: SimpleName, invariant: Expression)(source)
constructor(tokenRange: TokenRange, jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, kind: SimpleName, name: SimpleName, invariant: Expression)(source)
This constructor is used by the parser and is considered private.