abc.ltl.visit.transform
Class ImportStatements

java.lang.Object
  NodeVisitor
      abc.ltl.visit.transform.ImportStatements

public class ImportStatements
extends NodeVisitor

Constructor Summary

ImportStatements(NodeFactory nf)

Method Summary

Node	leave(Node old, Node n, NodeVisitor v)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ImportStatements

public ImportStatements(NodeFactory nf)

Parameters:

nf -

Method Detail

leave

public Node leave(Node old,
                  Node n,
                  NodeVisitor v)