Package proguard.analysis.cpa.jvm.cfa.edges
package proguard.analysis.cpa.jvm.cfa.edges
-
ClassesClassDescriptionAn edge representing an assumption that a case of a switch statement is taken.An edge representing an assumption on a JVM branch instruction that can be either taken or not taken.An edge representing an assumption that the default case of a switch statement is taken.An edge representing an assumption on a JVM exception of a specific type that can be either caught or not caught.A
JvmCfaEdgerepresenting a call to another method, linking to the first node of the called method.Default implementation ofCfaEdgefor JVM instructions.AJvmCfaEdgethe operation of which is defined by an instruction.