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

Class AbstractModel

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AbstractModel

All Implemented Interfaces:

Model

@Deprecated
public abstract class AbstractModel
extends SolverHolder
implements Model

Deprecated.

Use AnalysisModelPlugin instead.

Provides common functionalities for implementing API models.

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>>	handlers	Deprecated.
protected final Map<JMethod,int[]>	relevantVarIndexes	Deprecated.
protected final MultiMap<Var,Invoke>	relevantVars	Deprecated.

Fields inherited from class pascal.taie.analysis.pta.plugin.util.SolverHolder

csManager, emptyContext, heapModel, hierarchy, selector, solver, typeSystem

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	AbstractModel(Solver solver)	Deprecated.

Method Summary

Modifier and Type	Method	Description
protected List<PointsToSet>	getArgs(CSVar csVar, PointsToSet pts, Invoke invoke, int... indexes)	Deprecated. For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 ≤ i ≤ n) changes, this convenient method returns points-to sets relevant arguments.
void	handleNewInvoke(Invoke invoke)	Deprecated.
void	handleNewPointsToSet(CSVar csVar, PointsToSet pts)	Deprecated.
boolean	isRelevantVar(Var var)	Deprecated.
protected void	registerAPIHandler(JMethod api, TriConsumer<CSVar,PointsToSet,Invoke> handler)	Deprecated.
protected void	registerRelevantVarIndexes(JMethod api, int... indexes)	Deprecated.
protected void	registerVarAndHandlers()	Deprecated.

Methods inherited from class java.lang.Object

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

Field Details

relevantVarIndexes

protected final Map<JMethod,int[]> relevantVarIndexes

Deprecated.

relevantVars

protected final MultiMap<Var,Invoke> relevantVars

Deprecated.

handlers

protected final Map<JMethod,TriConsumer<CSVar,PointsToSet,Invoke>> handlers

Deprecated.

Constructor Details

AbstractModel

protected AbstractModel(Solver solver)

Deprecated.

Method Details

registerVarAndHandlers

protected void registerVarAndHandlers()

Deprecated.

registerRelevantVarIndexes

protected void registerRelevantVarIndexes(JMethod api,
 int... indexes)

Deprecated.

registerAPIHandler

protected void registerAPIHandler(JMethod api,
 TriConsumer<CSVar,PointsToSet,Invoke> handler)

Deprecated.

handleNewInvoke

public void handleNewInvoke(Invoke invoke)

Deprecated.

Specified by:

handleNewInvoke in interface Model

isRelevantVar

public boolean isRelevantVar(Var var)

Deprecated.

Specified by:

isRelevantVar in interface Model

handleNewPointsToSet

public void handleNewPointsToSet(CSVar csVar,
 PointsToSet pts)

Deprecated.

Specified by:

handleNewPointsToSet in interface Model

getArgs

protected List<PointsToSet> getArgs(CSVar csVar,
 PointsToSet pts,
 Invoke invoke,
 int... indexes)

Deprecated.

For invocation r = v.foo(a0, a1, ..., an); when points-to set of v or any ai (0 ≤ i ≤ n) changes, this convenient method returns points-to sets relevant arguments. For case v/ai == csVar.getVar(), this method returns pts, otherwise, it just returns current points-to set of v/ai.

Parameters:

csVar - may be v or any ai.

pts - changed part of csVar

invoke - the call site which contain csVar

indexes - indexes of the relevant arguments