static void TokenFactor(out Graph g) { string name; int kind; g = new Graph(); if (la.kind == 1 || la.kind == 3 || la.kind == 5) { Sym(out name, out kind); if (kind == id) { CharClass c = CharClass.Find(name); if (c == null) { SemErr("undefined name"); c = new CharClass(name, new BitArray(CharClass.charSetSize)); } Node p = new Node(Node.clas, null, 0); p.val = c.n; g = new Graph(p); } else { g = Graph.StrToGraph(name); // str } } else if (la.kind == 28) { Get(); TokenExpr(out g); Expect(29); } else if (la.kind == 30) { Get(); TokenExpr(out g); Expect(31); Graph.MakeOption(g); } else if (la.kind == 32) { Get(); TokenExpr(out g); Expect(33); Graph.MakeIteration(g); } else { SynErr(54); } }
static void Factor(out Graph g) { string name; int kind; Position pos; bool weak = false; g = null; switch (la.kind) { case 1: case 3: case 5: case 27: { if (la.kind == 27) { Get(); weak = true; } Sym(out name, out kind); Symbol sym = Symbol.Find(name); bool undef = sym == null; if (undef) { if (kind == id) { sym = new Symbol(Node.nt, name, 0); // forward nt } else if (genScanner) { sym = new Symbol(Node.t, name, t.line); DFA.MatchLiteral(sym); } else // undefined string in production { SemErr("undefined string in production"); sym = Tab.eofSy; // dummy } } int typ = sym.typ; if (typ != Node.t && typ != Node.nt && typ != Node.rslv) /* ML */ { SemErr("this symbol kind is not allowed in a production"); } if (weak) { if (typ == Node.t) { typ = Node.wt; } else { SemErr("only terminals may be weak"); } } Node p = new Node(typ, sym, t.line); g = new Graph(p); if (la.kind == 24) { Attribs(p); if (kind != id) { SemErr("a literal must not have attributes"); } } if (undef) { sym.attrPos = p.pos; // dummy } else if ((p.pos == null) != (sym.attrPos == null)) { SemErr("attribute mismatch between declaration and use of this symbol"); } break; } case 28: { Get(); Expression(out g); Expect(29); break; } case 30: { Get(); Expression(out g); Expect(31); Graph.MakeOption(g); break; } case 32: { Get(); Expression(out g); Expect(33); Graph.MakeIteration(g); break; } case 38: { SemText(out pos); Node p = new Node(Node.sem, null, 0); p.pos = pos; g = new Graph(p); break; } case 23: { Get(); Node p = new Node(Node.any, null, 0); // p.set is set in Tab.SetupAnys g = new Graph(p); break; } case 34: { Get(); Node p = new Node(Node.sync, null, 0); g = new Graph(p); break; } default: SynErr(53); break; } }