Class Sign
Class representing expression signs (+, -, 0).
Import path
import semmle.code.java.dataflow.internal.rangeanalysis.Sign
Direct supertypes
Predicates
add | Gets a possible sign after adding an expression with sign |
applyBinaryOp | Perform |
applyUnaryOp | Perform |
bitand | Gets a possible sign after bitwise |
bitnot | Gets a possible sign after bitwise complementing an expression that has this sign. |
bitor | Gets a possible sign after bitwise |
bitxor | Gets a possible sign after bitwise |
dec | Gets a possible sign after decrementing an expression that has this sign. |
div | Gets a possible sign after integer dividing an expression that has this sign by an expression with sign |
inc | Gets a possible sign after incrementing an expression that has this sign. |
lshift | Gets a possible sign after left shift of an expression that has this sign by an expression with sign |
mul | Gets a possible sign after multiplying an expression with sign |
neg | Gets a possible sign after negating an expression that has this sign. |
rem | Gets a possible sign after modulo dividing an expression that has this sign by an expression with sign |
rshift | Gets a possible sign after right shift of an expression that has this sign by an expression with sign |
sub | Gets a possible sign after subtracting an expression with sign |
toString | Gets the string representation of this sign. |
urshift | Gets a possible sign after unsigned right shift of an expression that has this sign by an expression with sign |