public abstract class AbstractFieldVariable extends AbstractLValue
LValue.Creation
Modifier and Type | Field and Description |
---|---|
private ClassFileField |
classFileField |
private java.lang.String |
failureName |
private JavaTypeInstance |
owningClass |
Constructor and Description |
---|
AbstractFieldVariable(AbstractFieldVariable other) |
AbstractFieldVariable(ConstantPoolEntry field) |
AbstractFieldVariable(InferredJavaType type,
JavaTypeInstance clazz,
ClassFileField classFileField) |
AbstractFieldVariable(InferredJavaType type,
JavaTypeInstance clazz,
java.lang.String varName) |
Modifier and Type | Method and Description |
---|---|
void |
collectLValueAssignments(Expression assignedTo,
StatementContainer statementContainer,
LValueAssignmentCollector lValueAssigmentCollector) |
void |
collectTypeUsages(TypeUsageCollector collector) |
SSAIdentifiers<LValue> |
collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory) |
boolean |
equals(java.lang.Object o) |
ClassFileField |
getClassFileField() |
static ClassFileField |
getField(ConstantPoolEntryFieldRef fieldRef) |
java.lang.String |
getFieldName() |
private static InferredJavaType |
getFieldType(ConstantPoolEntryFieldRef fieldRef) |
int |
getNumberOfCreators() |
JavaTypeInstance |
getOwningClassType() |
java.lang.String |
getRawFieldName() |
int |
hashCode() |
boolean |
isFinal() |
protected boolean |
isHiddenDeclaration() |
boolean |
isVar() |
void |
markFinal() |
void |
markVar() |
canThrow, collectLValueUsage, doesBlackListLValueReplacement, dump, dump, dumpInner, dumpWithOuterPrecedence, getAnnotatedCreationType, getInferredJavaType, getPrecedence, outerDeepClone, toString, typeToString, validIterator
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
applyExpressionRewriter, replaceSingleUsageLValues
deepClone
private final ClassFileField classFileField
private final java.lang.String failureName
private final JavaTypeInstance owningClass
AbstractFieldVariable(ConstantPoolEntry field)
AbstractFieldVariable(AbstractFieldVariable other)
AbstractFieldVariable(InferredJavaType type, JavaTypeInstance clazz, java.lang.String varName)
AbstractFieldVariable(InferredJavaType type, JavaTypeInstance clazz, ClassFileField classFileField)
public void collectTypeUsages(TypeUsageCollector collector)
collectTypeUsages
in interface TypeUsageCollectable
collectTypeUsages
in class AbstractLValue
public void markFinal()
public boolean isFinal()
public void markVar()
public boolean isVar()
public int getNumberOfCreators()
public JavaTypeInstance getOwningClassType()
public java.lang.String getFieldName()
protected boolean isHiddenDeclaration()
public java.lang.String getRawFieldName()
public ClassFileField getClassFileField()
public SSAIdentifiers<LValue> collectVariableMutation(SSAIdentifierFactory<LValue,?> ssaIdentifierFactory)
public void collectLValueAssignments(Expression assignedTo, StatementContainer statementContainer, LValueAssignmentCollector lValueAssigmentCollector)
public static ClassFileField getField(ConstantPoolEntryFieldRef fieldRef)
private static InferredJavaType getFieldType(ConstantPoolEntryFieldRef fieldRef)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object