Examples with PredictionContext org.antlr.v4.runtime.atn.PredictionContext used on opensource projects

Example 31 with PredictionContext

use of org.antlr.v4.runtime.atn.PredictionContext in project antlr4 by antlr.

the class TestGraphNodes method test_abx_acx.

@Test
public void test_abx_acx() {
    PredictionContext x1 = x();
    PredictionContext x2 = x();
    PredictionContext b = createSingleton(x1, 2);
    PredictionContext c = createSingleton(x2, 3);
    PredictionContext a1 = createSingleton(b, 1);
    PredictionContext a2 = createSingleton(c, 1);
    PredictionContext r = PredictionContext.merge(a1, a2, rootIsWildcard(), null);
    //		System.out.println(toDOTString(r, rootIsWildcard()));
    String expecting = "digraph G {\n" + "rankdir=LR;\n" + "  s0[label=\"0\"];\n" + "  s1[shape=record, label=\"<p0>|<p1>\"];\n" + "  s2[label=\"2\"];\n" + "  s3[label=\"*\"];\n" + "  s0->s1[label=\"1\"];\n" + "  s1:p0->s2[label=\"2\"];\n" + "  s1:p1->s2[label=\"3\"];\n" + "  s2->s3[label=\"9\"];\n" + "}\n";
    assertEquals(expecting, toDOTString(r, rootIsWildcard()));
}

Example 32 with PredictionContext

use of org.antlr.v4.runtime.atn.PredictionContext in project antlr4 by antlr.

the class TestGraphNodes method test_Aaubv_Abvdu.

@Test
public void test_Aaubv_Abvdu() {
    // au,bv + bv,du -> [a,b,d]->[u,v,u]; u,v shared
    SingletonPredictionContext a = createSingleton(u(), 1);
    SingletonPredictionContext b1 = createSingleton(v(), 2);
    SingletonPredictionContext b2 = createSingleton(v(), 2);
    SingletonPredictionContext d = createSingleton(u(), 4);
    ArrayPredictionContext A1 = array(a, b1);
    ArrayPredictionContext A2 = array(b2, d);
    PredictionContext r = PredictionContext.merge(A1, A2, rootIsWildcard(), null);
    //		System.out.println(toDOTString(r, rootIsWildcard()));
    String expecting = "digraph G {\n" + "rankdir=LR;\n" + "  s0[shape=record, label=\"<p0>|<p1>|<p2>\"];\n" + "  s2[label=\"2\"];\n" + "  s3[label=\"*\"];\n" + "  s1[label=\"1\"];\n" + "  s0:p0->s1[label=\"1\"];\n" + "  s0:p1->s2[label=\"2\"];\n" + "  s0:p2->s1[label=\"4\"];\n" + "  s2->s3[label=\"7\"];\n" + "  s1->s3[label=\"6\"];\n" + "}\n";
    assertEquals(expecting, toDOTString(r, rootIsWildcard()));
}

Example 33 with PredictionContext

use of org.antlr.v4.runtime.atn.PredictionContext in project antlr4 by antlr.

the class TestGraphNodes method test_a$_ax.

@Test
public void test_a$_ax() {
    PredictionContext a1 = a();
    PredictionContext x = x();
    PredictionContext a2 = createSingleton(x, 1);
    PredictionContext r = PredictionContext.merge(a1, a2, rootIsWildcard(), null);
    //		System.out.println(toDOTString(r, rootIsWildcard()));
    String expecting = "digraph G {\n" + "rankdir=LR;\n" + "  s0[label=\"0\"];\n" + "  s1[label=\"*\"];\n" + "  s0->s1[label=\"1\"];\n" + "}\n";
    assertEquals(expecting, toDOTString(r, rootIsWildcard()));
}

Example 34 with PredictionContext

use of org.antlr.v4.runtime.atn.PredictionContext in project antlr4 by antlr.

the class TestGraphNodes method test_$_$_fullctx.

@Test
public void test_$_$_fullctx() {
    PredictionContext r = PredictionContext.merge(PredictionContext.EMPTY, PredictionContext.EMPTY, fullCtx(), null);
    //		System.out.println(toDOTString(r, fullCtx()));
    String expecting = "digraph G {\n" + "rankdir=LR;\n" + "  s0[label=\"$\"];\n" + "}\n";
    assertEquals(expecting, toDOTString(r, fullCtx()));
}

Example 35 with PredictionContext

use of org.antlr.v4.runtime.atn.PredictionContext in project antlr4 by antlr.

the class TestGraphNodes method test_ax_bx_same.

@Test
public void test_ax_bx_same() {
    PredictionContext x = x();
    PredictionContext a = createSingleton(x, 1);
    PredictionContext b = createSingleton(x, 2);
    PredictionContext r = PredictionContext.merge(a, b, rootIsWildcard(), null);
    //		System.out.println(toDOTString(r, rootIsWildcard()));
    String expecting = "digraph G {\n" + "rankdir=LR;\n" + "  s0[shape=record, label=\"<p0>|<p1>\"];\n" + "  s1[label=\"1\"];\n" + "  s2[label=\"*\"];\n" + "  s0:p0->s1[label=\"1\"];\n" + "  s0:p1->s1[label=\"2\"];\n" + "  s1->s2[label=\"9\"];\n" + "}\n";
    assertEquals(expecting, toDOTString(r, rootIsWildcard()));
}