Examples with DFA org.antlr.analysis.DFA used on opensource projects

Example 1 with DFA

use of org.antlr.analysis.DFA in project antlrworks by antlr.

the class TokensDFA method getDOTString.

@Override
public String getDOTString() throws Exception {
    ANTLRGrammarEngine eg = window.getGrammarEngine().getANTLRGrammarEngine();
    eg.analyze();
    Grammar g = eg.getLexerGrammar();
    if (g == null) {
        throw new Exception("Cannot show tokens DFA because there is no lexer grammar");
    }
    Rule r = g.getRule(Grammar.ARTIFICIAL_TOKENS_RULENAME);
    NFAState s = (NFAState) r.startState.transition(0).target;
    DFA dfa = g.getLookaheadDFA(s.getDecisionNumber());
    DOTGenerator dg = new DOTGenerator(g);
    dg.setArrowheadType("none");
    // Left-to-right
    dg.setRankdir("LR");
    return dg.getDOT(dfa.startState);
}

Example 2 with DFA

use of org.antlr.analysis.DFA in project antlrworks by antlr.

the class DecisionDFAEngine method getDecisionDFAItems.

public List<DecisionDFAItem> getDecisionDFAItems() {
    List<DecisionDFAItem> items = new ArrayList<DecisionDFAItem>();
    for (int lineIndex : decisionDFA.keySet()) {
        for (int columnIndex : decisionDFA.get(lineIndex)) {
            DFA dfa = getDFAAtPosition(lineIndex, columnIndex);
            if (dfa == null) {
                System.err.println("DFA is null for line " + lineIndex + " and column " + columnIndex);
                continue;
            }
            Grammar g = discoveredLexerGrammar;
            if (g != null) {
                Rule r = g.getRule(Grammar.ARTIFICIAL_TOKENS_RULENAME);
                NFAState s = (NFAState) r.startState.transition(0).target;
                if (s == null) {
                    System.err.println("NFAState s is null for rule " + r.name);
                    continue;
                }
                // Ignore tokens DFA
                if (dfa.getDecisionNumber() == s.getDecisionNumber())
                    continue;
            }
            Color c = new Color(0, 128, 64);
            String title = "DFA decision " + dfa.getDecisionNumber();
            String info = "";
            if (usesSemPreds.contains(dfa.getDecisionNumber())) {
                info += "uses semantic predicate";
                c = new Color(255, 220, 0);
            } else if (usesSynPreds.contains(dfa.getDecisionNumber())) {
                info += "uses syntactic predicate";
                c = new Color(255, 220, 0);
            }
            if (dfa.isCyclic()) {
                if (info.length() > 0)
                    info += ", ";
                info += "cyclic";
            }
            if (info.length() > 0)
                info += ", ";
            if (dfa.getNumberOfStates() != 0) {
                info += dfa.getNumberOfStates() + " states";
            } else {
                info += "<=" + dfa.getMaxStateNumber() + " states";
            }
            Point p = window.textEditor.getLineTextPositionsAtLineIndex(lineIndex - 1);
            if (p != null) {
                DecisionDFAItem item = new DecisionDFAItem(window);
                item.setAttributes(null, p.x + columnIndex - 1, p.x + columnIndex, lineIndex - 1, c, title + " (" + info + ")");
                item.shape = ATEOverlayManager.SHAPE_RECT;
                items.add(item);
            }
        }
    }
    return items;
}

Example 3 with DFA

use of org.antlr.analysis.DFA in project antlrworks by antlr.

the class DecisionDFA method getDOTString.

@Override
public String getDOTString() throws Exception {
    DecisionDFAEngine engine = window.decisionDFAEngine;
    Grammar g;
    int adjustedColumn = getDecisionColumn(g = engine.getDiscoveredParserGrammar());
    if (adjustedColumn == -1)
        adjustedColumn = getDecisionColumn(g = engine.getDiscoveredLexerGrammar());
    if (adjustedColumn == -1)
        throw new Exception("No decision in the current line");
    CodeGenerator generator = new CodeGenerator(new Tool(), g, (String) g.getOption("language"));
    DFA dfa = g.getLookaheadDFAFromPositionInFile(line, adjustedColumn);
    decisionNumber = dfa.getDecisionNumber();
    DOTGenerator dg = new DOTGenerator(g);
    g.setCodeGenerator(generator);
    dg.setArrowheadType("none");
    // Left-to-right
    dg.setRankdir("LR");
    return dg.getDOT(dfa.startState);
}