예제 #1
0
        public void TestReplaceRangeThenInsertAtRightEdge() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcccba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 4, "x");
            tokens.InsertBefore(4, "y");   // no effect; within range of a replace
            Exception exc = null;

            try
            {
                tokens.ToString();
            }
            catch (ArgumentException iae)
            {
                exc = iae;
            }
            string expecting = "insert op <InsertBeforeOp@[@4,4:4='c',<6>,1:4]:\"y\"> within boundaries of previous <ReplaceOp@[@2,2:2='c',<6>,1:2]..[@4,4:4='c',<6>,1:4]:\"x\">";

            Assert.IsNotNull(exc);
            Assert.AreEqual(expecting, exc.Message);
        }
예제 #2
0
        public void TestInsertInPriorReplace() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(0, 2, "x");
            tokens.InsertBefore(1, "0");
            Exception exc = null;

            try
            {
                tokens.ToString();
            }
            catch (ArgumentException iae)
            {
                exc = iae;
            }
            string expecting = "insert op <InsertBeforeOp@[@1,1:1='b',<5>,1:1]:\"0\"> within boundaries of previous <ReplaceOp@[@0,0:0='a',<4>,1:0]..[@2,2:2='c',<6>,1:2]:\"x\">";

            Assert.IsNotNull(exc);
            Assert.AreEqual(expecting, exc.Message);
        }
예제 #3
0
        public void TestReplaceThenReplaceLowerIndexedSuperset() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcccba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 4, "xyz");
            tokens.Replace(1, 3, "foo");   // overlap, error
            Exception exc = null;

            try
            {
                tokens.ToString();
            }
            catch (ArgumentException iae)
            {
                exc = iae;
            }
            string expecting = "replace op boundaries of <ReplaceOp@[@1,1:1='b',<5>,1:1]..[@3,3:3='c',<6>,1:3]:\"foo\"> overlap with previous <ReplaceOp@[@2,2:2='c',<6>,1:2]..[@4,4:4='c',<6>,1:4]:\"xyz\">";

            Assert.IsNotNull(exc);
            Assert.AreEqual(expecting, exc.Message);
        }
예제 #4
0
        public void TestOverlappingReplace2() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(0, 3, "bar");
            tokens.Replace(1, 2, "foo");   // cannot split earlier replace
            Exception exc = null;

            try
            {
                tokens.ToString();
            }
            catch (ArgumentException iae)
            {
                exc = iae;
            }
            string expecting = "replace op boundaries of <ReplaceOp@[@1,1:1='b',<5>,1:1]..[@2,2:2='c',<6>,1:2]:\"foo\"> overlap with previous <ReplaceOp@[@0,0:0='a',<4>,1:0]..[@3,3:3='c',<6>,1:3]:\"bar\">";

            Assert.IsNotNull(exc);
            Assert.AreEqual(expecting, exc.Message);
        }
예제 #5
0
        private static void KillTrailingNewline(TokenRewriteStream tokens, int index)
        {
            IList <IToken> all   = tokens.GetTokens();
            IToken         tok   = all[index];
            IToken         after = all[index + 1];
            string         ws    = after.Text;

            if (ws.StartsWith("\n"))
            {
                //Console.Out.WriteLine( "killing WS after action" );
                if (ws.Length > 1)
                {
                    int space = ws.IndexOf(' ');
                    int tab   = ws.IndexOf('\t');
                    if (ws.StartsWith("\n") && space >= 0 || tab >= 0)
                    {
                        return; // do nothing if \n + indent
                    }
                    // otherwise kill all \n
                    ws = ws.Replace("\n", "");
                    tokens.Replace(after.TokenIndex, ws);
                }
                else
                {
                    tokens.Delete(after.TokenIndex);
                }
            }
        }
예제 #6
0
        public virtual void ParseAndRewrite()
        {
            ProcessArgs(args);
            ICharStream input = null;

            if (filename != null)
            {
                input = new ANTLRFileStream(filename);
            }
            else
            {
                input = new ANTLRReaderStream(Console.In, ANTLRReaderStream.InitialBufferSize, ANTLRReaderStream.ReadBufferSize);
            }
            // BUILD AST
            ANTLRLexer lex = new ANTLRLexer(input);

            tokens = new TokenRewriteStream(lex);
            ANTLRParser g       = new ANTLRParser(tokens);
            Grammar     grammar = new Grammar();
            var         r       = g.grammar_(grammar);
            CommonTree  t       = (CommonTree)r.Tree;

            if (tree_option)
            {
                Console.Out.WriteLine(t.ToStringTree());
            }
            Rewrite(g.TreeAdaptor, t, g.TokenNames);
        }
예제 #7
0
        public void TestToStringStartStop2() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "ID : 'a'..'z'+;\n" +
                "INT : '0'..'9'+;\n" +
                "SEMI : ';';\n" +
                "ASSIGN : '=';\n" +
                "PLUS : '+';\n" +
                "MULT : '*';\n" +
                "WS : ' '+;\n");
            // Tokens: 012345678901234567
            // Input:  x = 3 * 0 + 2 * 0;
            ICharStream        input     = new ANTLRStringStream("x = 3 * 0 + 2 * 0;");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();

            string result    = tokens.ToOriginalString();
            string expecting = "x = 3 * 0 + 2 * 0;";

            Assert.AreEqual(expecting, result);

            tokens.Replace(4, 8, "0");   // replace 3 * 0 with 0
            result    = tokens.ToString();
            expecting = "x = 0 + 2 * 0;";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(0, 17);
            expecting = "x = 0 + 2 * 0;";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(4, 8);
            expecting = "0";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(0, 8);
            expecting = "x = 0";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(12, 16);
            expecting = "2 * 0";
            Assert.AreEqual(expecting, result);

            tokens.InsertAfter(17, "// comment");
            result    = tokens.ToString(12, 18);
            expecting = "2 * 0;// comment";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(0, 8); // try again after insert at end
            expecting = "x = 0";
            Assert.AreEqual(expecting, result);
        }
예제 #8
0
 public void Test2InsertMiddleIndex()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.InsertBefore( 1, "x" );
     tokens.InsertBefore( 1, "y" );
     string result = tokens.ToString();
     string expecting = "ayxbc";
     Assert.AreEqual( expecting, result );
 }
예제 #9
0
        public void TestInsertBeforeIndex0() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.InsertBefore(0, "0");
            string result    = tokens.ToString();
            string expecting = "0abc";

            assertEquals(expecting, result);
        }
예제 #10
0
        public void TestInsertAfterLastIndex() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.InsertAfter(2, "x");
            string result    = tokens.ToString();
            string expecting = "abcx";

            Assert.AreEqual(expecting, result);
        }
예제 #11
0
        public void TestReplaceSubsetThenFetch() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcccba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 4, "xyz");
            string result    = tokens.ToString(0, 6);
            string expecting = "abxyzba";

            Assert.AreEqual(expecting, result);
        }
예제 #12
0
        public void TestReplaceAll() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcccba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(0, 6, "x");
            string result    = tokens.ToString();
            string expecting = "x";

            assertEquals(expecting, result);
        }
예제 #13
0
        public void TestReplaceThenDeleteMiddleIndex() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(1, "x");
            tokens.Delete(1);
            string result    = tokens.ToString();
            string expecting = "ac";

            Assert.AreEqual(expecting, result);
        }
예제 #14
0
        public void TestInsertThenReplaceSameIndex() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.InsertBefore(0, "0");
            tokens.Replace(0, "x");   // supercedes insert at 0
            string result    = tokens.ToString();
            string expecting = "0xbc";

            Assert.AreEqual(expecting, result);
        }
예제 #15
0
        public void TestReplaceRangeThenInsertAtLeftEdge() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcccba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 4, "x");
            tokens.InsertBefore(2, "y");
            string result    = tokens.ToString();
            string expecting = "abyxba";

            Assert.AreEqual(expecting, result);
        }
예제 #16
0
        public void TestReplaceSingleMiddleThenOverlappingSuperset() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcba");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 2, "xyz");
            tokens.Replace(0, 3, "foo");
            string result    = tokens.ToString();
            string expecting = "fooa";

            Assert.AreEqual(expecting, result);
        }
예제 #17
0
        public void TestCombineInsertOnLeftWithDelete() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Delete(0, 2);
            tokens.InsertBefore(0, "z"); // combine with left edge of rewrite
            string result    = tokens.ToString();
            string expecting = "z";      // make sure combo is not znull

            Assert.AreEqual(expecting, result);
        }
예제 #18
0
        public void TestOverlappingReplace4() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(1, 2, "foo");
            tokens.Replace(1, 3, "bar");   // wipes prior nested replace
            string result    = tokens.ToString();
            string expecting = "abar";

            Assert.AreEqual(expecting, result);
        }
예제 #19
0
        public void TestDropIdenticalReplace() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(1, 2, "foo");
            tokens.Replace(1, 2, "foo");   // drop previous, identical
            string result    = tokens.ToString();
            string expecting = "afooc";

            Assert.AreEqual(expecting, result);
        }
예제 #20
0
        public void TestDropPrevCoveredInsert() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.InsertBefore(1, "foo");
            tokens.Replace(1, 2, "foo");   // kill prev insert
            string result    = tokens.ToString();
            string expecting = "afoofoo";

            Assert.AreEqual(expecting, result);
        }
예제 #21
0
        public void TestLeaveAloneDisjointInsert2() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abcc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(2, 3, "foo");
            tokens.InsertBefore(1, "x");
            string result    = tokens.ToString();
            string expecting = "axbfoo";

            Assert.AreEqual(expecting, result);
        }
예제 #22
0
        public void TestInsertBeforeTokenThenDeleteThatToken()
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.InsertBefore(2, "y");
            tokens.Delete(2);
            string result    = tokens.ToString();
            string expecting = "aby";

            Assert.AreEqual(expecting, result);
        }
예제 #23
0
        public void TestCombineInsertOnLeftWithReplace() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(0, 2, "foo");
            tokens.InsertBefore(0, "z");   // combine with left edge of rewrite
            string result    = tokens.ToString();
            string expecting = "zfoo";

            assertEquals(expecting, result);
        }
예제 #24
0
        public void TestCombine3Inserts() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "A : 'a';\n" +
                "B : 'b';\n" +
                "C : 'c';\n");
            ICharStream        input     = new ANTLRStringStream("abc");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.InsertBefore(1, "x");
            tokens.InsertBefore(0, "y");
            tokens.InsertBefore(1, "z");
            string result    = tokens.ToString();
            string expecting = "yazxbc";

            Assert.AreEqual(expecting, result);
        }
예제 #25
0
        public void TestToStringStartStop() /*throws Exception*/
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "ID : 'a'..'z'+;\n" +
                "INT : '0'..'9'+;\n" +
                "SEMI : ';';\n" +
                "MUL : '*';\n" +
                "ASSIGN : '=';\n" +
                "WS : ' '+;\n");
            // Tokens: 0123456789
            // Input:  x = 3 * 0;
            ICharStream        input     = new ANTLRStringStream("x = 3 * 0;");
            Interpreter        lexEngine = new Interpreter(g, input);
            TokenRewriteStream tokens    = new TokenRewriteStream(lexEngine);

            tokens.Fill();
            tokens.Replace(4, 8, "0");   // replace 3 * 0 with 0

            string result    = tokens.ToOriginalString();
            string expecting = "x = 3 * 0;";

            Assert.AreEqual(expecting, result);

            result    = tokens.ToString();
            expecting = "x = 0;";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(0, 9);
            expecting = "x = 0;";
            Assert.AreEqual(expecting, result);

            result    = tokens.ToString(4, 8);
            expecting = "0";
            Assert.AreEqual(expecting, result);
        }
예제 #26
0
        public static void ACTION(TokenRewriteStream tokens, CommonTree t)
        {
            CommonTree parent = (CommonTree)t.Parent;
            int        ptype  = parent.Type;

            if (ptype == ANTLRParser.SCOPE ||  // we have special rules for these
                ptype == ANTLRParser.AMPERSAND)
            {
                return;
            }
            //Console.Out.WriteLine( "ACTION: " + t.Text );
            CommonTree root = (CommonTree)t.GetAncestor(ANTLRParser.RULE);

            if (root != null)
            {
                CommonTree rule = (CommonTree)root.GetChild(0);
                //Console.Out.WriteLine( "rule: " + rule );
                if (!char.IsUpper(rule.Text[0]))
                {
                    tokens.Delete(t.TokenStartIndex, t.TokenStopIndex);
                    KillTrailingNewline(tokens, t.token.TokenIndex);
                }
            }
        }
예제 #27
0
 public void TestInsertThenReplaceSameIndex()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.InsertBefore( 0, "0" );
     tokens.Replace( 0, "x" ); // supercedes insert at 0
     string result = tokens.ToString();
     string expecting = "0xbc";
     Assert.AreEqual( expecting, result );
 }
예제 #28
0
 public void TestLeaveAloneDisjointInsert2()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 3, "foo" );
     tokens.InsertBefore( 1, "x" );
     string result = tokens.ToString();
     string expecting = "axbfoo";
     Assert.AreEqual( expecting, result );
 }
예제 #29
0
 public void TestReplaceThenReplaceSuperset()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcccba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 4, "xyz" );
     tokens.Replace( 3, 5, "foo" ); // overlaps, error
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "replace op boundaries of <ReplaceOp@[@3,3:3='c',<6>,1:3]..[@5,5:5='b',<5>,1:5]:\"foo\"> overlap with previous <ReplaceOp@[@2,2:2='c',<6>,1:2]..[@4,4:4='c',<6>,1:4]:\"xyz\">";
     Assert.IsNotNull( exc );
     Assert.AreEqual( expecting, exc.Message );
 }
예제 #30
0
 private static void KillTrailingNewline( TokenRewriteStream tokens, int index )
 {
     IList<IToken> all = tokens.GetTokens();
     IToken tok = all[index];
     IToken after = all[index + 1];
     string ws = after.Text;
     if ( ws.StartsWith( "\n" ) )
     {
         //Console.Out.WriteLine( "killing WS after action" );
         if ( ws.Length > 1 )
         {
             int space = ws.IndexOf( ' ' );
             int tab = ws.IndexOf( '\t' );
             if ( ws.StartsWith( "\n" ) && space >= 0 || tab >= 0 )
             {
                 return; // do nothing if \n + indent
             }
             // otherwise kill all \n
             ws = ws.Replace( "\n", "" );
             tokens.Replace( after.TokenIndex, ws );
         }
         else
         {
             tokens.Delete( after.TokenIndex );
         }
     }
 }
예제 #31
0
 public static void ACTION( TokenRewriteStream tokens, CommonTree t )
 {
     CommonTree parent = (CommonTree)t.Parent;
     int ptype = parent.Type;
     if ( ptype == ANTLRParser.SCOPE || // we have special rules for these
          ptype == ANTLRParser.AMPERSAND )
     {
         return;
     }
     //Console.Out.WriteLine( "ACTION: " + t.Text );
     CommonTree root = (CommonTree)t.GetAncestor( ANTLRParser.RULE );
     if ( root != null )
     {
         CommonTree rule = (CommonTree)root.GetChild( 0 );
         //Console.Out.WriteLine( "rule: " + rule );
         if ( Rule.GetRuleType( rule.Text ) == RuleType.Parser )
         {
             tokens.Delete( t.TokenStartIndex, t.TokenStopIndex );
             KillTrailingNewline( tokens, t.Token.TokenIndex );
         }
     }
 }
예제 #32
0
 public void TestDropIdenticalReplace()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 1, 2, "foo" );
     tokens.Replace( 1, 2, "foo" ); // drop previous, identical
     string result = tokens.ToString();
     string expecting = "afooc";
     Assert.AreEqual( expecting, result );
 }
예제 #33
0
 public void TestInsertBeforeTokenThenDeleteThatToken()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n");
     ICharStream input = new ANTLRStringStream("abc");
     Interpreter lexEngine = new Interpreter(g, input);
     TokenRewriteStream tokens = new TokenRewriteStream(lexEngine);
     tokens.Fill();
     tokens.InsertBefore(2, "y");
     tokens.Delete(2);
     string result = tokens.ToString();
     string expecting = "aby";
     Assert.AreEqual(expecting, result);
 }
예제 #34
0
 public void TestReplaceSingleMiddleThenOverlappingSuperset()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 2, "xyz" );
     tokens.Replace( 0, 3, "foo" );
     string result = tokens.ToString();
     string expecting = "fooa";
     Assert.AreEqual( expecting, result );
 }
예제 #35
0
 public void TestReplaceThenDeleteMiddleIndex()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 1, "x" );
     tokens.Delete( 1 );
     string result = tokens.ToString();
     string expecting = "ac";
     assertEquals( expecting, result );
 }
예제 #36
0
 public void TestReplaceSubsetThenFetch()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcccba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 4, "xyz" );
     string result = tokens.ToString( 0, 6 );
     string expecting = "abxyzba";
     Assert.AreEqual( expecting, result );
 }
예제 #37
0
 public void TestReplaceThenReplaceSuperset()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcccba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 4, "xyz" );
     tokens.Replace( 3, 5, "foo" ); // overlaps, error
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "replace op boundaries of <[email protected]:\"foo\"> overlap with previous <[email protected]:\"xyz\">";
     assertNotNull( exc );
     assertEquals( expecting, exc.Message );
 }
예제 #38
0
 public virtual void ParseAndRewrite()
 {
     ProcessArgs( args );
     ICharStream input = null;
     if ( filename != null )
     {
         input = new ANTLRFileStream( filename );
     }
     else
     {
         input = new ANTLRReaderStream( Console.In, ANTLRReaderStream.InitialBufferSize, ANTLRReaderStream.ReadBufferSize );
     }
     // BUILD AST
     ANTLRLexer lex = new ANTLRLexer( input );
     tokens = new TokenRewriteStream( lex );
     ANTLRParser g = new ANTLRParser( tokens );
     Grammar grammar = new Grammar();
     var r = g.grammar_( grammar );
     CommonTree t = (CommonTree)r.Tree;
     if ( tree_option )
         Console.Out.WriteLine( t.ToStringTree() );
     Rewrite( g.TreeAdaptor, t, g.TokenNames );
 }
예제 #39
0
        public void TestToStringStartStop2()
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "ID : 'a'..'z'+;\n" +
                "INT : '0'..'9'+;\n" +
                "SEMI : ';';\n" +
                "ASSIGN : '=';\n" +
                "PLUS : '+';\n" +
                "MULT : '*';\n" +
                "WS : ' '+;\n" );
            // Tokens: 012345678901234567
            // Input:  x = 3 * 0 + 2 * 0;
            ICharStream input = new ANTLRStringStream( "x = 3 * 0 + 2 * 0;" );
            Interpreter lexEngine = new Interpreter( g, input );
            TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
            tokens.Fill();

            string result = tokens.ToOriginalString();
            string expecting = "x = 3 * 0 + 2 * 0;";
            Assert.AreEqual( expecting, result );

            tokens.Replace( 4, 8, "0" ); // replace 3 * 0 with 0
            result = tokens.ToString();
            expecting = "x = 0 + 2 * 0;";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 0, 17 );
            expecting = "x = 0 + 2 * 0;";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 4, 8 );
            expecting = "0";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 0, 8 );
            expecting = "x = 0";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 12, 16 );
            expecting = "2 * 0";
            Assert.AreEqual( expecting, result );

            tokens.InsertAfter( 17, "// comment" );
            result = tokens.ToString( 12, 18 );
            expecting = "2 * 0;// comment";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 0, 8 ); // try again after insert at end
            expecting = "x = 0";
            Assert.AreEqual( expecting, result );
        }
예제 #40
0
        public void TestToStringStartStop()
        {
            Grammar g = new Grammar(
                "lexer grammar t;\n" +
                "ID : 'a'..'z'+;\n" +
                "INT : '0'..'9'+;\n" +
                "SEMI : ';';\n" +
                "MUL : '*';\n" +
                "ASSIGN : '=';\n" +
                "WS : ' '+;\n" );
            // Tokens: 0123456789
            // Input:  x = 3 * 0;
            ICharStream input = new ANTLRStringStream( "x = 3 * 0;" );
            Interpreter lexEngine = new Interpreter( g, input );
            TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
            tokens.Fill();
            tokens.Replace( 4, 8, "0" ); // replace 3 * 0 with 0

            string result = tokens.ToOriginalString();
            string expecting = "x = 3 * 0;";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString();
            expecting = "x = 0;";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 0, 9 );
            expecting = "x = 0;";
            Assert.AreEqual( expecting, result );

            result = tokens.ToString( 4, 8 );
            expecting = "0";
            Assert.AreEqual( expecting, result );
        }
예제 #41
0
 public void TestInsertInPriorReplace()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 0, 2, "x" );
     tokens.InsertBefore( 1, "0" );
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "insert op <InsertBeforeOp@[@1,1:1='b',<5>,1:1]:\"0\"> within boundaries of previous <ReplaceOp@[@0,0:0='a',<4>,1:0]..[@2,2:2='c',<6>,1:2]:\"x\">";
     Assert.IsNotNull( exc );
     Assert.AreEqual( expecting, exc.Message );
 }
예제 #42
0
 public void TestCombineInsertOnLeftWithDelete()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Delete( 0, 2 );
     tokens.InsertBefore( 0, "z" ); // combine with left edge of rewrite
     string result = tokens.ToString();
     string expecting = "z"; // make sure combo is not znull
     assertEquals( expecting, result );
 }
예제 #43
0
 public void TestReplaceRangeThenInsertAtRightEdge()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcccba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 4, "x" );
     tokens.InsertBefore( 4, "y" ); // no effect; within range of a replace
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "insert op <InsertBeforeOp@[@4,4:4='c',<6>,1:4]:\"y\"> within boundaries of previous <ReplaceOp@[@2,2:2='c',<6>,1:2]..[@4,4:4='c',<6>,1:4]:\"x\">";
     Assert.IsNotNull( exc );
     Assert.AreEqual( expecting, exc.Message );
 }
예제 #44
0
 public void TestDropPrevCoveredInsert()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.InsertBefore( 1, "foo" );
     tokens.Replace( 1, 2, "foo" ); // kill prev insert
     string result = tokens.ToString();
     string expecting = "afoofoo";
     Assert.AreEqual( expecting, result );
 }
예제 #45
0
 public void TestReplaceRangeThenInsertAtLeftEdge()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcccba" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, 4, "x" );
     tokens.InsertBefore( 2, "y" );
     string result = tokens.ToString();
     string expecting = "abyxba";
     assertEquals( expecting, result );
 }
예제 #46
0
 public void TestCombineInsertOnLeftWithReplace()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 0, 2, "foo" );
     tokens.InsertBefore( 0, "z" ); // combine with left edge of rewrite
     string result = tokens.ToString();
     string expecting = "zfoo";
     Assert.AreEqual( expecting, result );
 }
예제 #47
0
 public void TestOverlappingReplace4()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 1, 2, "foo" );
     tokens.Replace( 1, 3, "bar" ); // wipes prior nested replace
     string result = tokens.ToString();
     string expecting = "abar";
     Assert.AreEqual( expecting, result );
 }
예제 #48
0
 public void TestOverlappingReplace2()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 0, 3, "bar" );
     tokens.Replace( 1, 2, "foo" ); // cannot split earlier replace
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "replace op boundaries of <[email protected]:\"foo\"> overlap with previous <[email protected]:\"bar\">";
     assertNotNull( exc );
     assertEquals( expecting, exc.Message );
 }
예제 #49
0
 public void TestOverlappingReplace2()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abcc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 0, 3, "bar" );
     tokens.Replace( 1, 2, "foo" ); // cannot split earlier replace
     Exception exc = null;
     try
     {
         tokens.ToString();
     }
     catch ( ArgumentException iae )
     {
         exc = iae;
     }
     string expecting = "replace op boundaries of <ReplaceOp@[@1,1:1='b',<5>,1:1]..[@2,2:2='c',<6>,1:2]:\"foo\"> overlap with previous <ReplaceOp@[@0,0:0='a',<4>,1:0]..[@3,3:3='c',<6>,1:3]:\"bar\">";
     Assert.IsNotNull( exc );
     Assert.AreEqual( expecting, exc.Message );
 }
예제 #50
0
 public void Test2InsertThenReplaceIndex0()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.InsertBefore( 0, "x" );
     tokens.InsertBefore( 0, "y" );
     tokens.Replace( 0, "z" );
     string result = tokens.ToString();
     string expecting = "zbc";
     assertEquals( expecting, result );
 }
예제 #51
0
 public void TestReplaceThenInsertAfterLastIndex()
 {
     Grammar g = new Grammar(
         "lexer grammar t;\n" +
         "A : 'a';\n" +
         "B : 'b';\n" +
         "C : 'c';\n" );
     ICharStream input = new ANTLRStringStream( "abc" );
     Interpreter lexEngine = new Interpreter( g, input );
     TokenRewriteStream tokens = new TokenRewriteStream( lexEngine );
     tokens.Fill();
     tokens.Replace( 2, "x" );
     tokens.InsertAfter( 2, "y" );
     string result = tokens.ToString();
     string expecting = "abxy";
     Assert.AreEqual( expecting, result );
 }