Examples of dk.brics.jwig.analysis.graph.HandlerTransition

dk.brics.jwig.analysis.graph.HandlerTransition
A handler state is a state to which the state machine can get when a handler is invoked.

                        // TODO forbid field access completely in handlers


                        handler = stateMachine.createHandlerState(runMethod);
                        queue.add(runMethod);
                    }
                    Transition t = new HandlerTransition();
                    t.setTarget(handler);
                    state.addSuccessor(t);
                }
            }
        }
    }

View Full Code Here

TOP

Related Classes of dk.brics.jwig.analysis.graph.HandlerTransition

dk.brics.jwig.analysis.jaive.InvocationDetector

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.