Class SpyPoints.SpyPointEvent

    • Field Detail

      • args

        private final Term[] args
      • source

        private final java.lang.Object source
    • Constructor Detail

      • SpyPointEvent

        private SpyPointEvent​(PredicateKey key,
                              Term[] args,
                              java.lang.Object source)
    • Method Detail

      • getFormattedTerm

        public java.lang.String getFormattedTerm()
      • getSourceId

        public int getSourceId()
      • toString

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