jltools.visit
Class FlowChecker

java.lang.Object
  |
  +--jltools.ast.NodeVisitor
        |
        +--jltools.visit.FlowChecker

public class FlowChecker

extends NodeVisitor

Visitor which checks if control flow properties are correct (e.g., that all functions terminate in a return or throw). Unimplemented.

Constructor Summary

FlowChecker()

Methods inherited from class jltools.ast.NodeVisitor

enter, finish, leave, override, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowChecker

public FlowChecker()