JmlConditionalClause
constructor(name: SimpleName, condition: Expression, kind: JmlClauseKind, expression: Expression)(source)
constructor(tokenRange: TokenRange, name: SimpleName, condition: Expression, kind: JmlClauseKind, expression: Expression)(source)
This constructor is used by the parser and is considered private.