FieldRef ref = s.getFieldRef(); if ((ref instanceof StaticFieldRef) && (Type.toMachineType(((StaticFieldRef) ref).getType()) instanceof RefLikeType)) { isMethodPure = false; // kills purity isMethodConditionallyPure = false; // kills conditional purity while (paramTypesIt.hasNext()) { Type paramType = (Type) paramTypesIt.next(); if (Type.toMachineType(paramType) != IntType.v()) { isMethodPure = false; // kills purity return;
DefinitionStmt astmt = (DefinitionStmt) u; if (!(astmt.getRightOp() instanceof CaughtExceptionRef)) { Type leftType = Type.toMachineType(astmt.getLeftOp().getType()); Type rightType = Type.toMachineType(astmt.getRightOp().getType()); } else { for (int i = 0; i < iexpr.getArgCount(); i++) { checkCopy(stmt, body, exception, Type.toMachineType(called.parameterType(i)), Type.toMachineType(iexpr.getArg(i).getType()), " in argument " + i + " of call" + errorSuffix + " (Note: Parameters are zero-indexed)");
Local l = Jimple.v().newLocal(newName, Type.toMachineType(v.getType()));
DefinitionStmt astmt=(DefinitionStmt) stmt; if( !(astmt.getRightOp() instanceof CaughtExceptionRef ) ) { Type leftType=Type.toMachineType(astmt.getLeftOp().getType()); Type rightType=Type.toMachineType(astmt.getRightOp().getType()); else for(int i=0;i<iexpr.getArgCount();i++) checkCopy(Type.toMachineType(called.parameterType(i)), Type.toMachineType(iexpr.getArg(i).getType()), " in argument "+i+" of call"+errorSuffix);
DefinitionStmt astmt=(DefinitionStmt) stmt; if( !(astmt.getRightOp() instanceof CaughtExceptionRef ) ) { Type leftType=Type.toMachineType(astmt.getLeftOp().getType()); Type rightType=Type.toMachineType(astmt.getRightOp().getType()); else for(int i=0;i<iexpr.getArgCount();i++) checkCopy(Type.toMachineType(called.parameterType(i)), Type.toMachineType(iexpr.getArg(i).getType()), " in argument "+i+" of call"+errorSuffix);
Local l = Jimple.v().newLocal(newName, Type.toMachineType(v.getType()));
Local l = Jimple.v().newLocal(newName, Type.toMachineType(v.getType()));