de.rwth.i2.attestor.grammar.materialization.util

Class ViolationPointResolver

java.lang.Object

de.rwth.i2.attestor.grammar.materialization.util.ViolationPointResolver

public class ViolationPointResolver
extends Object

Responsible for computing and caching the rules (lhs → rhs) in the grammar which resolve a certain violation point.

Author:

Hannah

Constructor Summary

Constructors

Constructor and Description
ViolationPointResolver(Grammar grammar)

Method Summary

Modifier and Type	Method and Description
Map<Nonterminal,Collection<HeapConfiguration>>	getRulesCreatingSelectorFor(Nonterminal nonterminal, int tentacle, String selectorName) gets all rules matching the given nonterminal and creating the requested selector label at the given tentacle of the nonterminal

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ViolationPointResolver

public ViolationPointResolver(Grammar grammar)

Method Detail

getRulesCreatingSelectorFor

public Map<Nonterminal,Collection<HeapConfiguration>> getRulesCreatingSelectorFor(Nonterminal nonterminal,
                                                                                  int tentacle,
                                                                                  String selectorName)

gets all rules matching the given nonterminal and creating the requested selector label at the given tentacle of the nonterminal

Parameters:

nonterminal - the nonterminal to replace

tentacle - the tentacle of the nonterminal at which the selector Label is requested

selectorName - the name of the requested selector Label

Returns:

the rules in form lhs → {rhs}