org.sonar.java.se

Class ExplodedGraphWalker.ExplodedGraphWalkerFactory

java.lang.Object

org.sonar.java.se.ExplodedGraphWalker.ExplodedGraphWalkerFactory

Enclosing class:

ExplodedGraphWalker

public static class ExplodedGraphWalker.ExplodedGraphWalkerFactory
extends Object

This class ensures that the SE checks are placed in the correct order for the ExplodedGraphWalker In addition, checks that are needed for a correct ExplodedGraphWalker processing are provided in all cases.

Constructor Summary

Constructors

Constructor and Description
ExplodedGraphWalkerFactory(List<JavaFileScanner> scanners)

Method Summary

Modifier and Type	Method and Description
ExplodedGraphWalker	createWalker(SymbolicExecutionVisitor symbolicExecutionVisitor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExplodedGraphWalkerFactory

public ExplodedGraphWalkerFactory(List<JavaFileScanner> scanners)

Method Detail

createWalker

public ExplodedGraphWalker createWalker(SymbolicExecutionVisitor symbolicExecutionVisitor)