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(org.sonar.java.se.SymbolicExecutionVisitor.BehaviorCache behaviorCache)

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(org.sonar.java.se.SymbolicExecutionVisitor.BehaviorCache behaviorCache)