/**

 * Back 2 Browser Bytecode Translator

 * Copyright (C) 2012 Jaroslav Tulach <jaroslav.tulach@apidesign.org>

 *

 * This program is free software: you can redistribute it and/or modify

 * it under the terms of the GNU General Public License as published by

 * the Free Software Foundation, version 2 of the License.

 *

 * This program is distributed in the hope that it will be useful,

 * but WITHOUT ANY WARRANTY; without even the implied warranty of

 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

 * GNU General Public License for more details.

 *

 * You should have received a copy of the GNU General Public License

 * along with this program. Look for COPYING file in the top folder.

 * If not, see http://opensource.org/licenses/GPL-2.0.

 */

package java.lang;

import java.io.BufferedOutputStream;

import java.io.ByteArrayInputStream;

import java.io.IOException;

import java.io.InputStream;

import java.io.OutputStream;

import java.io.PrintStream;

import java.util.Properties;

import org.apidesign.bck2brwsr.core.JavaScriptBody;

/** Poor man's re-implementation of most important System methods.

 *

 * @author Jaroslav Tulach <jtulach@netbeans.org>

 */

public class System {

    private System() {

    }

    public static void arraycopy(Object value, int srcBegin, Object dst, int dstBegin, int count) {

        org.apidesign.bck2brwsr.emul.lang.System.arraycopy(value, srcBegin, dst, dstBegin, count);

    }

    public static long currentTimeMillis() {

        return org.apidesign.bck2brwsr.emul.lang.System.currentTimeMillis();

    }

    public static long nanoTime() {

        return org.apidesign.bck2brwsr.emul.lang.System.nanoTime();

    }

    public static int identityHashCode(Object obj) {

        return Class.defaultHashCode(obj);

    }

    public static String getProperty(String name) {

        if ("os.name".equals(name)) {

            return userAgent();

        }

        return null;

    }

    @JavaScriptBody(args = {}, body = "return (typeof navigator !== 'undefined') ? navigator.userAgent : 'unknown';")

    private static native String userAgent();

    public static String getProperty(String key, String def) {

        return def;

    }

    public static Properties getProperties() {

        throw new SecurityException();

    }

    public static void setProperties(Properties p) {

        throw new SecurityException();

    }

    /**

     * Returns the system-dependent line separator string.  It always

     * returns the same value - the initial value of the {@linkplain

     * #getProperty(String) system property} {@code line.separator}.

     *

     * <p>On UNIX systems, it returns {@code "\n"}; on Microsoft

     * Windows systems it returns {@code "\r\n"}.

     */

    public static String lineSeparator() {

        return "\n";

    }

    @JavaScriptBody(args = { "exitCode" }, body = ""

        + "var xhttp = new XMLHttpRequest();\n"

        + "xhttp.open('GET', '/?exit=' + exitCode, true);\n"

        + "xhttp.send();\n"

        + "window.close();\n"

    )

    public static void exit(int exitCode) {

    }

    public final static InputStream in;

    public final static PrintStream out;

    public final static PrintStream err;

    public static void setOut(PrintStream out) {

        throw new SecurityException();

    }

    public static void setIn(InputStream in) {

        throw new SecurityException();

    }

    public static void setErr(PrintStream err) {

        throw new SecurityException();

    }

    static {

        in = new ByteArrayInputStream(new byte[0]);

        out = new PrintStream(new BufferedOutputStream(new SystemStream("log")));

        err = new PrintStream(new BufferedOutputStream(new SystemStream("warn")));

    }

    private static final class SystemStream extends OutputStream {

        private final String method;

        public SystemStream(String method) {

            this.method = method;

        }

        @Override

        public void write(byte b[], int off, int len) throws IOException {

            write(method, new String(b, off, len, "UTF-8"));

        }

        @JavaScriptBody(args = { "method", "b" }, body = "if (typeof console !== 'undefined') console[method](b.toString());")

        private static native void write(String method, String b);

        @Override

        public void write(int b) throws IOException {

            write(new byte[] { (byte)b });

        }

    } // end of SystemStream

}