JmlMultiExprClause
constructor(kind: JmlClauseKind, name: SimpleName, heaps: NodeList<SimpleName>, expressions: NodeList<Expression>)(source)
constructor(range: TokenRange, begin: JavaToken, label: SimpleName, heaps: NodeList<SimpleName>, exprs: NodeList<Expression>)(source)
constructor(tokenRange: TokenRange, kind: JmlClauseKind, name: SimpleName, heaps: NodeList<SimpleName>, expressions: NodeList<Expression>)(source)
This constructor is used by the parser and is considered private.