Class CallInformation


  • public final class CallInformation
    extends java.lang.Object
    This class stores a precompiled version of call-related metadata and masks for local search operations
    Since:
    1.7
    • Method Detail

      • getThinFrameMask

        public TupleMask getThinFrameMask()
        Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes
      • getFullFrameMask

        public TupleMask getFullFrameMask()
        Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes
      • getParameterMask

        public TupleMask getParameterMask()
        Returns a mask describing the adornment the called pattern uses
      • getFreeParameterIndices

        public int[] getFreeParameterIndices()
        Returns the parameter indices that are unbound before the call
      • getVariablePositions

        public java.util.List<java.lang.Integer> getVariablePositions()
      • 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)
        Since:
        2.0