Class XVisitor


  • public abstract class XVisitor
    extends java.lang.Object
    Author:
    Eric Verbeek (h.m.w.verbeek@tue.nl)
    • Constructor Detail

      • XVisitor

        public XVisitor()
    • Method Detail

      • precondition

        public boolean precondition()
      • init

        public void init​(XLog log)
      • visitLogPre

        public void visitLogPre​(XLog log)
      • visitLogPost

        public void visitLogPost​(XLog log)
      • visitExtensionPre

        public void visitExtensionPre​(XExtension ext,
                                      XLog log)
      • visitExtensionPost

        public void visitExtensionPost​(XExtension ext,
                                       XLog log)
      • visitTracePre

        public void visitTracePre​(XTrace trace,
                                  XLog log)
      • visitTracePost

        public void visitTracePost​(XTrace trace,
                                   XLog log)
      • visitEventPre

        public void visitEventPre​(XEvent event,
                                  XTrace trace)
      • visitEventPost

        public void visitEventPost​(XEvent event,
                                   XTrace trace)