Uses of Package
de.rwth.i2.attestor.grammar.materialization.util

Packages that use de.rwth.i2.attestor.grammar.materialization.util

Package	Description
de.rwth.i2.attestor.grammar.materialization.communication
de.rwth.i2.attestor.grammar.materialization.defaultGrammar
de.rwth.i2.attestor.grammar.materialization.indexedGrammar
de.rwth.i2.attestor.grammar.materialization.strategies
de.rwth.i2.attestor.grammar.materialization.util
de.rwth.i2.attestor.markingGeneration.neighbourhood
de.rwth.i2.attestor.markingGeneration.visited
de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies
de.rwth.i2.attestor.semantics	This package defines the translation process from Java bytecode to an executable (abstract) semantics.
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.statements.invoke	This package containsSubsumingState classes that deal with abstract methodExecution and the procedure of calling them.
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.stateSpaceGeneration	A generic model of a state space and state space generation.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.grammar.materialization.communication

Class and Description
GrammarResponseApplier Applies the rules in a GrammarResponse to a graph.
GraphMaterializer Responsible for replacing a NonterminalEdge by a rule graph

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.grammar.materialization.defaultGrammar

Class and Description
MaterializationRuleManager Responsible for computing and caching the rules to resolve any given violation point.
ViolationPointResolver Responsible for computing and caching the rules (lhs → rhs) in the grammar which resolve a certain violation point.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.grammar.materialization.indexedGrammar

Class and Description
GrammarResponseApplier Applies the rules in a GrammarResponse to a graph.
GraphMaterializer Responsible for replacing a NonterminalEdge by a rule graph
MaterializationRuleManager Responsible for computing and caching the rules to resolve any given violation point.
ViolationPointResolver Responsible for computing and caching the rules (lhs → rhs) in the grammar which resolve a certain violation point.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.grammar.materialization.strategies

Class and Description
ApplicableRulesFinder
GrammarResponseApplier Applies the rules in a GrammarResponse to a graph.
MaterializationRuleManager Responsible for computing and caching the rules to resolve any given violation point.
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.grammar.materialization.util

Class and Description
GrammarAdapter
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.markingGeneration.neighbourhood

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.markingGeneration.visited

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.phases.symbolicExecution.utilStrategies

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.semantics

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.statements.invoke

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.semantics.jimpleSemantics.jimple.values.boolExpr

Class and Description
ViolationPoints A set of violation points.

Classes in de.rwth.i2.attestor.grammar.materialization.util used by de.rwth.i2.attestor.stateSpaceGeneration

Class and Description
ViolationPoints A set of violation points.