Package org.sonar.java.se
@ParametersAreNonnullByDefault
package org.sonar.java.se
-
ClassDescriptionThis class ensures that the SE checks are placed in the correct order for the ExplodedGraphWalker In addition, checks that are needed for a correct ExplodedGraphWalker processing are provided in all cases.Pair<A,
B> This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value.