Class ExtendPositivePatternCall

    • Constructor Detail

      • ExtendPositivePatternCall

        public ExtendPositivePatternCall​(CallInformation information)
        Since:
        1.7
    • Method Detail

      • getVariablePositions

        public java.util.List<java.lang.Integer> getVariablePositions()
        Specified by:
        getVariablePositions in interface ISearchOperation
        Returns:
        the ordered list of the variable numbers that are affected by the search operation
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • toString

        public java.lang.String toString​(java.util.function.Function<java.lang.Integer,​java.lang.String> variableMapping)
        Description copied from interface: ISearchOperation
        Creates a string representation of the search operation by replacing the variable numbers according to the parameter function. It is expected that the provided function does return a non-null value for each variable index that is returned by ISearchOperation.getVariablePositions(); otherwise a NullPointerException will be thrown during the calculation of the string.
        Specified by:
        toString in interface ISearchOperation