public class NonStaticLifter
extends java.lang.Object
Constructor and Description |
---|
NonStaticLifter(ClassFile classFile) |
Modifier and Type | Method and Description |
---|---|
private boolean |
fromThisClass(FieldVariable fv) |
private boolean |
hasLegitArgs(Expression rValue,
java.util.Set<Expression> usedFvs) |
void |
liftNonStatics() |
private boolean |
tryLift(FieldVariable lValue,
Expression rValue,
java.util.Map<java.lang.String,Pair<java.lang.Integer,ClassFileField>> fieldMap,
java.util.Set<Expression> usedFvs) |
private final ClassFile classFile
public NonStaticLifter(ClassFile classFile)
public void liftNonStatics()
private boolean fromThisClass(FieldVariable fv)
private boolean tryLift(FieldVariable lValue, Expression rValue, java.util.Map<java.lang.String,Pair<java.lang.Integer,ClassFileField>> fieldMap, java.util.Set<Expression> usedFvs)
private boolean hasLegitArgs(Expression rValue, java.util.Set<Expression> usedFvs)