CodeQL library for Java
codeql/java-all 0.6.2 ( changelog , source )
Index
Search

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 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.