abc.ltl.visit.override
Class CollectJimplifyVisitor

java.lang.Object
  ErrorHandlingVisitor
      abc.aspectj.visit.CollectJimplifyVisitor
          abc.ltl.visit.override.CollectJimplifyVisitor

public class CollectJimplifyVisitor
extends CollectJimplifyVisitor

Field Summary

Fields inherited from class abc.aspectj.visit.CollectJimplifyVisitor

class_to_ast, current_ast, source_files

Constructor Summary

CollectJimplifyVisitor(Job job, TypeSystem ts, NodeFactory nf, java.util.Collection source_files, java.util.Map class_to_ast)

Method Summary

protected NodeVisitor

enterCall(Node n)

Methods inherited from class java.lang.Object

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

Constructor Detail

CollectJimplifyVisitor

public CollectJimplifyVisitor(Job job,
                              TypeSystem ts,
                              NodeFactory nf,
                              java.util.Collection source_files,
                              java.util.Map class_to_ast)

Method Detail

enterCall

protected NodeVisitor enterCall(Node n)
                         throws SemanticException

Overrides:

enterCall in class CollectJimplifyVisitor

Throws:

SemanticException