Class TraceVisitor

    • Constructor Detail

      • TraceVisitor

        public TraceVisitor()
    • Method Detail

      • entering

        public void entering​(TraceNode node)

        Enters a TraceNode. This method is called after visit(TraceNode), but before visiting its children. Note that this method is NOT called if a TraceNode has zero children.

        The default implementation of this method does nothing.

        Parameters:
        node - the TraceNode being entered
        See Also:
        leaving(TraceNode)
      • leaving

        public void leaving​(TraceNode node)

        Leaves a TraceNode. This method is called after entering(TraceNode), and after visiting its children. Note that this method is NOT called if a TraceNode has zero children.

        The default implementation of this method does nothing.

        Parameters:
        node - the TraceNode being left