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

Class Java9StringConcatHandler

java.lang.Object

pascal.taie.analysis.pta.plugin.invokedynamic.Java9StringConcatHandler

All Implemented Interfaces:

Plugin

public class Java9StringConcatHandler
extends Object
implements Plugin

Since Java 9, String concatenation is implemented via invokedynamic. This class handles string concatenation, and see the documentation for details.

Constructor Summary

Constructors

Constructor	Description
Java9StringConcatHandler()

Method Summary

Modifier and Type	Method	Description
void	onNewCSMethod(CSMethod csMethod)	Invoked when a new reachable context-sensitive method is discovered.
void	onNewStmt(Stmt stmt, JMethod container)	Invoked when a new reachable stmt is discovered.
void	setSolver(Solver solver)	Sets pointer analysis solver which will be used later by the plugin.

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, onNewMethod, onNewPointsToSet, onStart, onUnresolvedCall

Constructor Details

Java9StringConcatHandler

public Java9StringConcatHandler()

Method Details

setSolver

public void setSolver(Solver solver)

Description copied from interface: Plugin

Sets pointer analysis solver which will be used later by the plugin.

Specified by:

setSolver in interface Plugin

onNewStmt

public void onNewStmt(Stmt stmt,
 JMethod container)

Description copied from interface: Plugin

Invoked when a new reachable stmt is discovered.

Specified by:

onNewStmt in interface Plugin

Parameters:

stmt - new reachable stmt

container - container method of stmt

onNewCSMethod

public void onNewCSMethod(CSMethod csMethod)

Description copied from interface: Plugin

Invoked when a new reachable context-sensitive method is discovered.

Specified by:

onNewCSMethod in interface Plugin

Parameters:

csMethod - new reachable context-sensitive method