CodeQL library for Java/Kotlin

codeql/java-all 7.8.5-dev (changelog, source)

Class Sign

Class representing expression signs (+, -, 0).

Import path

import semmle.code.java.dataflow.internal.rangeanalysis.Sign

Direct supertypes

TSign

Predicates

add	Gets a possible sign after adding an expression with sign `s` to an expression that has this sign.
applyBinaryOp	Perform `op` on this sign and sign `s`.
applyUnaryOp	Perform `op` on this sign.
bitand	Gets a possible sign after bitwise `and` of an expression that has this sign and an expression with sign `s`.
bitnot	Gets a possible sign after bitwise complementing an expression that has this sign.
bitor	Gets a possible sign after bitwise `or` of an expression that has this sign and an expression with sign `s`.
bitxor	Gets a possible sign after bitwise `xor` of an expression that has this sign and an expression with sign `s`.
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 `s`.
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 `s`.
mul	Gets a possible sign after multiplying an expression with sign `s` to an expression that has this 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 `s`.
rshift	Gets a possible sign after right shift of an expression that has this sign by an expression with sign `s`.
sub	Gets a possible sign after subtracting an expression with sign `s` from an expression that has this 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 `s`.