JmlMultiCompareExpr

constructor(range: TokenRange, expressions: NodeList<Expression>, ops: List<BinaryExpr.Operator>)(source)
constructor(expressions: NodeList<Expression>, operators: JmlMultiCompareExpr.Operators)(source)


constructor(tokenRange: TokenRange, expressions: NodeList<Expression>, operators: JmlMultiCompareExpr.Operators)(source)
constructor(tokenRange: TokenRange)(source)

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