package pl.edu.amu.wmi.daut.base;
/**
* Klasa odpowiedzialna za sprawdzanie kontekstu.
*/
public class ReallyCheckingContextChecker implements ContextChecker {
private final String s;
private final int position;
/**
* Konstruktor klasy.
*/
public ReallyCheckingContextChecker(String str, int pos) {
s = str;
position = pos;
}
/**
* Metoda sprawdzajÄ…ca kontekst.
*/
@Override
public boolean check(TransitionLabel label) {
return label.checkContext(s, position);
}
}