Skip to content
Browse files

Resolvendo problema com ShortType

  • Loading branch information...
1 parent 412559e commit 4d279c65e30a130e0450709a562c016b0812bf19 @rafaels committed Feb 4, 2012
Showing with 4 additions and 4 deletions.
  1. +4 −4 src/transformers/AppletContextsTransformer.java
View
8 src/transformers/AppletContextsTransformer.java
@@ -7,6 +7,7 @@
import soot.Body;
import soot.BodyTransformer;
import soot.Scene;
+import soot.ShortType;
import soot.SootClass;
import soot.SootFieldRef;
import soot.SootMethod;
@@ -47,7 +48,6 @@ private void transformProccess(Body body) {
Chain<Unit> units = body.getUnits();
Unit init = units.getFirst(); //inicio da trap
Unit last = units.getLast(); //fim da trap
-
ReturnVoidStmt returnStmt = Jimple.v().newReturnVoidStmt();
}
@@ -88,8 +88,8 @@ private void transformContext(Body body, String signature, List<Channel> channel
VirtualInvokeExpr eReason = Jimple.v().newVirtualInvokeExpr(catchRefLocal, getReasonRef); //e.getReason()
- soot.Local eReasonLocal = soot.jimple.Jimple.v().newLocal("$r3", soot.RefType.v("java.lang.short"));
- soot.Local jcmlCodeLocal = soot.jimple.Jimple.v().newLocal("$r4", soot.RefType.v("java.lang.short"));
+ soot.Local eReasonLocal = soot.jimple.Jimple.v().newLocal("$r3", ShortType.v());
+ soot.Local jcmlCodeLocal = soot.jimple.Jimple.v().newLocal("$r4", ShortType.v());
body.getLocals().add(eReasonLocal);
body.getLocals().add(jcmlCodeLocal);
@@ -102,7 +102,7 @@ private void transformContext(Body body, String signature, List<Channel> channel
for (Channel channel : channels) {
InvokeStmt channelInvokeThrowItStmt = Jimple.v().newInvokeStmt(Jimple.v().newStaticInvokeExpr(throwItRef, IntConstant.v(Util.channelID(channel))));
- SootFieldRef jcmlErrorCodeRef = Scene.v().makeFieldRef(echannelExceptionKlass, Util.eChannelTipoToStatic(channel.tipo), soot.RefType.v("java.lang.short"), true);
+ SootFieldRef jcmlErrorCodeRef = Scene.v().makeFieldRef(echannelExceptionKlass, Util.eChannelTipoToStatic(channel.tipo), ShortType.v(), true);
StaticFieldRef invariantErrorCode = Jimple.v().newStaticFieldRef(jcmlErrorCodeRef);
Stmt jcmlCodeAssignment = Jimple.v().newAssignStmt(jcmlCodeLocal, invariantErrorCode);

0 comments on commit 4d279c6

Please sign in to comment.
Something went wrong with that request. Please try again.