JmlSimpleExprClause

constructor()(source)

constructor(range: TokenRange, kind: JavaToken, heaps: NodeList<SimpleName>, expression: Expression)(source)

constructor(range: TokenRange, kind: JavaToken, expr: Expression)(source)

constructor(range: TokenRange, kind: JavaToken, name: SimpleName, expr: Expression)(source)

constructor(tokenRange: TokenRange)(source)

constructor(tokenRange: TokenRange, kind: JmlClauseKind, name: SimpleName, heaps: NodeList<SimpleName>, expression: Expression)(source)

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