Java 类soot.jimple.IdentityRef 实例源码

项目:petablox    文件:FGStmtSwitch.java   
public final void caseIdentityStmt(IdentityStmt s) {
statement = s;
Value lhs = s.getLeftOp();
Value rhs = s.getRightOp();
if( !( lhs.getType() instanceof RefType ) 
&& !(lhs.getType() instanceof ArrayType ) ) {
     caseUninterestingStmt( s );
     return;
}
Local llhs = (Local) lhs;
if( rhs instanceof CaughtExceptionRef ) {
    caseCatchStmt( llhs, (CaughtExceptionRef) rhs );
} else {
    IdentityRef rrhs = (IdentityRef) rhs;
    caseIdentityStmt( llhs, rrhs );
}
  }
项目:JAADAS    文件:DavaUnitPrinter.java   
public void identityRef( IdentityRef r ) {
    handleIndent();
    if( r instanceof ThisRef ) {
        literal("this");
    } else throw new RuntimeException();
}
项目:petablox    文件:FGStmtSwitch.java   
/** An identity statement assigning a parameter to a local. */
protected void caseIdentityStmt( Local dest, IdentityRef src ) {}