Ejemplo n.º 1
0
        public void GenerateContinuations()
        {
            foreach (var continuation in Key.Where(x => !x.IsFinished).GroupBy(x => x.NextPattern))
            {
                var key = new StateKey(continuation.Select(x => x.NextProduction), AllProductions);
                Continuations.Add(continuation.Key, Machine.GetOrCreateNode(key));
            }

            var finished = Key.Where(x => x.IsFinished).ToArray();

            if (finished.Length == 1)
            {
                CompletedProduction = finished[0];
            }
            else if (finished.Length > 1)
            {
                var maxValue    = finished.Max(x => x.Precedence.Value);
                var maxFinished = finished.Where(x => x.Precedence.Value == maxValue).ToArray();
                if (maxFinished.Length == 1)
                {
                    CompletedProduction = finished.OrderBy(x => x.Precedence.Value).First();
                }
                else
                {
                    // TODO: better error message
                    throw new InvalidOperationException("Grammar is ambiguous");
                }
            }
        }
Ejemplo n.º 2
0
        public StateNode(StateKey Key, StateMachine machine, Dictionary <string, Production[]> allProductions)
        {
            this.Key = Key;

            Continuations  = new Dictionary <StackItemPattern, StateNode>();
            Machine        = machine;
            AllProductions = allProductions;
        }
Ejemplo n.º 3
0
 public StateNode GetOrCreateNode(StateKey key)
 {
     if (!nodes.ContainsKey(key))
     {
         nodes[key] = new StateNode(key, this, AllProductions);
         // DONT do this in the constructor: We need this item to exist in the dict before this is called.
         nodes[key].GenerateContinuations();
     }
     return(nodes[key]);
 }