List of insertIdentityStmts() Examples

Examples of insertIdentityStmts()

soot.jimple.JimpleBody.insertIdentityStmts()
Inserts usual statements for handling this & parameters into body.

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    Collections.EMPTY_LIST, VoidType.v(), Modifier.PUBLIC);
            entityInstanceClass.addMethod(fireMethod);


            JimpleBody body = Jimple.v().newBody(fireMethod);
            fireMethod.setActiveBody(body);
            body.insertIdentityStmts();


            Chain units = body.getUnits();
            Local thisLocal = body.getThisLocal();


            Local hasTokenLocal = Jimple.v().newLocal("hasTokenLocal",

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    Collections.EMPTY_LIST, BooleanType.v(), Modifier.PUBLIC);
            entityInstanceClass.addMethod(postfireMethod);


            JimpleBody body = Jimple.v().newBody(postfireMethod);
            postfireMethod.setActiveBody(body);
            body.insertIdentityStmts();


            Chain units = body.getUnits();
            Local thisLocal = body.getThisLocal();


            Map transitionToStartStmt = new HashMap();

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

        functionClass.addMethod(functionConstructor);


        {
            JimpleBody body = Jimple.v().newBody(functionConstructor);
            functionConstructor.setActiveBody(body);
            body.insertIdentityStmts();
            body.getUnits().add(
                    Jimple.v()
                            .newInvokeStmt(
                                    Jimple.v().newSpecialInvokeExpr(
                                            body.getThisLocal(),

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    PtolemyUtilities.tokenType, Modifier.PUBLIC);
            functionClass.addMethod(functionApplyMethod);


            JimpleBody body = Jimple.v().newBody(functionApplyMethod);
            functionApplyMethod.setActiveBody(body);
            body.insertIdentityStmts();


            Stmt insertPoint = Jimple.v().newNopStmt();
            body.getUnits().add(insertPoint);


            // Loop over all the arguments and populate the map from

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    Modifier.PUBLIC);
            functionClass.addMethod(getNumberOfArgumentsMethod);


            JimpleBody body = Jimple.v().newBody(getNumberOfArgumentsMethod);
            getNumberOfArgumentsMethod.setActiveBody(body);
            body.insertIdentityStmts();
            body.getUnits().add(
                    Jimple.v().newReturnStmt(
                            IntConstant.v(functionType.getArgCount())));
        }
        // Create the isCongruent method.

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    argTypes, BooleanType.v(), Modifier.PUBLIC);
            functionClass.addMethod(isCongruentMethod);


            JimpleBody body = Jimple.v().newBody(isCongruentMethod);
            isCongruentMethod.setActiveBody(body);
            body.insertIdentityStmts();


            // Never congruent
            // FIXME: really this should compare the string values.
            body.getUnits().add(Jimple.v().newReturnStmt(IntConstant.v(0)));
        }

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()

                    Modifier.PUBLIC);
            functionClass.addMethod(toStringMethod);


            JimpleBody body = Jimple.v().newBody(toStringMethod);
            toStringMethod.setActiveBody(body);
            body.insertIdentityStmts();


            StringBuffer buffer = new StringBuffer("(function(");
            int n = node.getArgumentNameList().size();


            for (int i = 0; i < n; i++) {

View Full Code Here

Examples of soot.jimple.JimpleBody.insertIdentityStmts()


        // Initialize the model.
        SootMethod initMethod = modelClass.getInitMethod();
        JimpleBody body = Jimple.v().newBody(initMethod);
        initMethod.setActiveBody(body);
        body.insertIdentityStmts();


        Chain units = body.getUnits();
        Local thisLocal = body.getThisLocal();


        _entityLocalMap = new HashMap();

View Full Code Here

0 1 2

TOP

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.