C# (CSharp) Pliant.Builders ReachibilityMatrix.ProudctionExistsForSymbol Examples

Example #1

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

Example #2

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

Example #3

File: GrammarModel.cs Project: bilsaboob/Pliant

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