Uses of Interface
de.rwth.i2.attestor.procedures.Method

Packages that use Method

Package	Description
de.rwth.i2.attestor.main.scene
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.recursive
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements	This package containsSubsumingState the semantics of jimple statements on jimpleExecutables.
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.

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

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

Modifier and Type	Method and Description
Method	DefaultScene.getMethodIfPresent(String signature)
Method	Scene.getMethodIfPresent(String signature)
Method	DefaultScene.getOrCreateMethod(String signature)
Method	Scene.getOrCreateMethod(String signature)

Methods in de.rwth.i2.attestor.main.scene that return types with arguments of type Method

Modifier and Type	Method and Description
Collection<Method>	DefaultScene.getRegisteredMethods()
Collection<Method>	Scene.getRegisteredMethods()

Uses of Method in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration

Method parameters in de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration with type arguments of type Method

Modifier and Type	Method and Description
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setAvailableMethods(Collection<Method> availableMethods)
CounterexampleGenerator.Builder	CounterexampleGenerator.Builder.setScopeExtractorFactory(Function<Method,ScopeExtractor> scopeExtractorFactory)

Uses of Method in de.rwth.i2.attestor.phases.symbolicExecution.recursive

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive that return Method

Modifier and Type	Method and Description
Method	InternalProcedureCall.getMethod()

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type Method

Modifier and Type	Method and Description
InternalProcedureCall	InternalProcedureRegistry.getProcedureCall(Method method, HeapConfiguration initialHeap)

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive with parameters of type Method

Constructor and Description
InternalProcedureCall(Method method, HeapConfiguration precondition, StateSpaceGeneratorFactory factory, ProcedureRegistry registry)

Uses of Method in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis

Fields in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis declared as Method

Modifier and Type	Field and Description
protected Method	AbstractInterproceduralMethodExecutor.method

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis that return Method

Modifier and Type	Method and Description
Method	ProcedureCall.getMethod()

Methods in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type Method

Modifier and Type	Method and Description
ProcedureCall	ProcedureRegistry.getProcedureCall(Method method, HeapConfiguration initialHeap) Wraps the method and initialHeap in a new procedureCall

Constructors in de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis with parameters of type Method

Constructor and Description
AbstractInterproceduralMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)
NonRecursiveMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)
RecursiveMethodExecutor(Method method, ScopeExtractor scopeExtractor, ContractCollection contractCollection, ProcedureRegistry procedureRegistry)

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

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

Constructor and Description
AssignInvoke(SceneObject sceneObject, SettableValue lhs, Method method, InvokeHelper invokePrepare, int nextPC)
InvokeStmt(SceneObject sceneObject, Method method, InvokeHelper invokePrepare, int nextPC)

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

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

Modifier and Type	Method and Description
Method	TopLevelTranslation.getMethod(String signature) Gets the abstract method for the given signature.

Methods in de.rwth.i2.attestor.semantics.jimpleSemantics.translation with parameters of type Method

Modifier and Type	Method and Description
void	TarjanAlgorithm.addCallEdge(Method caller, Method callee)
void	TarjanAlgorithm.addMethodAsVertex(Method method)