Module SignInp

Import path

import semmle.code.java.dataflow.RangeAnalysis

semMayBeNegative	Holds if `e` may have negative values. This does not rule out the possibility for positive values.
semMayBePositive	Holds if `e` may have positive values. This does not rule out the possibility for negative values.

semNegative	Holds if `e` can be negative and cannot be positive.
semPositive	Holds if `e` can be positive and cannot be negative.
semStrictlyNegative	Holds if `e` is strictly negative.
semStrictlyPositive	Holds if `e` is strictly positive.