Examples of dk.brics.string.mlfa.MLFA

            log.debug(r.toString() + "Hotspots: " + hs_nt);
        }
        log.info("Converting to MLFA...");


        Grammar2MLFA gm = new Grammar2MLFA(r);
        MLFA mlfa = gm.convert();


        propagateTaint(r);


        for (Node n : nodes) {
            Nonterminal nt = f2g.getNonterminal(n);
            MLFAStatePair sp = gm.getMLFAStatePair(nt);
            if (nt.isTaint()) {
                sp.setTaint(true);
            }
        }
        log.debug(mlfa.toString());


        // Make map
        map = new HashMap<ValueBox, MLFAStatePair>();
        for (ValueBox box : hotspots) {
            Node n = m3.get(m2.get(m1.get(box)));

     * @see #getMLFAStatePair(Nonterminal)
     */
    public MLFA convert() {
        comp = g.getComponents(true);
        nt_states = new MLFAState[g.getNumberOfNonterminals()];
        MLFA mlfa = new MLFA();
        for (Component c : comp.getComponents()) {
            convertComponent(c, mlfa);
        }
        return mlfa;
    }

Related Classes of dk.brics.string.mlfa.MLFA

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.