remove now-unused getIndex predicate

Co-authored-by: @tausbn <[email protected]>

Author: Stephan Brandauer

java/ql/automodel/src/AutomodelFrameworkModeCharacteristics.qll

@@ -45,11 +45,6 @@ newtype TFrameworkModeEndpoint =
  * A framework mode endpoint.
  */
 abstract class FrameworkModeEndpoint extends TFrameworkModeEndpoint {
-  /**
-   * Returns the parameter index of the endpoint.
-   */
-  abstract int getIndex();
-
   /**
    * Gets the input (if any) for this endpoint, eg.: `Argument[0]`.
    *
@@ -88,8 +83,6 @@ class ExplicitParameterEndpoint extends FrameworkModeEndpoint, TExplicitParamete
 
   ExplicitParameterEndpoint() { this = TExplicitParameter(param) and param.fromSource() }
 
-  override int getIndex() { result = param.getPosition() }
-
   override string getMaDInput() { result = "Argument[" + param.getPosition() + "]" }
 
   override string getMaDOutput() { none() }
@@ -110,8 +103,6 @@ class QualifierEndpoint extends FrameworkModeEndpoint, TQualifier {
     this = TQualifier(callable) and not callable.isStatic() and callable.fromSource()
   }
 
-  override int getIndex() { result = -1 }
-
   override string getMaDInput() { result = "Argument[this]" }
 
   override string getMaDOutput() { none() }
@@ -130,11 +121,6 @@ class ReturnValue extends FrameworkModeEndpoint, TReturnValue {
 
   ReturnValue() { this = TReturnValue(callable) and callable.fromSource() }
 
-  override int getIndex() {
-    // FIXME bogus value
-    result = -1
-  }
-
   override string getMaDInput() { none() }
 
   override string getMaDOutput() { result = "ReturnValue" }
@@ -154,8 +140,6 @@ class OverridableParameter extends FrameworkModeEndpoint, TOverridableParameter
 
   OverridableParameter() { this = TOverridableParameter(method, param) }
 
-  override int getIndex() { result = param.getPosition() }
-
   override string getMaDInput() { none() }
 
   override string getMaDOutput() { result = "Parameter[" + param.getPosition() + "]" }
@@ -174,8 +158,6 @@ class OverridableQualifier extends FrameworkModeEndpoint, TOverridableQualifier
 
   OverridableQualifier() { this = TOverridableQualifier(m) }
 
-  override int getIndex() { result = -1 }
-
   override string getMaDInput() { none() }
 
   override string getMaDOutput() { result = "Parameter[this]" }