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

Packages that use ScopeExtractor

Package	Description
de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration
de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes
de.rwth.i2.attestor.phases.symbolicExecution.recursive.interproceduralAnalysis
de.rwth.i2.attestor.procedures

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

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

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

Uses of ScopeExtractor in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes

Classes in de.rwth.i2.attestor.phases.symbolicExecution.procedureImpl.scopes that implement ScopeExtractor

Modifier and Type	Class and Description
class	DefaultScopeExtractor

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

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

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 ScopeExtractor in de.rwth.i2.attestor.procedures

Methods in de.rwth.i2.attestor.procedures that return ScopeExtractor

Modifier and Type	Method and Description
ScopeExtractor	AbstractMethodExecutor.getScopeExtractor()

Constructors in de.rwth.i2.attestor.procedures with parameters of type ScopeExtractor

Constructor and Description
AbstractMethodExecutor(ScopeExtractor scopeExtractor, ContractCollection contractCollection)