Examples of DepthFirstSearch

aima.core.search.uninformed.DepthFirstSearch
Artificial Intelligence A Modern Approach (3rd Edition): page 85.

Depth-first search always expands the deepest node in the current frontier of the search tree.

Note: Supports both Tree and Graph based versions by assigning an instance of TreeSearch or GraphSearch to its constructor. @author Ravi Mohan
edu.umd.cs.findbugs.ba.DepthFirstSearch
Algorithm to perform a depth first search on a CFG. @see CFG @author David Hovemeyer
org.dbunit.util.search.DepthFirstSearch
Search using depth-first algorithm.

An instance of this class must be used only once, as it maintains the internal state of the search.

@author gommma (gommma AT users.sourceforge.net) @author Last changed by: $Author: gommma $ @version $Revision: 843 $ $Date: 2008-10-26 12:06:28 +0100 (dom, 26 ott 2008) $ @since 2.4.0
org.encog.ml.graph.search.DepthFirstSearch

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        if (methodGen == null) {
            throw new MethodUnprofitableException(descriptor);
        }
        CFG cfg = getCFG(analysisCache, descriptor);
        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        AssertionMethods assertionMethods = getAssertionMethods(analysisCache, descriptor.getClassDescriptor());
        TypeDataflow typeDataflow = getTypeDataflow(analysisCache, descriptor);


        IsNullValueAnalysis invAnalysis = new IsNullValueAnalysis(descriptor, methodGen, cfg, vnaDataflow, typeDataflow, dfs,
                assertionMethods);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public BlockTypeDataflow analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        BlockTypeAnalysis analysis = new BlockTypeAnalysis(dfs);
        BlockTypeDataflow dataflow = new BlockTypeDataflow(cfg, analysis);
        dataflow.execute();
        return dataflow;
    }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        MethodGen methodGen = getMethodGen(analysisCache, descriptor);
        if (methodGen == null) {
            throw new MethodUnprofitableException(descriptor);
        }
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        ExceptionSetFactory exceptionSetFactory = getExceptionSetFactory(analysisCache, descriptor);
        Method method = getMethod(analysisCache, descriptor);


        TypeAnalysis typeAnalysis = new TypeAnalysis(method, methodGen, cfg, dfs, AnalysisContext.currentAnalysisContext()
                .getLookupFailureCallback(), exceptionSetFactory);

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        MethodGen methodGen = getMethodGen(analysisCache, descriptor);
        if (methodGen == null) {
            throw new MethodUnprofitableException(descriptor);
        }
        ValueNumberDataflow vnaDataflow = getValueNumberDataflow(analysisCache, descriptor);
        DepthFirstSearch dfs = getDepthFirstSearch(analysisCache, descriptor);
        CFG cfg = getCFG(analysisCache, descriptor);


        LockAnalysis analysis = new LockAnalysis(methodGen, vnaDataflow, dfs);
        LockDataflow dataflow = new LockDataflow(cfg, analysis);
        dataflow.execute();

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

     * .classfile.IAnalysisCache, java.lang.Object)
     */
    @Override
    public DepthFirstSearch analyze(IAnalysisCache analysisCache, MethodDescriptor descriptor) throws CheckedAnalysisException {
        CFG cfg = getCFG(analysisCache, descriptor);
        DepthFirstSearch dfs = new DepthFirstSearch(cfg);
        dfs.search();
        return dfs;
    }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        DataflowResult<DataflowType> result = new DataflowResult<DataflowType>();


        try {
            IAnalysisCache analysisCache = Global.getAnalysisCache();


            DepthFirstSearch dfs = analysisCache.getMethodAnalysis(DepthFirstSearch.class, methodDescriptor);
            XMethod xmethod = XFactory.createXMethod(methodDescriptor);
            CFG cfg = analysisCache.getMethodAnalysis(CFG.class, methodDescriptor);
            ValueNumberDataflow vnaDataflow = analysisCache.getMethodAnalysis(ValueNumberDataflow.class, methodDescriptor);
            ConstantPoolGen cpg = analysisCache.getClassAnalysis(ConstantPoolGen.class, methodDescriptor.getClassDescriptor());

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        if (methodGen == null) {
            return;
        }
        try {
            CFG cfg = classContext.getCFG(method);
            DepthFirstSearch dfs = classContext.getDepthFirstSearch(method);


            if (DEBUG) {
                System.out.println(SignatureConverter.convertMethodSignature(methodGen));
            }

View Full Code Here

Examples of edu.umd.cs.findbugs.ba.DepthFirstSearch

        LinkedList<WarningWithProperties> stringComparisonList = new LinkedList<WarningWithProperties>();




        comparedForEqualityInThisMethod = new HashMap<String,Integer>();
        CFG cfg = classContext.getCFG(method);
        DepthFirstSearch dfs = classContext.getDepthFirstSearch(method);
        ExceptionSetFactory exceptionSetFactory = classContext.getExceptionSetFactory(method);


        // Perform type analysis using our special type merger
        // (which handles String types specially, keeping track of
        // which ones appear to be dynamically created)

View Full Code Here

Examples of org.dbunit.util.search.DepthFirstSearch

    throws SearchException 
    {
        logger.debug("getDependentTables(connection={}, rootTables={}) - start", connection, rootTables);


        ImportedKeysSearchCallback callback = new ImportedKeysSearchCallback(connection);
        DepthFirstSearch search = new DepthFirstSearch();
        Set tables = search.search( rootTables, callback );
        return CollectionsHelper.setToStrings( tables );
    }

View Full Code Here

Examples of org.dbunit.util.search.DepthFirstSearch

    throws SearchException 
    {
        logger.debug("getDependsOnTables(connection={}, rootTable={}) - start", connection, rootTable);


        ExportedKeysSearchCallback callback = new ExportedKeysSearchCallback(connection);
        DepthFirstSearch search = new DepthFirstSearch();
        Set tables = search.search( new String[]{rootTable}, callback );
        return CollectionsHelper.setToStrings( tables );
    }

View Full Code Here

0 1 2

TOP

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.