/*
 * Copyright 2014 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License"); you may not
 * use this file except in compliance with the License. You may obtain a copy of
 * the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the
 * License for the specific language governing permissions and limitations under
 * the License.
 */
package com.google.gwt.dev.jjs.impl;

import com.google.gwt.core.ext.TreeLogger;
import com.google.gwt.core.ext.UnableToCompleteException;
import com.google.gwt.dev.jjs.ast.JMethod;
import com.google.gwt.dev.jjs.ast.JProgram;

/**
 * Tests for the JsniRestrictionChecker.
 */
public class JsniRestrictionCheckerTest extends OptimizerTestBase {

  public void testInvocationInDevirtualizedTypesSucceeds() throws Exception {
    addSnippetClassDecl(
        "static class Buggy {",
        "  interface IBar {",
        "    void bar();",
        "  }",
        "  static final class Foo ",
        "      extends com.google.gwt.core.client.JavaScriptObject implements IBar {",
        "    protected Foo() { };",
        "    void foo() { };",
        "    public void bar() { };",
        "    static void staticFoo() { };",
        "  }",
        "  native void jsniMethod(Object o) /*-{",
        "    @java.lang.Double::new(D)();",
        "    @java.lang.Boolean::new(Z)();",
        "    new Object().@java.lang.Number::doubleValue()();",
        "    new Object().@java.lang.Double::doubleValue()();",
        "    new Object().@Buggy.Foo::foo()();",
        "    new Object().@Buggy.IBar::bar()();",
        "    @Buggy.Foo::staticFoo()();",
        "  }-*/;",
        "}");
    assertCompileSucceeds("new Buggy().jsniMethod(null);");
  }

  public void testReferenceToDevirtualizedInstanceMethodFails() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = new Object().@java.lang.Double::doubleValue();",
        "  }-*/;",
        "}");

    assertCompileFails("new Buggy().jsniMethod(null);",
        "Line 6: Method 'double Double.doubleValue()' is implemented by devirtualized "
            + "type 'Double' JSO and can only be used in calls within a JSNI method body.");
  }

  public void testReferenceToTrampolineWarns() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = new Object().@java.lang.Number::doubleValue();",
        "    var a = new Object().@java.lang.CharSequence::charAt(I);",
        "    var a = \"Hello\".@java.lang.Object::toString();",
        "  }-*/;",
        "}");

    assertCompileSucceeds("new Buggy().jsniMethod(null);",
        "Line 6: Unsafe reference to method 'double Number.doubleValue()'. "
            + "Instance methods from 'Number' should not be called on Boolean, Double, String, "
            + "Array or JSO instances from  within a JSNI method body.",
        "Line 7: Unsafe reference to method 'char CharSequence.charAt(int)'. Instance methods from"
            + " 'CharSequence' should not be called on Boolean, Double, String, Array or JSO"
            + " instances from  within a JSNI method body.",
        "Line 8: Unsafe reference to method 'String Object.toString()'. Instance methods from "
            + "'Object' should not be called on Boolean, Double, String, Array or JSO instances "
            + "from  within a JSNI method body.");
  }

  public void testStaticJsoDispatchSucceeds() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  static final class Foo extends com.google.gwt.core.client.JavaScriptObject {",
        "    protected Foo() { };",
        "    static void foo() { };",
        "  }",
        "  native void jsniMeth(Object o) /*-{",
        "    @Buggy.Foo::foo()();",
        "  }-*/;",
        "}");

    assertCompileSucceeds("new Buggy().jsniMeth(null);");
  }

  public void testJsoInterfaceDispatchFails() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  interface IFoo {",
        "    void foo();",
        "  }",
        "  static final class Foo extends JavaScriptObject implements IFoo {",
        "    protected Foo() { };",
        "    public void foo() { };",
        "  }",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = new Object().@Buggy.IFoo::foo();",
        "  }-*/;",
        "}");

    assertCompileFails("new Buggy().jsniMethod(null);",
        "Line 13: Method 'void EntryPoint.Buggy.IFoo.foo()' is implemented by a JSO and can only "
            + "be used in calls within a JSNI method body.");
  }

  public void testNonstaticJsoDispatchFails() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = new Object().@com.google.gwt.core.client.JavaScriptObject::toString();",
        "  }-*/;",
        "}");

    assertCompileFails("new Buggy().jsniMethod(null);",
        "Line 6: Method 'String JavaScriptObject.toString()' is implemented by a JSO and can "
            + "only be used in calls within a JSNI method body.");
  }

  public void testNonstaticJsoSubclassDispatchFails() throws Exception {
    addSnippetImport("com.google.gwt.core.client.JavaScriptObject");
    addSnippetClassDecl(
        "static class Buggy {",
        "  static final class Foo extends com.google.gwt.core.client.JavaScriptObject {",
        "    protected Foo() { };",
        "    void foo() { };",
        "  }",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = new Object().@Buggy.Foo::foo();",
        "  }-*/;",
        "}");

    assertCompileFails("new Buggy().jsniMethod(null);",
        "Line 10: Method 'void EntryPoint.Buggy.Foo.foo()' is implemented by a JSO and can "
            + "only be used in calls within a JSNI method body.");
  }

  public void testStringInstanceMethodCallFail() throws Exception {
    addSnippetClassDecl(
        "static class Buggy {",
        "  static String foo;",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = \"Hello\".@java.lang.String::length();",
        "  }-*/;",
        "}");

    assertCompileFails("new Buggy().jsniMethod(null);",
        "Line 6: Method 'int String.length()' is implemented by devirtualized type 'String' "
            + "JSO and can only be used in calls within a JSNI method body.");
  }

  public void testStringStaticMethodCallSucceeds() throws Exception {
    addSnippetClassDecl(
        "static class Buggy {",
        "  static String foo;",
        "  native void jsniMethod(Object o) /*-{",
        "    var a = @java.lang.String::valueOf(Z);",
        "  }-*/;",
        "}");

    assertCompileSucceeds("new Buggy().jsniMethod(null);");
  }

  @Override
  protected boolean doOptimizeMethod(TreeLogger logger, JProgram program, JMethod method)
      throws UnableToCompleteException {
    JsniRestrictionChecker.exec(logger, program);
    return false;
  }
}