Uses of Interface
de.rwth.i2.attestor.graph.SelectorLabel

Packages that use SelectorLabel

Package	Description
de.rwth.i2.attestor.graph	Abstractions and implementations of various labeled graphs and heap configurations.
de.rwth.i2.attestor.graph.heap	All abstractions needed to work with HeapConfigurations.
de.rwth.i2.attestor.graph.heap.internal	All the messy details to implement a HeapConfiguration as a bipartite directed labeled graph.
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair
de.rwth.i2.attestor.programState
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.programState.indexedState
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.stateSpaceGeneration	A generic model of a state space and state space generation.
de.rwth.i2.attestor.types	Base type for all notions of types, i.e.

Uses of SelectorLabel in de.rwth.i2.attestor.graph

Classes in de.rwth.i2.attestor.graph that implement SelectorLabel

Modifier and Type	Class and Description
class	BasicSelectorLabel A general implementation of selector labels that consists of a single label.

Methods in de.rwth.i2.attestor.graph that return SelectorLabel

Modifier and Type	Method and Description
SelectorLabel	BasicSelectorLabel.Factory.get(String name)

Methods in de.rwth.i2.attestor.graph that return types with arguments of type SelectorLabel

Modifier and Type	Method and Description
Collection<SelectorLabel>	BasicSelectorLabel.Factory.getAllAvailableSelectors()

Methods in de.rwth.i2.attestor.graph with parameters of type SelectorLabel

Modifier and Type	Method and Description
int	BasicSelectorLabel.compareTo(SelectorLabel other)

Uses of SelectorLabel in de.rwth.i2.attestor.graph.heap

Methods in de.rwth.i2.attestor.graph.heap that return types with arguments of type SelectorLabel

Modifier and Type	Method and Description
List<SelectorLabel>	HeapConfiguration.selectorLabelsOf(int node)

Methods in de.rwth.i2.attestor.graph.heap with parameters of type SelectorLabel

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationBuilder.addSelector(int from, SelectorLabel sel, int to) Adds a new selector edge that is labeled with 'sel' and points from node 'from' to node 'to'.
HeapConfigurationBuilder	HeapConfigurationBuilder.removeSelector(int node, SelectorLabel sel) Removes an outgoing selector edge with the provided label 'sel' from the node 'node'.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel) Replaces the original label of an outgoing selector edge with label 'oldSel' of node 'node' by the selector label 'newSel'.
int	HeapConfiguration.selectorTargetOf(int node, SelectorLabel sel)

Uses of SelectorLabel in de.rwth.i2.attestor.graph.heap.internal

Methods in de.rwth.i2.attestor.graph.heap.internal that return types with arguments of type SelectorLabel

Modifier and Type	Method and Description
List<SelectorLabel>	InternalHeapConfiguration.selectorLabelsOf(int node)

Methods in de.rwth.i2.attestor.graph.heap.internal with parameters of type SelectorLabel

Modifier and Type	Method and Description
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addSelector(int from, SelectorLabel sel, int to)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.removeSelector(int node, SelectorLabel sel)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel)
int	InternalHeapConfiguration.selectorTargetOf(int node, SelectorLabel sel)

Uses of SelectorLabel in de.rwth.i2.attestor.main.scene

Methods in de.rwth.i2.attestor.main.scene that return SelectorLabel

Modifier and Type	Method and Description
SelectorLabel	DefaultScene.getSelectorLabel(String name)
SelectorLabel	Scene.getSelectorLabel(String name)

Uses of SelectorLabel in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair that return types with arguments of type SelectorLabel

Modifier and Type	Method and Description
List<SelectorLabel>	HeapConfigurationPair.selectorLabelsOf(int node)

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair with parameters of type SelectorLabel

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addSelector(int from, SelectorLabel sel, int to)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.removeSelector(int node, SelectorLabel sel)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceSelector(int node, SelectorLabel oldSel, SelectorLabel newSel)
int	HeapConfigurationPair.selectorTargetOf(int node, SelectorLabel sel)

Uses of SelectorLabel in de.rwth.i2.attestor.programState

Methods in de.rwth.i2.attestor.programState that return SelectorLabel

Modifier and Type	Method and Description
protected abstract SelectorLabel	GeneralProgramState.getNewSelector(SelectorLabel oldSelectorLabel)

Methods in de.rwth.i2.attestor.programState with parameters of type SelectorLabel

Modifier and Type	Method and Description
protected abstract SelectorLabel	GeneralProgramState.getNewSelector(SelectorLabel oldSelectorLabel)
GeneralConcreteValue	GeneralProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel)
protected abstract int	GeneralProgramState.getSelectorTargetOf(int sourceNode, SelectorLabel selectorLabel)
protected abstract void	GeneralProgramState.removeSelector(int sourceNode, SelectorLabel selectorLabel)
void	GeneralProgramState.setSelector(ConcreteValue from, SelectorLabel selectorLabel, ConcreteValue to)

Uses of SelectorLabel in de.rwth.i2.attestor.programState.defaultState

Methods in de.rwth.i2.attestor.programState.defaultState that return SelectorLabel

Modifier and Type	Method and Description
protected SelectorLabel	DefaultProgramState.getNewSelector(SelectorLabel oldSelectorLabel)

Methods in de.rwth.i2.attestor.programState.defaultState with parameters of type SelectorLabel

Modifier and Type	Method and Description
protected SelectorLabel	DefaultProgramState.getNewSelector(SelectorLabel oldSelectorLabel)
protected int	DefaultProgramState.getSelectorTargetOf(int sourceNode, SelectorLabel selectorLabel)
protected void	DefaultProgramState.removeSelector(int sourceNode, SelectorLabel selectorLabel)

Uses of SelectorLabel in de.rwth.i2.attestor.programState.indexedState

Classes in de.rwth.i2.attestor.programState.indexedState that implement SelectorLabel

Modifier and Type	Class and Description
class	AnnotatedSelectorLabel

Methods in de.rwth.i2.attestor.programState.indexedState that return SelectorLabel

Modifier and Type	Method and Description
protected SelectorLabel	IndexedState.getNewSelector(SelectorLabel oldSelectorLabel)

Methods in de.rwth.i2.attestor.programState.indexedState with parameters of type SelectorLabel

Modifier and Type	Method and Description
int	AnnotatedSelectorLabel.compareTo(SelectorLabel o)
protected SelectorLabel	IndexedState.getNewSelector(SelectorLabel oldSelectorLabel)
protected int	IndexedState.getSelectorTargetOf(int sourceNode, SelectorLabel selectorLabel)
protected void	IndexedState.removeSelector(int sourceNode, SelectorLabel selectorLabel)

Constructors in de.rwth.i2.attestor.programState.indexedState with parameters of type SelectorLabel

Constructor and Description
AnnotatedSelectorLabel(SelectorLabel selectorLabel)
AnnotatedSelectorLabel(SelectorLabel selectorLabel, String annotation)

Uses of SelectorLabel in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values with parameters of type SelectorLabel

Constructor and Description
Field(Type type, Value originValue, SelectorLabel selectorLabel)

Uses of SelectorLabel in de.rwth.i2.attestor.stateSpaceGeneration

Methods in de.rwth.i2.attestor.stateSpaceGeneration with parameters of type SelectorLabel

Modifier and Type	Method and Description
ConcreteValue	ProgramState.getSelectorTarget(ConcreteValue from, SelectorLabel selectorLabel) Gets the target of the given selector starting at a given object on the heap.
void	ProgramState.setSelector(ConcreteValue from, SelectorLabel selectorLabel, ConcreteValue to) (Re)sets the given selector starting at the given object on the heap to a (new) target.

Uses of SelectorLabel in de.rwth.i2.attestor.types

Methods in de.rwth.i2.attestor.types that return types with arguments of type SelectorLabel

Modifier and Type	Method and Description
Map<SelectorLabel,String>	GeneralType.getSelectorLabels()
Map<SelectorLabel,String>	Type.getSelectorLabels()

Methods in de.rwth.i2.attestor.types with parameters of type SelectorLabel

Modifier and Type	Method and Description
void	GeneralType.addSelectorLabel(SelectorLabel selectorLabel, String defaultValue)
void	Type.addSelectorLabel(SelectorLabel selectorLabel, String defaultValue)
boolean	GeneralType.hasSelectorLabel(SelectorLabel selectorLabel)
boolean	Type.hasSelectorLabel(SelectorLabel selectorLabel) Checks whether a node with this type has an outgoing selector label with the given name.
boolean	GeneralType.isOptional(SelectorLabel selectorLabel)
boolean	Type.isOptional(SelectorLabel selectorLabel)