JmlLabelExpr

constructor(kind: JmlLabelExpr.Kind, label: SimpleName, expression: Expression)(source)

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

constructor(tokenRange: TokenRange)(source)

constructor(tokenRange: TokenRange, kind: JmlLabelExpr.Kind, expression: Expression)(source)

constructor(tokenRange: TokenRange, kind: JmlLabelExpr.Kind, label: SimpleName, expression: Expression)(source)

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