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

            for (Transition t : state.getTransitions()) {
                if (t instanceof HandlerTransition) {
                    // TODO move enough information into the HandlerTransition
                    // to do the analysis here?
                } else if (t instanceof WebMethodTransition) {
                    final WebMethodTransition webMethodTransition = (WebMethodTransition) t;
                    final InvokeExpr expr = webMethodTransition.getExpr();
                    MethodStatementContainer container = machine
                            .getMakeURLLocation(expr);
                    SootMethod enclosingMethod = container.getMethod();
                    Stmt enclosingStatement = container.getStatement();

                // create state
                SootMethod method = resolver.getSootMethod(webMethod);
                State webMethodState = stateMachine.getState(method);


                // link
                Transition transition = new WebMethodTransition(expr);
                callerState.addSuccessor(transition);
                transition.setTarget(webMethodState);
            }
        }
    }

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

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.