Package dk.brics.xact.analysis.xmlgraph

Examples of dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder

193
194
195
196
197
198
199
200
201
202
203
                      if (xg == null) {
                          xg = safeCloneGraph(sharedXg);
                          localXg.set(xg);
                      }
                      g2.setXMLGraph(xg);
                          XMLGraphBuilder b = buildXMLGraphs(g2);    
                          analyzeXMLGraphs(g2, b);
                  } catch (XMLException e) {
                      Origin or = e.getOrigin();
                      errors.error(or, ErrorType.OTHER, e.getMessage());
                      System.out.println("Error: " + e.getMessage() +
View Full Code Here
379
380
381
382
383
384
385
386
387
  /**
   * Builds the XML graphs.
   */
  public XMLGraphBuilder buildXMLGraphs(FlowGraph g) {
    startPhase("Constructing XML graphs...");
    XMLGraphBuilder b = new XMLGraphBuilder(g, config);
    endPhase();
    return b;
  }
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
        TranslationResult result = analysis.buildFlowGraph();

        analysis.transformFlowGraph(result.getGraph());

        final FlowGraph graph = result.getGraph();
        XMLGraphBuilder xmlGraphs = analysis.buildXMLGraphs(graph);

        int counter = 0;
        for (Map.Entry<ValueBox, AnalyzeStm> en : result.getHotspots()
                .entrySet()) {
            ValueBox value = en.getKey();
            AnalyzeStm stm = en.getValue();
            XMLGraph g = xmlGraphs.getIn(stm, stm.getBase());
            List<Automaton> findInputNameValues = findInputNameValues(g);
            for (Automaton automaton : findInputNameValues) {
                System.out.println(automaton.getFiniteStrings());
            }
            SootMethod method = hotspot2method.get(value);
View Full Code Here
98
99
100
101
102
103
104
105
106
107
108
        TranslationResult result = analysis.buildFlowGraph();

        analysis.transformFlowGraph(result.getGraph());

        final FlowGraph graph = result.getGraph();
        XMLGraphBuilder xmlGraphs = analysis.buildXMLGraphs(graph);
        log.info("xact analysis done");

        Map<ChoiceNode, Set<Plugging>> gap2plug = linkGapsToPluggings(
                pluggings, stmt2box, result, xmlGraphs);
View Full Code Here
TOP

Related Classes of dk.brics.xact.analysis.xmlgraph.XMLGraphBuilder

  • dk.brics.jwig.analysis.jaive.FormChecker
  • dk.brics.jwig.analysis.xact.HotspotTest2Analyzer
  • dk.brics.xact.analysis.flowgraph.statements.BasicStatementVisitor
  • dk.brics.xact.analysis.flowgraph.TemplateConstant
  • dk.brics.xact.analysis.XMLAnalysis
  • dk.brics.xmlgraph.AttributeNode
  • dk.brics.xmlgraph.ChoiceNode
  • dk.brics.xmlgraph.ElementNode
  • dk.brics.xmlgraph.Node
  • dk.brics.xmlgraph.OneOrMoreNode
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.