Class QueryElement

    • Constructor Detail

      • QueryElement

        public QueryElement()
      • QueryElement

        public QueryElement​(Pattern resultPattern,
                            java.lang.String queryName,
                            QueryArgument[] arguments,
                            int[] variableIndexes,
                            Declaration[] requiredDeclarations,
                            boolean openQuery,
                            boolean abductive)
    • Method Detail

      • writeExternal

        public void writeExternal​(java.io.ObjectOutput out)
                           throws java.io.IOException
        Specified by:
        writeExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
      • readExternal

        public void readExternal​(java.io.ObjectInput in)
                          throws java.io.IOException,
                                 java.lang.ClassNotFoundException
        Specified by:
        readExternal in interface java.io.Externalizable
        Throws:
        java.io.IOException
        java.lang.ClassNotFoundException
      • getVariableIndexes

        public int[] getVariableIndexes()
      • setVariableIndexes

        public void setVariableIndexes​(int[] variableIndexes)
      • getQueryName

        public java.lang.String getQueryName()
      • getResultPattern

        public Pattern getResultPattern()
      • isPatternScopeDelimiter

        public boolean isPatternScopeDelimiter()
        Description copied from interface: RuleConditionElement
        Returns true in case this RuleConditionElement delimits a pattern visibility scope. For instance, AND CE is not a scope delimiter, while NOT CE is a scope delimiter
        Specified by:
        isPatternScopeDelimiter in interface RuleConditionElement
        Returns:
      • getRequiredDeclarations

        public Declaration[] getRequiredDeclarations()
      • isOpenQuery

        public boolean isOpenQuery()
      • isAbductive

        public boolean isAbductive()
      • resolveDeclaration

        public Declaration resolveDeclaration​(java.lang.String identifier)
        Description copied from interface: RuleConditionElement
        Resolves the given identifier in the current scope and returns the Declaration object for the declaration. Returns null if identifier can not be resolved.
        Specified by:
        resolveDeclaration in interface RuleConditionElement
        Returns:
      • toString

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

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object