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

Class AbstractIRModel

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AbstractIRModel

All Implemented Interfaces:

IRModel

@Deprecated
public abstract class AbstractIRModel
extends SolverHolder
implements IRModel

Deprecated.

Use IRModelPlugin instead.

Provides common functionalities for implementing IR-based API models.

Field Summary

Fields

Modifier and Type	Field	Description
protected final Map<JMethod,Function<Invoke,Collection<Stmt>>>	handlers	Deprecated.
protected final Map<JMethod,Collection<Stmt>>	method2GenStmts	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	AbstractIRModel(Solver solver)	Deprecated.

Method Summary

Modifier and Type	Method	Description
Set<JMethod>	getModeledAPIs()	Deprecated.
void	handleNewCSMethod(CSMethod csMethod)	Deprecated.
void	handleNewMethod(JMethod method)	Deprecated.
protected void	registerHandler(JMethod api, Function<Invoke,Collection<Stmt>> handler)	Deprecated.
protected void	registerHandlers()	Deprecated.
protected void	registerHandlersByAnnotation()	Deprecated.

Methods inherited from class java.lang.Object

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

Field Details

handlers

protected final Map<JMethod,Function<Invoke,Collection<Stmt>>> handlers

Deprecated.

method2GenStmts

protected final Map<JMethod,Collection<Stmt>> method2GenStmts

Deprecated.

Constructor Details

AbstractIRModel

protected AbstractIRModel(Solver solver)

Deprecated.

Method Details

registerHandlersByAnnotation

protected void registerHandlersByAnnotation()

Deprecated.

registerHandlers

protected void registerHandlers()

Deprecated.

registerHandler

protected void registerHandler(JMethod api,
 Function<Invoke,Collection<Stmt>> handler)

Deprecated.

getModeledAPIs

public Set<JMethod> getModeledAPIs()

Deprecated.

Specified by:

getModeledAPIs in interface IRModel

handleNewMethod

public void handleNewMethod(JMethod method)

Deprecated.

Specified by:

handleNewMethod in interface IRModel

handleNewCSMethod

public void handleNewCSMethod(CSMethod csMethod)

Deprecated.

Specified by:

handleNewCSMethod in interface IRModel