Package pascal.taie.analysis.pta.plugin.invokedynamic

Class MethodTypeModel

java.lang.Object

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

pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

pascal.taie.analysis.pta.plugin.invokedynamic.MethodTypeModel

All Implemented Interfaces:

Plugin

public class MethodTypeModel
extends AnalysisModelPlugin

Models invocations to MethodType.methodType(*);

Field Summary

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

handlers, relevantVarIndexes, relevantVars

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

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

Fields inherited from interface pascal.taie.analysis.pta.plugin.Plugin

DUMMY

Method Summary

Modifier and Type	Method	Description
void	methodType1Class(Context context, Invoke invoke, PointsToSet clsObjs)
void	methodType2Classes(Context context, Invoke invoke, PointsToSet retObjs, PointsToSet paramObjs)
void	methodTypeClassMT(Context context, Invoke invoke, PointsToSet retObjs, PointsToSet mtObjs)
protected void	registerHandlers()

Methods inherited from class pascal.taie.analysis.pta.plugin.util.AnalysisModelPlugin

onNewPointsToSet, onNewStmt, registerHandler

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.analysis.pta.plugin.Plugin

onFinish, onNewCallEdge, onNewCSMethod, onNewMethod, onPhaseFinish, onStart, onUnresolvedCall, setSolver

Method Details

methodType1Class

@InvokeHandler(signature="<java.lang.invoke.MethodType: java.lang.invoke.MethodType methodType(java.lang.Class)>",
               argIndexes=0)
public void methodType1Class(Context context,
 Invoke invoke,
 PointsToSet clsObjs)

methodType2Classes

@InvokeHandler(signature="<java.lang.invoke.MethodType: java.lang.invoke.MethodType methodType(java.lang.Class,java.lang.Class)>",
               argIndexes={0,1})
public void methodType2Classes(Context context,
 Invoke invoke,
 PointsToSet retObjs,
 PointsToSet paramObjs)

methodTypeClassMT

@InvokeHandler(signature="<java.lang.invoke.MethodType: java.lang.invoke.MethodType methodType(java.lang.Class,java.lang.invoke.MethodType)>",
               argIndexes={0,1})
public void methodTypeClassMT(Context context,
 Invoke invoke,
 PointsToSet retObjs,
 PointsToSet mtObjs)

registerHandlers

protected void registerHandlers()