/*
 * Copyright 2015 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.dev.jjs.ast.JMethod;
import com.google.gwt.dev.jjs.ast.JProgram;

/**
 * Test for {@link ArrayNormalizer}.
 */
public class ArrayNormalizerTest extends OptimizerTestBase {
  // TODO(rluble): add unit test for the rest of the functionality.

  public void testSetCheckElimination_finalTypeArray() throws Exception {
    addSnippetClassDecl("final static class A {String name; public void set() { name = \"A\";} }");

    Result result =
        optimize("void", "A[] a = new A[1]; a[1] = new A();");
    result.intoString(
        "EntryPoint$A[] a = Array.initUnidimensionalArray(EntryPoint$A.class, [], "
            + "/* JRuntimeTypeReference */\"test.EntryPoint$A\", 1, 0, 1);",
        "a[1] = new EntryPoint$A();");
  }

  public void testSetCheckPreservation_nonFinalTypeArray() throws Exception {
    addSnippetClassDecl("static class A {String name; public void set() { name = \"A\";} }");
    addSnippetClassDecl("static class B extends A { }");

    Result result =
        optimize("void", "A[] a = new A[1]; a = new B[1]; a[1] = new A();");
    result.intoString(
        "EntryPoint$A[] a = Array.initUnidimensionalArray(EntryPoint$A.class, [], "
            + "/* JRuntimeTypeReference */\"test.EntryPoint$A\", 1, 0, 1);",
        "a = Array.initUnidimensionalArray(EntryPoint$B.class, [], "
            + "/* JRuntimeTypeReference */\"test.EntryPoint$B\", 1, 0, 1);",
        "Array.setCheck(a, 1, new EntryPoint$A());");
  }

  public void testObjectArray() throws Exception {
    optimize("void", "Object[] o = new Object[10];")
        .intoString("Object[] o = Array.initUnidimensionalArray(Object.class, [], "
            + "/* JRuntimeTypeReference */\"java.lang.Object\", 10, "
            + TypeCategory.TYPE_JAVA_LANG_OBJECT.ordinal() + ", 1);");
    optimize("void", "Object[] o = {null, null, Object.class};")
        .intoString("Object[] o = Array.stampJavaTypeInfo("
            + "Array.getClassLiteralForArray(ClassLiteralHolder.Ljava_lang_Object_2_classLit, 1), "
            + "[], /* JRuntimeTypeReference */\"java.lang.Object\", "
            + TypeCategory.TYPE_JAVA_LANG_OBJECT.ordinal() + ", [null, null, Object.class]);");
    optimize("void", "Object[] o = new Object[] {};")
        .intoString("Object[] o = Array.stampJavaTypeInfo(Array.getClassLiteralForArray("
            + "ClassLiteralHolder.Ljava_lang_Object_2_classLit, 1), [], "
            + "/* JRuntimeTypeReference */\"java.lang.Object\", "
            + TypeCategory.TYPE_JAVA_LANG_OBJECT.ordinal() + ", []);");
  }

  public void testNativeJsTypeArray() throws Exception {
    addSnippetImport("jsinterop.annotations.JsType");
    addSnippetClassDecl("@JsType(isNative = true) static class A {public String name; }");
    optimize("void", "A[] a = new A[10];")
        .intoString("EntryPoint$A[] a = Array.newArray(10);");
  }

  @Override
  protected boolean doOptimizeMethod(TreeLogger logger, JProgram program, JMethod method) {
    program.addEntryMethod(findMainMethod(program));
    boolean didChange = true;
    // TODO(jbrosenberg): remove loop when Pruner/CFA interaction is perfect.

    do {
      didChange &= TypeTightener.exec(program, new FullOptimizerContext(program)) > 0;
      didChange &= MethodCallTightener.exec(program, OptimizerContext.NULL_OPTIMIZATION_CONTEXT) > 0;
    } while (didChange);
    ArrayNormalizer.exec(program);
    return true;
  }
}
