Modifier and Type | Class and Description |
---|---|
class |
JEnumField
A field that is an enum constant.
|
class |
JField
Java field definition.
|
class |
JLocal
Java local variable definition.
|
class |
JParameter
Java method parameter definition.
|
Modifier and Type | Field and Description |
---|---|
protected JVariable |
JVariableRef.target |
Modifier and Type | Method and Description |
---|---|
JVariable |
JVariableRef.getTarget() |
Modifier and Type | Method and Description |
---|---|
void |
JVisitor.endVisit(JVariable x,
Context ctx) |
T |
JTransformer.transformVariable(JVariable x) |
boolean |
JVisitor.visit(JVariable x,
Context ctx) |
Constructor and Description |
---|
JVariableRef(SourceInfo info,
JVariable target) |
Modifier and Type | Method and Description |
---|---|
void |
JChangeTrackingVisitor.endVisit(JVariable x,
Context ctx) |
void |
TypeReferencesRecorder.endVisit(JVariable x,
Context ctx) |
boolean |
JChangeTrackingVisitor.enter(JVariable x,
Context ctx) |
void |
TypeRemapper.exit(JVariable x,
Context ctx) |
void |
JChangeTrackingVisitor.exit(JVariable x,
Context ctx) |
boolean |
JChangeTrackingVisitor.visit(JVariable x,
Context ctx) |
Modifier and Type | Method and Description |
---|---|
JVariable |
CfgReadNode.getTarget() |
JVariable |
CfgReadWriteNode.getTargetVariable()
Get target variable if target is variable reference.
|
JVariable |
CfgWriteNode.getTargetVariable()
Get target variable if target is variable reference.
|
Modifier and Type | Method and Description |
---|---|
JValueLiteral |
ConstantsAssumption.get(JVariable variable)
Get variable constant assumption.
|
boolean |
ConstantsAssumption.hasAssumption(JVariable variable)
Check if we have constant (i.e.
|
boolean |
ConstantsAssumption.Updater.hasAssumption(JVariable target) |
void |
ConstantsAssumption.Updater.set(JVariable target,
JValueLiteral literal) |
Modifier and Type | Method and Description |
---|---|
JVariable |
CopyAssumption.Updater.getMostOriginal(JVariable variable) |
JVariable |
CopyAssumption.getOriginal(JVariable v) |
JVariable |
CopyAssumption.Updater.getOriginal(JVariable variable) |
Modifier and Type | Method and Description |
---|---|
void |
CopyAssumption.Updater.addCopy(JVariable original,
JVariable targetVariable) |
JVariable |
CopyAssumption.Updater.getMostOriginal(JVariable variable) |
JVariable |
CopyAssumption.getOriginal(JVariable v) |
JVariable |
CopyAssumption.Updater.getOriginal(JVariable variable) |
void |
CopyAssumption.Updater.kill(JVariable targetVariable) |
Modifier and Type | Method and Description |
---|---|
boolean |
LivenessAssumption.isLive(JVariable variable) |
void |
LivenessAssumption.Updater.kill(JVariable target) |
void |
LivenessAssumption.Updater.use(JVariable target) |
Copyright © 2018. All rights reserved.