Esempio n. 1
0
        __minor(instance continuous)
        {
            instance Gen::Stack <BacktrackRange> capt_ch = new Gen::Stack <BacktrackRange>();

            while (capt_ch.Count != this.max)
            {
                capt_ch.Push(new BacktrackRange(s));
                if (!node.Read(s))
                {
                    capt_ch.Pop().Restore(s);
                    break;
                }
            }

            while (capt_ch.Count >= this.min)
            {
                s.Success = true;
                return(null);

                if (capt_ch.Count == 0)
                {
                    break;
                }
                capt_ch.Pop().Restore(s);
            }

            s.Success = false;
            break return(null);
        }
Esempio n. 2
0
        public ITester Read_Nondeterm(Status s)
        {
            switch (continuous_state)
            {
            default: throw new System.Exception("この関数の実行は終了しています。");

            case 0: break;

            case 1: goto R3;

            case 2: goto R4;
            }
#pragma warning disable 164
            capt_ch = new Gen::Stack <BacktrackRange>();
            L12 : if (!(capt_ch.Count != this.max))
            {
                goto L13;
            }
            s.Success = true;
            capt_ch.Push(new BacktrackRange(s));
            continuous_state = 1; return(node.GetTester());

            R3 :;

            if (!(!s.Success))
            {
                goto L16;
            }
            capt_ch.Pop().Restore(s);
            goto L13;
            L16 :;
            goto L12;
            L13 :;

            L14 : if (!(capt_ch.Count >= this.min))
            {
                goto L15;
            }
            s.Success        = true;
            continuous_state = 2; return(null);

            R4 :;

            if (capt_ch.Count == 0)
            {
                goto L15;
            }
            capt_ch.Pop().Restore(s);
            goto L14;
            L15 :;

            s.Success        = false;
            continuous_state = -1; return(null);

#pragma warning restore 164
        }
Esempio n. 3
0
        /// <summary>
        /// 指定した Status を使用して matching を実行します。
        /// </summary>
        /// <param name="s">読み取りに使用する Status を指定します。
        /// ITester-Stack が空である事を想定しています。
        /// 中に何かある場合にはそれを別の所に待避して、new Stack を設定しておいて下さい。
        /// </param>
        /// <param name="node">要求するパターンを表現する構成体を指定します。</param>
        /// <returns>マッチングに成功した場合に true を返します。
        /// それ以外の場合に false を返します。</returns>
        internal bool match(Status s, INode node)
        {
            Gen::Stack <StatusInfo> st_indef = new Gen::Stack <StatusInfo>();

            s.Push(node.GetTester());
            while (true)
            {
                ITester test = s.Tester.Read(s);

                if (!s.Success)
                {
                    // a. Node 失敗
                    //-------------------
                    // 全体 失敗
                    if (s.IsRoot)
                    {
                        // * INDEFINICITY *
                        if (st_indef.Count == 0)
                        {
                            return(false);
                        }
                        st_indef.Pop().Restore(s);
                    }
                    else
                    {
                        s.Pop();
                    }
                }
                else if (test != null)
                {
                    // b. 入れ子 Node
                    //-------------------
                    s.Push(test);
                }
                else
                {
                    // c. 成功 (Node 終了)
                    //-------------------
                    // 全体 成功
                    if (s.IsRoot)
                    {
                        return(true);
                    }

                    if (s.Tester.Indefinite)
                    {
                        // * INDEFINICITY *
                        st_indef.Push(new StatusInfo(s));
                    }

                    s.Pop();
                }
            }
        }
Esempio n. 4
0
        /// <summary>
        /// スタックの各要素を変換した新しいスタックを作成します。
        /// </summary>
        /// <typeparam name="T">変換前の要素の型を指定します。</typeparam>
        /// <typeparam name="U">変換後の要素の型を指定します。</typeparam>
        /// <param name="stack">変換前の要素を格納したスタックを指定します。</param>
        /// <param name="converter">要素の変換に使用するデリゲートを指定します。</param>
        /// <returns>要素を変換して出来たスタックを返します。</returns>
        public static Gen::Stack <U> ConvertAll <T, U>(this Gen::Stack <T> stack, Converter <T, U> converter)
        {
            T[] values = stack.ToArray();

            Gen::Stack <U> ret = new Gen::Stack <U>(values.Length);

            for (int i = values.Length - 1; i >= 0; i--)
            {
                ret.Push(converter(values[i]));
            }
            return(ret);
        }
Esempio n. 5
0
        /// <summary>
        /// 同じ内容を持つスタックのインスタンスを作成します。
        /// </summary>
        /// <typeparam name="T">スタックの要素の型を指定します。</typeparam>
        /// <param name="stack">コピー元のスタックを指定します。</param>
        /// <returns>指定したスタックと同じ内容を持つ、新しいスタックを返します。</returns>
        public static Gen::Stack <T> Clone <T>(this Gen::Stack <T> stack)
        {
            T[] values = stack.ToArray();

            Gen::Stack <T> ret = new Gen::Stack <T>(values.Length);

            for (int i = values.Length - 1; i >= 0; i--)
            {
                ret.Push(values[i]);
            }
            return(ret);
        }
Esempio n. 6
0
            private bool match_core()
            {
                Status s = this.s;               // ローカルに

                while (true)
                {
                    ITester test = s.Tester.Read(s);

                    if (!s.Success)
                    {
                        // a. Node 失敗
                        //-------------------
                        // 全体 失敗
                        if (s.IsRoot)
                        {
                            // * INDEFINICITY *
                            if (st_indef.Count == 0)
                            {
                                return(false);
                            }
                            st_indef.Pop().Restore(s);
                        }
                        else
                        {
                            s.Pop();
                        }
                    }
                    else if (test != null)
                    {
                        // b. 入れ子 Node
                        //-------------------
                        s.Push(test);
                    }
                    else
                    {
                        // c. 成功 (Node 終了)
                        //-------------------
                        if (s.Tester.Indefinite)
                        {
                            // * INDEFINICITY *
                            st_indef.Push(new StatusInfo(s));
                        }

                        // 全体 成功
                        if (s.IsRoot)
                        {
                            return(true);
                        }

                        s.Pop();
                    }
                }
            }
Esempio n. 7
0
        public ITester Read_Determ(Status s)
        {
            switch (continuous_state)
            {
            default: throw new System.Exception("この関数の実行は終了しています。");

            case 0: break;

            case 1: goto R5;
            }
#pragma warning disable 164
            capt_ch = new Gen::Stack <BacktrackRange>();
            L17 : if (!(capt_ch.Count != this.max))
            {
                goto L18;
            }
            capt_ch.Push(new BacktrackRange(s));
            if (!(!node.Read(s)))
            {
                goto L21;
            }
            capt_ch.Pop().Restore(s);
            goto L18;
            L21 :;
            goto L17;
            L18 :;

            L19 : if (!(capt_ch.Count >= this.min))
            {
                goto L20;
            }
            s.Success        = true;
            continuous_state = 1; return(null);

            R5 :;

            if (capt_ch.Count == 0)
            {
                goto L20;
            }
            capt_ch.Pop().Restore(s);
            goto L19;
            L20 :;

            s.Success        = false;
            continuous_state = -1; return(null);

#pragma warning restore 164
        }
Esempio n. 8
0
 /// <summary>
 /// ソースコードを挿入します。
 /// </summary>
 /// <param name="text"></param>
 /// <returns></returns>
 public void InsertText(string text)
 {
     st_state.Push(new State(this));
     this.lreader = new LinearLetterReader(text);
 }
Esempio n. 9
0
 private void PushBuffer()
 {
     buf_stack.Push(new System.Text.StringBuilder());
 }