Example #1
0
        private static void ComputeLRState(LRStateBuild State)
        {
            short       num2;
            SymbolBuild build2;
            short       num3 = (short)(BuilderApp.BuildTables.Symbol.Count() - 1);

            for (num2 = 0; num2 <= num3; num2 = (short)(num2 + 1))
            {
                GotoList[num2] = null;
            }
            short num4 = (short)(State.ConfigSet.Count() - 1);

            for (num2 = 0; num2 <= num4; num2 = (short)(num2 + 1))
            {
                LRConfig config = State.ConfigSet[num2];
                build2 = config.NextSymbol(0);
                if (build2 != null)
                {
                    short tableIndex = build2.TableIndex;
                    if (GotoList[tableIndex] == null)
                    {
                        GotoList[tableIndex] = new LRConfigSet();
                    }
                    LRConfig item = new LRConfig(config.Parent, config.Position + 1, config.LookaheadSet);
                    GotoList[tableIndex].Add(item);
                }
            }
            short num5 = (short)(BuilderApp.BuildTables.Symbol.Count() - 1);

            for (num2 = 0; num2 <= num5; num2 = (short)(num2 + 1))
            {
                if (GotoList[num2] == null)
                {
                    continue;
                }
                build2 = BuilderApp.BuildTables.Symbol[num2];
                Closure(GotoList[num2]);
                LRStateBuild state = new LRStateBuild
                {
                    ConfigSet = GotoList[num2]
                };
                switch (build2.Type)
                {
                case SymbolType.Nonterminal:
                {
                    State.Add(new LRAction(build2, LRActionType.Goto, CreateLRState(state)));
                    Notify.Analyzed++;
                    continue;
                }

                case SymbolType.End:
                {
                    State.Add(new LRAction(build2, LRActionType.Accept));
                    continue;
                }
                }
                State.Add(new LRAction(build2, LRActionType.Shift, CreateLRState(state)));
                Notify.Analyzed++;
            }
        }
Example #2
0
        private static void RecomputeLRState(LRStateBuild State)
        {
            short num2 = (short)(State.Count - 1);

            for (short i = 0; i <= num2; i = (short)(i + 1))
            {
                LRAction action = State[i];
                switch (((int)action.Type()))
                {
                case 1:
                case 3:
                {
                    Symbol      symbol    = action.Symbol;
                    SymbolBuild theSymbol = (SymbolBuild)symbol;
                    symbol = theSymbol;
                    LRStateBuild build  = GotoSymbol(State, theSymbol);
                    LRStateBuild build2 = BuilderApp.BuildTables.LALR[action.Value()];
                    if (build.ConfigSet.CompareCore(build2.ConfigSet) == LRConfigCompare.EqualCore)
                    {
                        build2.ConfigSet.UnionWith(build.ConfigSet);
                        build2.Modified = true;
                    }
                    Notify.Analyzed++;
                    break;
                }
                }
            }
        }
Example #3
0
        private static short CreateLRState(LRStateBuild State)
        {
            LRConfigCompare unEqual;
            short           tableIndex = (short)LRConfigSetLookup.get_TableIndex(State.ConfigSet);

            if (tableIndex != -1)
            {
                unEqual = State.ConfigSet.CompareCore(BuilderApp.BuildTables.LALR[tableIndex].ConfigSet);
            }
            else
            {
                unEqual = LRConfigCompare.UnEqual;
            }
            switch (((int)unEqual))
            {
            case 0:
            case 1:
                return(tableIndex);

            case 2:
            {
                LRStateBuild build2 = BuilderApp.BuildTables.LALR[tableIndex];
                build2.ConfigSet.UnionWith(State.ConfigSet);
                build2.Modified = true;
                build2          = null;
                return(tableIndex);
            }

            case 3:
            {
                LRStateBuild build = State;
                build.Expanded = false;
                build.Modified = true;
                build          = null;
                tableIndex     = (short)BuilderApp.BuildTables.LALR.Add(State);
                LRConfigSetLookup.Add(State.ConfigSet, tableIndex);
                Notify.Counter++;
                return(tableIndex);
            }
            }
            return(tableIndex);
        }
Example #4
0
        private static LRStateBuild CreateInitialState(Symbol StartSymbol)
        {
            ProductionBuild rule        = new ProductionBuild();
            SymbolBuild     nonTerminal = new SymbolBuild
            {
                Type = SymbolType.Nonterminal,
                Name = "S'"
            };

            rule.SetHead(nonTerminal);
            rule.Handle().Add((SymbolBuild)StartSymbol);
            rule.Handle().Add((SymbolBuild)BuilderApp.BuildTables.Symbol.GetFirstOfType(SymbolType.End));
            LRConfig     item   = new LRConfig(rule);
            LRStateBuild build3 = new LRStateBuild();

            build3.ConfigSet.Add(item);
            build3.Expanded = false;
            Closure(build3.ConfigSet);
            return(build3);
        }
Example #5
0
        private static LRStateBuild GotoSymbol(LRStateBuild State, SymbolBuild TheSymbol)
        {
            LRStateBuild build2 = new LRStateBuild();
            short        num2   = (short)(State.ConfigSet.Count() - 1);

            for (short i = 0; i <= num2; i = (short)(i + 1))
            {
                LRConfig config = State.ConfigSet[i];
                Symbol   symbol = config.NextSymbol(0);
                if ((symbol != null) && symbol.IsEqualTo(TheSymbol))
                {
                    LRConfig item = new LRConfig(config.Parent, config.Position + 1, config.LookaheadSet);
                    build2.ConfigSet.Add(item);
                }
            }
            if (build2.ConfigSet.Count() >= 1)
            {
                Closure(build2.ConfigSet);
            }
            return(build2);
        }
Example #6
0
        private static void StateNumber(LRStateBuild State, short Number, LRConfigCompare Status)
        {
            LRConfigCompare compare;
            short           num = -1;

            for (short i = 0; (i < BuilderApp.BuildTables.LALR.Count) & (num == -1); i = (short)(i + 1))
            {
                compare = State.ConfigSet.CompareCore(BuilderApp.BuildTables.LALR[i].ConfigSet);
                if (compare != LRConfigCompare.UnEqual)
                {
                    num = i;
                }
            }
            Number = num;
            if (num == -1)
            {
                Status = LRConfigCompare.UnEqual;
            }
            else
            {
                Status = compare;
            }
        }
Example #7
0
        private static StateTableInfoType GetStateInfo(LRStateBuild State)
        {
            StateTableInfoType type2;

            type2.Index   = -1;
            type2.Compare = LRConfigCompare.UnEqual;
            short num = 0;

            while ((num < BuilderApp.BuildTables.LALR.Count) & (type2.Index == -1))
            {
                if (State.ConfigSet.EqualCore(BuilderApp.BuildTables.LALR[num].ConfigSet))
                {
                    LRConfigCompare compare = State.ConfigSet.CompareCore(BuilderApp.BuildTables.LALR[num].ConfigSet);
                    type2.Index   = num;
                    type2.Compare = compare;
                }
                else
                {
                    num = (short)(num + 1);
                }
            }
            return(type2);
        }
Example #8
0
        private static void ComputeReductions()
        {
            LRConflictItem[] itemArray = new LRConflictItem[BuilderApp.BuildTables.Symbol.Count() + 1];
            short            num4      = (short)(BuilderApp.BuildTables.LALR.Count - 1);

            for (short i = 0; i <= num4; i = (short)(i + 1))
            {
                LRConflict   shiftReduce;
                LRStateBuild build = BuilderApp.BuildTables.LALR[i];
                short        num5  = (short)(BuilderApp.BuildTables.Symbol.Count() - 1);
                short        index = 0;
                while (index <= num5)
                {
                    itemArray[index] = new LRConflictItem(BuilderApp.BuildTables.Symbol[index]);
                    index            = (short)(index + 1);
                }
                short num6 = (short)(build.ConfigSet.Count() - 1);
                short num2 = 0;
                while (num2 <= num6)
                {
                    short    num7;
                    LRConfig item = build.ConfigSet[num2];
                    switch (((int)item.NextAction()))
                    {
                    case 1:
                        itemArray[item.NextSymbol(0).TableIndex].Shifts.Add(item);
                        goto Label_0137;

                    case 2:
                        num7  = (short)(item.LookaheadSet.Count() - 1);
                        index = 0;
                        goto Label_012D;

                    default:
                        goto Label_0137;
                    }
Label_0100:
                    itemArray[item.LookaheadSet[index].Parent.TableIndex].Reduces.Add(item);
                    index = (short)(index + 1);
Label_012D:
                    if (index <= num7)
                    {
                        goto Label_0100;
                    }
Label_0137:
                    num2 = (short)(num2 + 1);
                }
                short num8 = (short)(BuilderApp.BuildTables.Symbol.Count() - 1);
                index = 0;
                while (index <= num8)
                {
                    if ((itemArray[index].Shifts.Count() >= 1) & (itemArray[index].Reduces.Count() >= 1))
                    {
                        short num9 = (short)(itemArray[index].Shifts.Count() - 1);
                        num2 = 0;
                        while (num2 <= num9)
                        {
                            itemArray[index].Shifts[num2].Status = LRStatus.Warning;
                            num2 = (short)(num2 + 1);
                        }
                        short num10 = (short)(itemArray[index].Reduces.Count() - 1);
                        num2 = 0;
                        while (num2 <= num10)
                        {
                            itemArray[index].Reduces[num2].Status = LRStatus.Warning;
                            num2 = (short)(num2 + 1);
                        }
                        build.Status = LRStatus.Warning;
                        build.Note   = "Shift-Reduce Conflict";
                        build.ConflictList.Add(new LRConflictItem(itemArray[index], LRConflict.ShiftReduce));
                        shiftReduce = LRConflict.ShiftReduce;
                        BuilderApp.Log.Add(SysLogSection.LALR, SysLogAlert.Warning, "A Shift-Reduce Conflict was fixed", BuilderApp.BuildTables.Symbol[index].Text(false) + " can follow a completed rule and also be shifted." + GetConflictResolvedDesc(shiftReduce), Conversions.ToString((int)i));
                    }
                    index = (short)(index + 1);
                }
                short num11 = (short)(BuilderApp.BuildTables.Symbol.Count() - 1);
                for (index = 0; index <= num11; index = (short)(index + 1))
                {
                    if ((itemArray[index].Reduces.Count() == 1) & (itemArray[index].Shifts.Count() == 0))
                    {
                        SymbolBuild theSymbol = BuilderApp.BuildTables.Symbol[index];
                        build.Add(new LRAction(theSymbol, LRActionType.Reduce, itemArray[index].Reduces[0].Parent.TableIndex));
                    }
                    else if (itemArray[index].Reduces.Count() > 1)
                    {
                        short num12 = (short)(itemArray[index].Reduces.Count() - 1);
                        for (num2 = 0; num2 <= num12; num2 = (short)(num2 + 1))
                        {
                            itemArray[index].Reduces[num2].Status = LRStatus.Critical;
                        }
                        build.Status = LRStatus.Critical;
                        build.Note   = "Reduce-Reduce Conflict";
                        build.ConflictList.Add(new LRConflictItem(itemArray[index], LRConflict.ReduceReduce));
                        shiftReduce = LRConflict.ReduceReduce;
                        BuilderApp.Log.Add(SysLogSection.LALR, SysLogAlert.Critical, "Reduce-Reduce Conflict", BuilderApp.BuildTables.Symbol[index].Text(false) + " can follow more than one completed rule. " + GetConflictDesc(shiftReduce), Conversions.ToString((int)i));
                    }
                }
            }
        }