abc.ltl.visit.transform
Class ConstructorDeclaration

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

public class ConstructorDeclaration
extends NodeVisitor

Constructor Summary

ConstructorDeclaration(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

ConstructorDeclaration

public ConstructorDeclaration(NodeFactory nf)

Parameters:

nf -

Method Detail

leave

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