Package pascal.taie.analysis.pta.plugin.util

Class SolverHolder

java.lang.Object

pascal.taie.analysis.pta.plugin.util.SolverHolder

Direct Known Subclasses:

AbstractIRModel, AbstractModel

public abstract class SolverHolder
extends Object

Base class for the objects that holds a Solver. It also stores various objects obtained from the Solver, so that its subclasses can directly access these objects.

Field Summary

Fields

Modifier and Type	Field	Description
protected final CSManager	csManager
protected final Context	emptyContext
protected final HeapModel	heapModel
protected final ClassHierarchy	hierarchy
protected final ContextSelector	selector
protected final Solver	solver
protected final TypeSystem	typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	SolverHolder(Solver solver)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

solver

protected final Solver solver

hierarchy

protected final ClassHierarchy hierarchy

typeSystem

protected final TypeSystem typeSystem

selector

protected final ContextSelector selector

emptyContext

protected final Context emptyContext

csManager

protected final CSManager csManager

heapModel

protected final HeapModel heapModel

Constructor Details

SolverHolder

protected SolverHolder(Solver solver)