Guards: Use shared SuccessorType.

Author: aschackmull

java/ql/lib/semmle/code/java/controlflow/Guards.qll

@@ -143,7 +143,6 @@ private module GuardsInput implements SharedGuards::InputSig<Location> {
   private import java as J
   private import semmle.code.java.dataflow.internal.BaseSSA
   private import semmle.code.java.dataflow.NullGuards as NullGuards
-  import codeql.controlflow.SuccessorType
 
   class ControlFlowNode = J::ControlFlowNode;
 

shared/controlflow/codeql/controlflow/Guards.qll

@@ -53,24 +53,9 @@ module;
 private import codeql.util.Boolean
 private import codeql.util.Location
 private import codeql.util.Unit
+private import SuccessorType
 
 signature module InputSig<LocationSig Location> {
-  class SuccessorType {
-    /** Gets a textual representation of this successor type. */
-    string toString();
-  }
-
-  class ExceptionSuccessor extends SuccessorType;
-
-  class ConditionalSuccessor extends SuccessorType {
-    /** Gets the Boolean value of this successor. */
-    boolean getValue();
-  }
-
-  class BooleanSuccessor extends ConditionalSuccessor;
-
-  class NullnessSuccessor extends ConditionalSuccessor;
-
   /** A control flow node. */
   class ControlFlowNode {
     /** Gets a textual representation of this control flow node. */