Class NumberLiteralHandler

java.lang.Object
pascal.taie.analysis.pta.plugin.NumberLiteralHandler
All Implemented Interfaces:
Plugin

public class NumberLiteralHandler extends Object implements Plugin
Handles AssignLiteral where the RValue is of NumberLiteral.
  • Constructor Details

    • NumberLiteralHandler

      public NumberLiteralHandler()
  • 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