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

Member predicate Sign :: div

Gets a possible sign after integer dividing an expression that has this sign by an expression with sign s.

Sign div ( Sign s )