Class SpyPoints.SpyPoint

  • Enclosing class:
    SpyPoints

    public class SpyPoints.SpyPoint
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private PredicateKey key  
      private boolean set  
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private SpyPoint​(PredicateKey key)  
    • Method Summary

      All Methods Instance Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      PredicateKey getPredicateKey()  
      boolean isEnabled()  
      boolean isSet()  
      void logCall​(java.lang.Object source, Term[] args)
      Notifies listeners of a first attempt to evaluate a goal.
      void logExit​(java.lang.Object source, Term[] args, int clauseNumber)
      Deprecated.
      void logExit​(java.lang.Object source, Term[] args, ClauseModel clause)
      Notifies listeners of that an attempt to evaluate a goal has succeeded.
      void logFail​(java.lang.Object source, Term[] args)
      Notifies listeners of that an attempt to evaluate a goal has failed.
      void logRedo​(java.lang.Object source, Term[] args)
      Notifies listeners of an attempt to re-evaluate a goal.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • set

        private boolean set
    • Method Detail

      • isSet

        public boolean isSet()
      • isEnabled

        public boolean isEnabled()
      • logCall

        public void logCall​(java.lang.Object source,
                            Term[] args)
        Notifies listeners of a first attempt to evaluate a goal.
      • logRedo

        public void logRedo​(java.lang.Object source,
                            Term[] args)
        Notifies listeners of an attempt to re-evaluate a goal.
      • logExit

        @Deprecated
        public void logExit​(java.lang.Object source,
                            Term[] args,
                            int clauseNumber)
        Deprecated.
        Notifies listeners of that an attempt to evaluate a goal has succeeded.
      • logExit

        public void logExit​(java.lang.Object source,
                            Term[] args,
                            ClauseModel clause)
        Notifies listeners of that an attempt to evaluate a goal has succeeded.
      • logFail

        public void logFail​(java.lang.Object source,
                            Term[] args)
        Notifies listeners of that an attempt to evaluate a goal has failed.