soot.jimple.toolkits.pointer.nativemethods
Class JavaUtilResourceBundleNative

java.lang.Object
  soot.jimple.toolkits.pointer.nativemethods.NativeMethodClass
      soot.jimple.toolkits.pointer.nativemethods.JavaUtilResourceBundleNative

public class JavaUtilResourceBundleNative
extends NativeMethodClass

Field Summary

Fields inherited from class soot.jimple.toolkits.pointer.nativemethods.NativeMethodClass

helper

Constructor Summary

JavaUtilResourceBundleNative(NativeHelper helper)

Method Summary

void	java_util_ResourceBundle_getClassContext(SootMethod method, ReferenceVariable thisVar, ReferenceVariable returnVar, ReferenceVariable[] params) Undocumented, returns an array of all possible classes.
void	simulateMethod(SootMethod method, ReferenceVariable thisVar, ReferenceVariable returnVar, ReferenceVariable[] params) Implements the abstract method simulateMethod.

Methods inherited from class soot.jimple.toolkits.pointer.nativemethods.NativeMethodClass

defaultMethod

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaUtilResourceBundleNative

public JavaUtilResourceBundleNative(NativeHelper helper)

Method Detail

simulateMethod

public void simulateMethod(SootMethod method,
                           ReferenceVariable thisVar,
                           ReferenceVariable returnVar,
                           ReferenceVariable[] params)

Implements the abstract method simulateMethod. It distributes the request to the corresponding methods by signatures.

Specified by:

simulateMethod in class NativeMethodClass

java_util_ResourceBundle_getClassContext

public void java_util_ResourceBundle_getClassContext(SootMethod method,
                                                     ReferenceVariable thisVar,
                                                     ReferenceVariable returnVar,
                                                     ReferenceVariable[] params)

Undocumented, returns an array of all possible classes. NOTE: @return = new Class[];