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

Field Summary

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

helper

Constructor Summary

Constructors

Constructor and Description
JavaIoFileSystemNative(NativeHelper helper)

Method Summary

Modifier and Type	Method and Description
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.

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(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_io_FileSystem_getFileSystem

public 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();