Uses of Interface
de.rwth.i2.attestor.types.Type

Packages that use Type

Package	Description
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.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values	This package containsSubsumingState the semantic of several JimpleValues on JimpleExecutables.
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr	This package consists of values (expressions) of type boolean booleans themselves (true,false) are modelled by IntConstants in accordance to soot.
de.rwth.i2.attestor.semantics.jimpleSemantics.translation	The classes in this package handle the translation of Jimple elements such as Statements, Values and Types to semantics objects of our symbolic execution.
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 Type in de.rwth.i2.attestor.graph.heap

Methods in de.rwth.i2.attestor.graph.heap that return Type

Modifier and Type	Method and Description
Type	HeapConfiguration.nodeTypeOf(int node)

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer) Add count nodes of Type type to the underlying graph.
int	HeapConfigurationBuilder.addSingleNode(Type type) Adds a single node of Type type to the underlying graph.
HeapConfigurationBuilder	HeapConfigurationBuilder.replaceNodeType(int node, Type newType) Sets the node type of the given node to newType.

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

Methods in de.rwth.i2.attestor.graph.heap.internal that return Type

Modifier and Type	Method and Description
Type	InternalHeapConfiguration.nodeTypeOf(int node)

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer)
int	InternalHeapConfigurationBuilder.addSingleNode(Type type)
HeapConfigurationBuilder	InternalHeapConfigurationBuilder.replaceNodeType(int node, Type newType)

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

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

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

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

Methods in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair that return Type

Modifier and Type	Method and Description
Type	HeapConfigurationPair.nodeTypeOf(int node)

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

Modifier and Type	Method and Description
HeapConfigurationBuilder	HeapConfigurationPairBuilder.addNodes(Type type, int count, gnu.trove.list.array.TIntArrayList buffer)
int	HeapConfigurationPairBuilder.addSingleNode(Type type)
HeapConfigurationBuilder	HeapConfigurationPairBuilder.replaceNodeType(int node, Type newType)

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

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

Modifier and Type	Method and Description
GeneralConcreteValue	GeneralProgramState.insertNewElement(Type type)

Uses of Type in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Constructors in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements with parameters of type Type

Constructor and Description
ReturnValueStmt(SceneObject sceneObject, Value returnValue, Type type)

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

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values that return Type

Modifier and Type	Method and Description
Type	Field.getType()
Type	UndefinedValue.getType()
Type	Local.getType()
Type	Value.getType()
Type	IntConstant.getType()
Type	NullConstant.getType()
Type	NewExpr.getType()
Type	ConcreteValue.type()
Type	GeneralConcreteValue.type()

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

Constructor and Description
Field(Type type, Value originValue, SelectorLabel selectorLabel)
GeneralConcreteValue(Type type, int node) Initializes a new value
Local(Type type, String name)
NewExpr(Type type)

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

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr that return Type

Modifier and Type	Method and Description
Type	UnequalExpr.getType()
Type	EqualExpr.getType()

Uses of Type in de.rwth.i2.attestor.semantics.jimpleSemantics.translation

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.translation that return Type

Modifier and Type	Method and Description
Type	DefaultAbstractSemantics.translateType(soot.Type input) Translates every type to a new NodeTypeImpl instance with name "undefined Type".
Type	JimpleToAbstractSemantics.translateType(soot.Type input) Translates Jimple types into Type.
Type	TopLevelTranslation.translateType(soot.Type input)
Type	StandardAbstractSemantics.translateType(soot.Type input) creates a NodeType with the escaped type name

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

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

Modifier and Type	Method and Description
ConcreteValue	ProgramState.insertNewElement(Type type) Adds a new element on the heap to the executable and returns it.

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

Classes in de.rwth.i2.attestor.types that implement Type

Modifier and Type	Class and Description
class	GeneralType A simple implementation of types.

Fields in de.rwth.i2.attestor.types declared as Type

Modifier and Type	Field and Description
static Type	Types.BOOL
static Type	Types.BYTE
static Type	Types.CHAR
static Type	Types.DOUBLE
static Type	Types.INT
static Type	Types.INT_0
static Type	Types.INT_MINUS_1
static Type	Types.INT_PLUS_1
static Type	Types.LONG
static Type	Types.NULL
static Type	Types.SHORT
static Type	Types.STRING
static Type	Types.UNDEFINED

Methods in de.rwth.i2.attestor.types that return Type

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

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

Modifier and Type	Method and Description
static boolean	Types.isConstantType(Type type)