JmlRepresentsDeclaration
constructor(jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, name: Name, expr: Expression)(source)
constructor(tokenRange: TokenRange, jmlTags: NodeList<SimpleName>, modifiers: NodeList<Modifier>, name: Name, expr: Expression)(source)
This constructor is used by the parser and is considered private.