private void AssertStartProductionExistsForStartSymbol(ReachibilityMatrix reachibilityMatrix) { if (!reachibilityMatrix.ProudctionExistsForSymbol(Start.LeftHandSide)) { throw new Exception("no start production found for start symbol"); } }
private void AssertStartProductionexistsForStartSetting(ReachibilityMatrix reachibilityMatrix) { if (!reachibilityMatrix.ProudctionExistsForSymbol( new NonTerminalModel(StartSetting.Value))) { throw new Exception("no start production found for start symbol"); } }
private void AssertStartProductionExistsForStartSymbol(ReachibilityMatrix reachibilityMatrix) { if (!reachibilityMatrix.ProudctionExistsForSymbol(Start.LeftHandSide)) throw new Exception("no start production found for start symbol"); }