示例#1
0
        public PatternCompiled(Pattern pattern)
        {
            Pattern = pattern;

            PatternCode = PatternCompiler.Compile(Pattern);
            if (PatternCode.IsError())
            {
                SetErrorMessage(PatternCode.GetErrorMessage());
                return;
            }

            PatternInterpretor = new PatternInterpretor(PatternCode, Pattern);

            PatternAttribute = new PatternAttribute(Pattern.PatternAttributes);
            if (PatternAttribute.IsError())
            {
                SetErrorMessage(PatternAttribute.GetErrorMessage());
                return;
            }

            PatternActionAttribute = new PatternActionAttribute(Pattern.ClassificationAttributes);
            if (PatternActionAttribute.IsError())
            {
                SetErrorMessage(PatternActionAttribute.GetErrorMessage());
                return;
            }

            PatternConstraintAttribute = new PatternConstraintAttribute(Pattern.ClassificationAttributes);
            if (PatternConstraintAttribute.IsError())
            {
                SetErrorMessage(PatternConstraintAttribute.GetErrorMessage());
                return;
            }

            PatternActionCode = PatternActionCompiler.Compile(pattern, pattern.ActionCode);
            if (PatternActionCode.IsError())
            {
                SetErrorMessage(PatternActionCode.GetErrorMessage());
                return;
            }

            OptimalDFATransformation = FindMinimizedDFATransformation();
        }
示例#2
0
        public PatternCompiled(Pattern pattern)
        {
            Pattern = pattern;

            PatternCode = PatternCompiler.Compile(Pattern);
            if (PatternCode.IsError())
            {
                SetErrorMessage(PatternCode.GetErrorMessage());
                return;
            }

            PatternInterpretor = new PatternInterpretor(PatternCode, Pattern);

            PatternAttribute = new PatternAttribute(Pattern.PatternAttributes);
            if (PatternAttribute.IsError())
            {
                SetErrorMessage(PatternAttribute.GetErrorMessage());
                return;
            }

            PatternActionAttribute = new PatternActionAttribute(Pattern.ClassificationAttributes);
            if (PatternActionAttribute.IsError())
            {
                SetErrorMessage(PatternActionAttribute.GetErrorMessage());
                return;
            }

            PatternConstraintAttribute = new PatternConstraintAttribute(Pattern.ClassificationAttributes);
            if (PatternConstraintAttribute.IsError())
            {
                SetErrorMessage(PatternConstraintAttribute.GetErrorMessage());
                return;
            }

            PatternActionCode = PatternActionCompiler.Compile(pattern, pattern.ActionCode);
            if (PatternActionCode.IsError())
            {
                SetErrorMessage(PatternActionCode.GetErrorMessage());
                return;
            }

            OptimalDFATransformation = FindMinimizedDFATransformation();
        }
示例#3
0
        //[Test]
        public void Test()
        {
            GoBoard lGoBoard = new GoBoard(13);

            lGoBoard.PlayStone("A2", Color.Black, false);
            lGoBoard.PlayStone("B1", Color.Black, false);
            lGoBoard.PlayStone("B2", Color.Black, false);
            lGoBoard.PlayStone("C2", Color.Black, false);
            lGoBoard.PlayStone("D2", Color.Black, false);
            lGoBoard.PlayStone("E2", Color.Black, false);
            lGoBoard.PlayStone("F2", Color.Black, false);
            lGoBoard.PlayStone("F1", Color.Black, false);
            lGoBoard.PlayStone("D1", Color.Black, false);
            lGoBoard.PlayStone("G8", Color.Black, false);
            lGoBoard.PlayStone("H7", Color.Black, false);
            lGoBoard.PlayStone("H9", Color.Black, false);
            lGoBoard.PlayStone("J8", Color.Black, false);
            lGoBoard.PlayStone("H2", Color.Black, false);
            lGoBoard.PlayStone("J1", Color.Black, false);
            lGoBoard.PlayStone("K2", Color.Black, false);

            lGoBoard.Dump();

            string lString = "Pattern LinkPattern4\n\n??o??\n?XoX?\n..X*.\n-----\n\n:\n\n??o??\n?Xoa?\n.*X*.\n-----\n\n;libertycount(a)>1\n\n";

            Pattern lPattern = new Pattern(lString);

            lPattern.Dump();

            PatternTest[] lPatternTests =   {
            //			new PatternTest( "1+2*3", true, true, 7, true, -1 ),		// bug: right to left (instead of left to right), but okay for now
                new PatternTest( "", true, true, 1, false, -1 ),
                new PatternTest( "", true, true, true, true, -1 ),
                new PatternTest( "1", true, true, 1, true, -1 ),
                new PatternTest( "1+1", true, true, 2, true, -1 ),
                new PatternTest( "(1+1)", true, true, 2, true, -1 ),
                new PatternTest( "1>2", true, true, false, true, -1 ),
                new PatternTest( "(1>2)", true, true, false, true, -1 ),
                new PatternTest( "((1)>(1+2))", true, true, false, true, -1 ),
                new PatternTest( "1+2+3+4+5+6+7+8+9", true, true, 45, true, -1 ),
                new PatternTest( "1+2+(3+4)+5+6+7+(8+9)", true, true, 45, true, -1 ),
                new PatternTest( "(1+2+(3+4)+5+6+7+(8+9))", true, true, 45, true, -1 ),
                new PatternTest( "0&&1&&1", true, true, false, true, -1 ),
                new PatternTest( "1||1||0", true, true, true, true, -1 ),
                new PatternTest( "0&&1&&1||1", true, true, false, true, -1 ),
                new PatternTest( "libertycount(a)", true, true, 4, false, -1 ),
                new PatternTest( "libertycount(a) > 1", true, true, true, false, -1 ),
                new PatternTest( "1", true, true, 1, true, -1 ),
                new PatternTest( "1+1", true, true, 2, true, -1 ),
                new PatternTest( "((1)>(1+2))", true, true, false, true, -1 ),
                new PatternTest( " (1+2) > libertycount(a)", true, true, 0, false, -1 ),
                new PatternTest( " (1+2) > libertycount(a,b)", true, true, 0, false, -1 ),
                new PatternTest( " (1+2) > libertycount()", true, false, 0, false, -1 ),
                new PatternTest( " (1+2) != libertycount()+1", true, false, 0, false, -1 ),
                new PatternTest( " (1+2) >= libertycount()+1+2", true, false, 0, false, -1 ),
                new PatternTest( " (libertycount(a) == 1)", true, true, 0, false, -1 ),
                new PatternTest( " libertycount(a) == 1 && libertycount(b) == 1", true, true, 0, false, -1 ),
                new PatternTest( " (libertycount(a) == 1) || (libertycount(b) == 1)", true, true, 0, false, -1 ),
                new PatternTest( " ((libertycount(a) == 1) || (libertycount(b) == 1))", true, true, 0, false, -1 ),
                new PatternTest( "1+", true, false, 0, true, -1 ),
                new PatternTest( " libertycount(a) == 1)", true, false, 0, false, 100 ),
                new PatternTest( "libertycount(a) >" , true, false, 0, false, 101 ),
                new PatternTest( "(((1)>(1+2))", true, false, 0, true, -1 ),
                new PatternTest( "((1)>(1+2)))", true, false, 0, true, -1 ),
                new PatternTest( " (1+2 > libertycount(a)", true, false, 0, false, -1 ),
                new PatternTest( " 1+2) > libertycount(a,b)", true, false, 0, false, -1 ),
                new PatternTest( " libertycount(a) libertycount(b)", true, false, 0, false, -1 ),
                new PatternTest( " libertycount(a) == 1 libertycount(b)", true, false, 0, false, -1 ),
                new PatternTest( " libertycount(a) libertycount(b) == 1", true, false, 0, false, -1 ),
                new PatternTest(" libertycount(a) == 1 & libertycount(b) == 1", false, false, 0, false, -1 )
            };

            foreach (PatternTest lPatternTest in lPatternTests)
            {
                PatternCode lPatternCode = new PatternCode();

                //	PatternScanner lPatternScanner = new PatternScanner(lPatternTest.Expression, lPatternCode);

                bool lScan = !lPatternCode.IsError();

                Assert.IsTrue(lScan == lPatternTest.ScanFlag, "1:" + lPatternTest.Expression);

                if (lScan != lPatternTest.ScanFlag)
                {
                    Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                    Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                    Console.Error.WriteLine("Scan  : " + (lScan ? "YES" : "NO") + " Expected: " + (lPatternTest.ScanFlag ? "YES" : "NO"));
                }

                if (lScan)
                {
                    PatternSyntax lPatternSyntax = new PatternSyntax(lPatternCode);

                    bool lSyntax = lPatternSyntax.SyntaxCheck();

                    Assert.IsTrue(lSyntax == lPatternTest.SyntaxFlag, "2:" + lPatternTest.Expression);

                    if (lSyntax != lPatternTest.SyntaxFlag)
                    {
                        Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                        Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                        Console.Error.WriteLine("Syntax: " + (lSyntax ? "YES" : "NO") + " Expected: " + (lPatternTest.SyntaxFlag ? "YES" : "NO"));
                    }

                    if ((lSyntax) && (lPatternTest.ExecuteFlag))
                    {
                        PatternInterpretor lPatternInterpretor = new PatternInterpretor(lPatternCode, lPattern);

                        int lResult = lPatternInterpretor.Execute(lGoBoard, Color.Black, new Coordinate('K', 1), 0);

                        Assert.IsTrue(lResult == lPatternTest.Result, "3:" + lPatternTest.Expression + " Got: " + lResult.ToString() + " Expected: " + lPatternTest.Result);
                        Assert.IsTrue(!lPatternInterpretor.IsError(), "4:Interpretor Error: " + lPatternTest.Expression);

                        if ((lResult != lPatternTest.Result) || (lPatternInterpretor.IsError()))
                        {
                            Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                            Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                            Console.Error.Write("Got : " + lResult.ToString());
                            Console.Error.WriteLine(" Expected: " + lPatternTest.Result);
                        }
                    }

                    if ((lSyntax) && (!lPatternTest.ExecuteFlag))
                    {
                        PatternInterpretor lPatternInterpretor = new PatternInterpretor(lPatternCode, lPattern);

                        int lResult = lPatternInterpretor.Execute(lGoBoard, Color.Black, new Coordinate('K', 1), 0);

                        Assert.IsTrue(lResult == lPatternTest.Result, "5:" + lPatternTest.Expression);

                        if ((lResult != lPatternTest.Result) || (lPatternInterpretor.IsError()))
                        {
                            Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                            Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                            Console.Error.Write("Got : " + lResult.ToString());
                            Console.Error.WriteLine(" Expected: " + lPatternTest.Result);
                        }
                    }
                }
            }
        }
示例#4
0
        //[Test]
        public void Test()
        {
            GoBoard lGoBoard = new GoBoard(13);

            lGoBoard.PlayStone("A2", Color.Black, false);
            lGoBoard.PlayStone("B1", Color.Black, false);
            lGoBoard.PlayStone("B2", Color.Black, false);
            lGoBoard.PlayStone("C2", Color.Black, false);
            lGoBoard.PlayStone("D2", Color.Black, false);
            lGoBoard.PlayStone("E2", Color.Black, false);
            lGoBoard.PlayStone("F2", Color.Black, false);
            lGoBoard.PlayStone("F1", Color.Black, false);
            lGoBoard.PlayStone("D1", Color.Black, false);
            lGoBoard.PlayStone("G8", Color.Black, false);
            lGoBoard.PlayStone("H7", Color.Black, false);
            lGoBoard.PlayStone("H9", Color.Black, false);
            lGoBoard.PlayStone("J8", Color.Black, false);
            lGoBoard.PlayStone("H2", Color.Black, false);
            lGoBoard.PlayStone("J1", Color.Black, false);
            lGoBoard.PlayStone("K2", Color.Black, false);

            lGoBoard.Dump();

            string lString = "Pattern LinkPattern4\n\n??o??\n?XoX?\n..X*.\n-----\n\n:\n\n??o??\n?Xoa?\n.*X*.\n-----\n\n;libertycount(a)>1\n\n";

            Pattern lPattern = new Pattern(lString);

            lPattern.Dump();

            PatternTest[] lPatternTests =
            {
                //			new PatternTest( "1+2*3", true, true, 7, true, -1 ),		// bug: right to left (instead of left to right), but okay for now
                new PatternTest("",                                                    true,  true,      1, false,  -1),
                new PatternTest("",                                                    true,  true,  true,  true,   -1),
                new PatternTest("1",                                                   true,  true,      1, true,   -1),
                new PatternTest("1+1",                                                 true,  true,      2, true,   -1),
                new PatternTest("(1+1)",                                               true,  true,      2, true,   -1),
                new PatternTest("1>2",                                                 true,  true,  false, true,   -1),
                new PatternTest("(1>2)",                                               true,  true,  false, true,   -1),
                new PatternTest("((1)>(1+2))",                                         true,  true,  false, true,   -1),
                new PatternTest("1+2+3+4+5+6+7+8+9",                                   true,  true,     45, true,   -1),
                new PatternTest("1+2+(3+4)+5+6+7+(8+9)",                               true,  true,     45, true,   -1),
                new PatternTest("(1+2+(3+4)+5+6+7+(8+9))",                             true,  true,     45, true,   -1),
                new PatternTest("0&&1&&1",                                             true,  true,  false, true,   -1),
                new PatternTest("1||1||0",                                             true,  true,  true,  true,   -1),
                new PatternTest("0&&1&&1||1",                                          true,  true,  false, true,   -1),
                new PatternTest("libertycount(a)",                                     true,  true,      4, false,  -1),
                new PatternTest("libertycount(a) > 1",                                 true,  true,  true,  false,  -1),
                new PatternTest("1",                                                   true,  true,      1, true,   -1),
                new PatternTest("1+1",                                                 true,  true,      2, true,   -1),
                new PatternTest("((1)>(1+2))",                                         true,  true,  false, true,   -1),
                new PatternTest(" (1+2) > libertycount(a)",                            true,  true,      0, false,  -1),
                new PatternTest(" (1+2) > libertycount(a,b)",                          true,  true,      0, false,  -1),
                new PatternTest(" (1+2) > libertycount()",                             true,  false,     0, false,  -1),
                new PatternTest(" (1+2) != libertycount()+1",                          true,  false,     0, false,  -1),
                new PatternTest(" (1+2) >= libertycount()+1+2",                        true,  false,     0, false,  -1),
                new PatternTest(" (libertycount(a) == 1)",                             true,  true,      0, false,  -1),
                new PatternTest(" libertycount(a) == 1 && libertycount(b) == 1",       true,  true,      0, false,  -1),
                new PatternTest(" (libertycount(a) == 1) || (libertycount(b) == 1)",   true,  true,      0, false,  -1),
                new PatternTest(" ((libertycount(a) == 1) || (libertycount(b) == 1))", true,  true,      0, false,  -1),
                new PatternTest("1+",                                                  true,  false,     0, true,   -1),
                new PatternTest(" libertycount(a) == 1)",                              true,  false,     0, false, 100),
                new PatternTest("libertycount(a) >",                                   true,  false,     0, false, 101),
                new PatternTest("(((1)>(1+2))",                                        true,  false,     0, true,   -1),
                new PatternTest("((1)>(1+2)))",                                        true,  false,     0, true,   -1),
                new PatternTest(" (1+2 > libertycount(a)",                             true,  false,     0, false,  -1),
                new PatternTest(" 1+2) > libertycount(a,b)",                           true,  false,     0, false,  -1),
                new PatternTest(" libertycount(a) libertycount(b)",                    true,  false,     0, false,  -1),
                new PatternTest(" libertycount(a) == 1 libertycount(b)",               true,  false,     0, false,  -1),
                new PatternTest(" libertycount(a) libertycount(b) == 1",               true,  false,     0, false,  -1),
                new PatternTest(" libertycount(a) == 1 & libertycount(b) == 1",        false, false,     0, false, -1)
            };

            foreach (PatternTest lPatternTest in lPatternTests)
            {
                PatternCode lPatternCode = new PatternCode();

                //	PatternScanner lPatternScanner = new PatternScanner(lPatternTest.Expression, lPatternCode);

                bool lScan = !lPatternCode.IsError();

                Assert.IsTrue(lScan == lPatternTest.ScanFlag, "1:" + lPatternTest.Expression);

                if (lScan != lPatternTest.ScanFlag)
                {
                    Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                    Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                    Console.Error.WriteLine("Scan  : " + (lScan ? "YES" : "NO") + " Expected: " + (lPatternTest.ScanFlag ? "YES" : "NO"));
                }

                if (lScan)
                {
                    PatternSyntax lPatternSyntax = new PatternSyntax(lPatternCode);

                    bool lSyntax = lPatternSyntax.SyntaxCheck();

                    Assert.IsTrue(lSyntax == lPatternTest.SyntaxFlag, "2:" + lPatternTest.Expression);

                    if (lSyntax != lPatternTest.SyntaxFlag)
                    {
                        Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                        Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                        Console.Error.WriteLine("Syntax: " + (lSyntax ? "YES" : "NO") + " Expected: " + (lPatternTest.SyntaxFlag ? "YES" : "NO"));
                    }

                    if ((lSyntax) && (lPatternTest.ExecuteFlag))
                    {
                        PatternInterpretor lPatternInterpretor = new PatternInterpretor(lPatternCode, lPattern);

                        int lResult = lPatternInterpretor.Execute(lGoBoard, Color.Black, new Coordinate('K', 1), 0);

                        Assert.IsTrue(lResult == lPatternTest.Result, "3:" + lPatternTest.Expression + " Got: " + lResult.ToString() + " Expected: " + lPatternTest.Result);
                        Assert.IsTrue(!lPatternInterpretor.IsError(), "4:Interpretor Error: " + lPatternTest.Expression);

                        if ((lResult != lPatternTest.Result) || (lPatternInterpretor.IsError()))
                        {
                            Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                            Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                            Console.Error.Write("Got : " + lResult.ToString());
                            Console.Error.WriteLine(" Expected: " + lPatternTest.Result);
                        }
                    }

                    if ((lSyntax) && (!lPatternTest.ExecuteFlag))
                    {
                        PatternInterpretor lPatternInterpretor = new PatternInterpretor(lPatternCode, lPattern);

                        int lResult = lPatternInterpretor.Execute(lGoBoard, Color.Black, new Coordinate('K', 1), 0);

                        Assert.IsTrue(lResult == lPatternTest.Result, "5:" + lPatternTest.Expression);

                        if ((lResult != lPatternTest.Result) || (lPatternInterpretor.IsError()))
                        {
                            Console.Error.WriteLine("PatternInterpretor::SelfTest (Failed)");
                            Console.Error.WriteLine("Failed Test: " + lPatternTest.Expression);
                            Console.Error.Write("Got : " + lResult.ToString());
                            Console.Error.WriteLine(" Expected: " + lPatternTest.Result);
                        }
                    }
                }
            }
        }