C# (CSharp) CharSetSolver.ConvertCaptures Examples

Example #1

        public void TestGroups()
        {
            CharSetSolver css   = new CharSetSolver(BitWidth.BV7);
            var           regex = @"\W*(?<key>\w{1,3})\s*(?<value>\d{2,3})\D*";
            bool          b;
            var           captures = css.ConvertCaptures(regex, out b);

            Assert.IsTrue(captures.Length == 5);
            for (int i = 0; i < captures.Length; i++)
            {
                var aut  = captures[i].Item2;
                var name = captures[i].Item1;
                if (name == "")
                {
                    name = "skip" + i;
                }
                //css.ShowGraph(aut, name);
            }
            string s = "foobar";

            s.StartsWith("foo");
            s.EndsWith("bar");
            s.Equals("foobar");

            for (int i = 0; i < captures.Length; i++)
            {
            }
        }

Example #2

File: MiscRegexConversionTests.cs Project: AutomataDotNet/Automata

        public void TestGroups()
        {
            CharSetSolver css = new CharSetSolver(BitWidth.BV7);
            var regex = @"\W*(?<key>\w{1,3})\s*(?<value>\d{2,3})\D*";
            bool b;
            var captures = css.ConvertCaptures(regex, out b);
            Assert.IsTrue(captures.Length == 5);
            for (int i = 0; i < captures.Length; i++ )
            {
                var aut = captures[i].Item2;
                var name = captures[i].Item1;
                if (name == "")
                    name = "skip" + i;
                //css.ShowGraph(aut, name);
            }
            string s = "foobar";
            s.StartsWith("foo");
            s.EndsWith("bar");
            s.Equals("foobar");

            for (int i = 0; i < captures.Length; i++)
            {

            }
        }