soot.jimple.toolkits.pointer.nativemethods
Class JavaIoFileSystemNative

java.lang.Object
  |
  +--soot.jimple.toolkits.pointer.nativemethods.NativeMethodClass
        |
        +--soot.jimple.toolkits.pointer.nativemethods.JavaIoFileSystemNative

public class JavaIoFileSystemNative
extends NativeMethodClass


Constructor Summary
JavaIoFileSystemNative(Singletons.Global g)
           
 
Method Summary
static void java_io_FileSystem_getFileSystem(SootMethod method, ReferenceVariable thisVar, ReferenceVariable returnVar, ReferenceVariable[] params)
          Returns a variable pointing to the file system constant public static native java.io.FileSystem getFileSystem();
 void simulateMethod(SootMethod method, ReferenceVariable thisVar, ReferenceVariable returnVar, ReferenceVariable[] params)
          Implements the abstract method simulateMethod.
static JavaIoFileSystemNative v()
           
 
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

JavaIoFileSystemNative

public JavaIoFileSystemNative(Singletons.Global g)
Method Detail

v

public static JavaIoFileSystemNative v()

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.
Overrides:
simulateMethod in class NativeMethodClass

java_io_FileSystem_getFileSystem

public static void java_io_FileSystem_getFileSystem(SootMethod method,
                                                    ReferenceVariable thisVar,
                                                    ReferenceVariable returnVar,
                                                    ReferenceVariable[] params)
Returns a variable pointing to the file system constant public static native java.io.FileSystem getFileSystem();