Uses of Class
org.evosuite.coverage.dataflow.Definition

Packages that use Definition

Package	Description
org.evosuite.coverage.dataflow
org.evosuite.graphs.cfg

Uses of Definition in org.evosuite.coverage.dataflow

Methods in org.evosuite.coverage.dataflow that return Definition

Modifier and Type	Method and Description
static Definition	DefUsePool.getDefinitionByDefId(int defId) getDefinitionByDefId
static Definition	DefUsePool.getDefinitionByDefUseId(int duId) Returns the Definition with the given duID
static Definition	DefUsePool.getDefinitionByInstruction(BytecodeInstruction def) getDefinitionByInstruction
Definition	DefUseCoverageTestFitness.getGoalDefinition() Getter for the field goalDefinition.
static Definition	DefUseFactory.makeDefinition(BytecodeInstruction instruction) Returns a Definition instance given a BytecodeInstruction for which isDefinition() is true

Methods in org.evosuite.coverage.dataflow that return types with arguments of type Definition

Modifier and Type	Method and Description
static Set<Definition>	DefUseCoverageFactory.getRegisteredDefinitions() getRegsiteredDefinitions
static Set<Definition>	DefUsePool.retrieveRegisteredDefinitions() retrieveRegisteredDefinitions

Methods in org.evosuite.coverage.dataflow with parameters of type Definition

Modifier and Type	Method and Description
static DefUseCoverageTestFitness	DefUseCoverageFactory.createGoal(Definition def, Use use, DefUseCoverageTestFitness.DefUsePairType type) Given a definition and a use, this method creates a DefUseCoverageGoal for this DefUsePair.
static List<Integer>	DefUseExecutionTraceAnalyzer.getDefinitionPositions(Definition targetDefinition, ExecutionTrace trace, int objectId) Returns all the duCounterPositions of the goalUse in the given trace
static int	DefUsePool.getDefUseCounterForDef(Definition def) Determine the number of DefUse pairs for the given Def
static int	DefUseExecutionTraceAnalyzer.getNextOverwritingDefinitionPosition(Definition targetDefinition, ExecutionTrace objectTrace, Integer goalDefPos, Integer objectId) Determines the overwriting definition for the given goalDefPos An overwriting definition position is the duCounter position of the next definition for goalVariable that was not the goalDefinition If no such definition exists Integer.MAX_VALUE is returned
static Map<Integer,Integer>	DefUseExecutionTraceAnalyzer.getOverwritingDefinitionsBetween(Definition targetDefinition, ExecutionTrace trace, int startingDUPos, int endDUPos, int objectId) Returns the a map of definitionIds from all definitions that overwrite the goal definition in the given duCounter-range pointing to the duPos at which they first overwrote.
static Set<BytecodeInstruction>	DefUseExecutionTraceAnalyzer.getOverwritingDefinitionsIn(Definition targetDefinition, Collection<BytecodeInstruction> vertices) Returns a Set containing all elements in the given vertex set that are overwriting definitions for the given targetDefinition
static Map<Use,DefUseCoverageTestFitness>	DefUseCoverageFactory.getRegisteredGoalsForDefinition(Definition def) getRegisteredGoalsForDefinition
static boolean	DefUseExecutionTraceAnalyzer.isOverwritingDefinition(Definition targetDefinition, Definition definition) Determines if the two given Definitions refer to the same variable but are different
static DefUseCoverageTestFitness	DefUseCoverageFactory.retrieveGoal(Definition def, Use use) retrieveGoal

Constructors in org.evosuite.coverage.dataflow with parameters of type Definition

Constructor and Description
AllDefsCoverageTestFitness(Definition def, Map<Use,DefUseCoverageTestFitness> uses) Constructor for AllDefsCoverageTestFitness.
DefUseCoverageTestFitness(Definition def, Use use, DefUseCoverageTestFitness.DefUsePairType type) Creates a Definition-Use-Coverage goal for the given Definition and Use

Uses of Definition in org.evosuite.graphs.cfg

Methods in org.evosuite.graphs.cfg with parameters of type Definition

Modifier and Type	Method and Description
Set<Use>	RawControlFlowGraph.getUsesForDef(Definition def) getUsesForDef
boolean	RawControlFlowGraph.hasDefClearPathToMethodExit(Definition duVertex) hasDefClearPathToMethodExit