- All Implemented Interfaces:
- ApplicationCheck
- Enclosing interface:
- ApplicationCheck
public static class ApplicationCheck.NoNewSymbolsCheck
extends Object
implements ApplicationCheck
Implementation of an ApplicationCheck which examines if there are new
symbols introduced below the cut node. The existence of such symbols
prohibits the replay procedure: This restriction ensures that symbols
introduced within the respective subtrees are actually new symbols, as
required by the corresponding rule definitions.
- Author:
- Benjamin Niedermann