home *** CD-ROM | disk | FTP | other *** search
- package java.lang;
-
- import java.io.BufferedInputStream;
- import java.io.BufferedOutputStream;
- import java.io.FileDescriptor;
- import java.io.FileInputStream;
- import java.io.FileOutputStream;
- import java.io.InputStream;
- import java.io.PrintStream;
- import java.util.Properties;
-
- public final class System {
- // $FF: renamed from: in java.io.InputStream
- public static InputStream field_0;
- public static PrintStream out;
- public static PrintStream err;
- private static SecurityManager security;
- private static Properties props;
-
- private System() {
- }
-
- public static void setSecurityManager(SecurityManager s) {
- if (security != null) {
- throw new SecurityException("SecurityManager already set");
- } else {
- security = s;
- }
- }
-
- public static SecurityManager getSecurityManager() {
- return security;
- }
-
- public static native long currentTimeMillis();
-
- public static native void arraycopy(Object var0, int var1, Object var2, int var3, int var4);
-
- private static native Properties initProperties(Properties var0);
-
- public static Properties getProperties() {
- if (props == null) {
- props = initProperties(new Properties());
- }
-
- if (security != null) {
- security.checkPropertiesAccess();
- }
-
- return props;
- }
-
- public static void setProperties(Properties props) {
- if (security != null) {
- security.checkPropertiesAccess();
- }
-
- System.props = props;
- }
-
- public static String getProperty(String key) {
- if (security != null) {
- security.checkPropertyAccess(key);
- }
-
- if (props == null) {
- props = initProperties(new Properties());
- }
-
- return props.getProperty(key);
- }
-
- public static String getProperty(String key, String def) {
- if (security != null) {
- security.checkPropertyAccess(key);
- }
-
- if (props == null) {
- props = initProperties(new Properties());
- }
-
- return props.getProperty(key, def);
- }
-
- public static String getenv(String name) {
- throw new Error("getenv no longer supported, use properties and -D instead: " + name);
- }
-
- public static void exit(int status) {
- Runtime.getRuntime().exit(status);
- }
-
- // $FF: renamed from: gc () void
- public static void method_0() {
- Runtime.getRuntime().gc();
- }
-
- public static void runFinalization() {
- Runtime.getRuntime().runFinalization();
- }
-
- public static void load(String filename) {
- Runtime.getRuntime().load(filename);
- }
-
- public static void loadLibrary(String libname) {
- Runtime.getRuntime().loadLibrary(libname);
- }
-
- static {
- try {
- field_0 = new BufferedInputStream(new FileInputStream(FileDescriptor.in), 128);
- out = new PrintStream(new BufferedOutputStream(new FileOutputStream(FileDescriptor.out), 128), true);
- err = new PrintStream(new BufferedOutputStream(new FileOutputStream(FileDescriptor.err), 128), true);
- } catch (Exception var0) {
- throw new Error("can't initialize stdio");
- }
- }
- }
-