org.evosuite.coverage.dataflow

Class DefUse

java.lang.Object

org.evosuite.graphs.cfg.ASMWrapper

org.evosuite.graphs.cfg.BytecodeInstruction

org.evosuite.coverage.dataflow.DefUse

All Implemented Interfaces:

Serializable, Comparable<BytecodeInstruction>

Direct Known Subclasses:

Definition, Use

public class DefUse
extends BytecodeInstruction

Abstract superclass for all Definitions and Uses

Author:

Andre Mis

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected int	defId
protected int	defuseId
protected boolean	isFieldMethodCall
protected boolean	isFieldMethodCallDefinition
protected boolean	isFieldMethodCallUse
protected boolean	isInStaticMethod
protected boolean	isParameterUse
protected int	useId
protected String	varName

Fields inherited from class org.evosuite.graphs.cfg.BytecodeInstruction

bytecodeOffset, classLoader, className, instructionId, methodName

Fields inherited from class org.evosuite.graphs.cfg.ASMWrapper

asmNode, frame

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DefUse(BytecodeInstruction wrap) Constructor for DefUse.

Method Summary

Modifier and Type	Method and Description
boolean	canBecomeActiveDefinition(BytecodeInstruction instruction) Determines whether the given BytecodeInstruction constitutes a Definition that can potentially become an active Definition for this DefUse in the sense that if control flow passes through the instruction of the given Definition that Definition becomes active for this DefUse's variable This is the case if the given Definition defines the same variable as this DefUse So a Definition canBecomeActive for itself
boolean	equals(Object obj)
int	getDefId() Getter for the field defId.
int	getDefUseId() getDefUseId
String	getDUVariableType() getDUVariableType
int	getUseId() Getter for the field useId.
String	getVariableName() getDUVariableName
int	hashCode()
boolean	isFieldMethodCallDefinition()
boolean	isFieldMethodCallUse()
boolean	isParameterUse() isParameterUse
boolean	loadsReferenceToThis() Determines whether this is the special ALOAD that pushes 'this' onto the stack In non static methods the variable slot 0 holds the reference to "this".
boolean	sharesVariableWith(BytecodeInstruction instruction) sharesVariableWith
boolean	sharesVariableWith(DefUse du) Determines whether the given DefUse reads or writes the same variable as this DefUse
String	toString()

Methods inherited from class org.evosuite.graphs.cfg.BytecodeInstruction

canBeExitPoint, canBeInstrumented, compareTo, explain, getActualCFG, getASMNodeString, getBasicBlock, getBranchExpressionValue, getBytecodeOffset, getCalledCFG, getCDG, getCDGDepth, getClassName, getControlDependencies, getControlDependency, getControlDependentBranch, getControlDependentBranchExpressionValue, getControlDependentBranchId, getControlDependentBranchIds, getFieldMethodCallName, getInstructionId, getLineNumber, getMethodName, getName, getRawCFG, getSourceOfArrayReference, getSourceOfMethodInvocationInstruction, getSourceOfStackInstruction, hasBasicBlockSet, hasLineNumberSet, isCallToPublicMethod, isCallToStaticMethod, isDirectlyControlDependentOn, isLastInstructionInMethod, isMethodCallOfField, isMethodCallOnSameObject, isRootBranchDependent, isWithinConstructor, printFrameInformation, proceedsOwnConstructorInvocation, setBasicBlock, setCFGFrame, setLineNumber, toBranch

Methods inherited from class org.evosuite.graphs.cfg.ASMWrapper

canReturnFromMethod, getArrayVariableName, getASMNode, getCalledMethod, getCalledMethodName, getCalledMethodsArgumentCount, getCalledMethodsClass, getFieldName, getFieldSimpleName, getFieldType, getInstructionType, getLocalVariableName, getLocalVariableSlot, getMethodCallDescriptor, getType, isActualBranch, isArrayLoadInstruction, isArrayStoreInstruction, isBranch, isBranchLabel, isConstant, isConstructorInvocation, isConstructorInvocation, isDefinition, isDefinitionForVariable, isDefUse, isFieldArrayDefinition, isFieldDefinition, isFieldDU, isFieldNodeDefinition, isFieldNodeDU, isFieldNodeUse, isFieldUse, isFrame, isGoto, isIfNull, isIINC, isInvokeSpecial, isInvokeStatic, isJump, isLabel, isLineNumber, isLoadConstant, isLocalArrayDefinition, isLocalDU, isLocalVariableDefinition, isLocalVariableUse, isLookupSwitch, isMethodCall, isMethodCallForClass, isReturn, isStaticArrayUsage, isStaticDefUse, isSwitch, isTableSwitch, isThrow, isUse, sanityCheckAbstractInsnNode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

defuseId

protected int defuseId

defId

protected int defId

useId

protected int useId

isParameterUse

protected boolean isParameterUse

isFieldMethodCall

protected boolean isFieldMethodCall

isFieldMethodCallDefinition

protected boolean isFieldMethodCallDefinition

isFieldMethodCallUse

protected boolean isFieldMethodCallUse

isInStaticMethod

protected boolean isInStaticMethod

varName

protected String varName

Constructor Detail

DefUse

protected DefUse(BytecodeInstruction wrap)

Constructor for DefUse.

Parameters:

wrap - a BytecodeInstruction object.

defuseId - a int.

defId - a int.

useId - a int.

isParameterUse - a boolean.

Method Detail

isFieldMethodCallDefinition

public boolean isFieldMethodCallDefinition()

Overrides:

isFieldMethodCallDefinition in class BytecodeInstruction

isFieldMethodCallUse

public boolean isFieldMethodCallUse()

Overrides:

isFieldMethodCallUse in class BytecodeInstruction

canBecomeActiveDefinition

public boolean canBecomeActiveDefinition(BytecodeInstruction instruction)

Determines whether the given BytecodeInstruction constitutes a Definition that can potentially become an active Definition for this DefUse in the sense that if control flow passes through the instruction of the given Definition that Definition becomes active for this DefUse's variable This is the case if the given Definition defines the same variable as this DefUse So a Definition canBecomeActive for itself

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a boolean.

sharesVariableWith

public boolean sharesVariableWith(DefUse du)

Determines whether the given DefUse reads or writes the same variable as this DefUse

Parameters:

du - a DefUse object.

Returns:

a boolean.

sharesVariableWith

public boolean sharesVariableWith(BytecodeInstruction instruction)

sharesVariableWith

Parameters:

instruction - a BytecodeInstruction object.

Returns:

a boolean.

getDUVariableType

public String getDUVariableType()

getDUVariableType

Returns:

a String object.

getVariableName

public String getVariableName()

getDUVariableName

Overrides:

getVariableName in class ASMWrapper

Returns:

a String object.

getDefUseId

public int getDefUseId()

getDefUseId

Returns:

a int.

getUseId

public int getUseId()

Getter for the field useId.

Returns:

a int.

getDefId

public int getDefId()

Getter for the field defId.

Returns:

a int.

isParameterUse

public boolean isParameterUse()

isParameterUse

Returns:

a boolean.

toString

public String toString()

Overrides:

toString in class BytecodeInstruction

loadsReferenceToThis

public boolean loadsReferenceToThis()

Determines whether this is the special ALOAD that pushes 'this' onto the stack In non static methods the variable slot 0 holds the reference to "this". Loading this reference is not seen as a Use for defuse purposes. This method checks if this is the case

Overrides:

loadsReferenceToThis in class ASMWrapper

Returns:

a boolean.

hashCode

public int hashCode()

Description copied from class: BytecodeInstruction

Overrides:

hashCode in class BytecodeInstruction

equals

public boolean equals(Object obj)

Description copied from class: BytecodeInstruction

Overrides:

equals in class BytecodeInstruction