JmlBinaryInfixExpr

constructor(left: Expression, right: Expression, operator: JavaToken)(source)
constructor(left: Expression, right: Expression, operator: SimpleName)(source)
constructor(range: TokenRange, left: Expression, right: Expression, op: JavaToken)(source)


constructor(tokenRange: TokenRange, left: Expression, right: Expression, operator: SimpleName)(source)

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