/*
 * Copyright 2009 The Closure Compiler Authors.
 *
 * 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.javascript.jscomp;

import static com.google.common.truth.Truth.assertThat;
import static com.google.common.truth.Truth.assertWithMessage;

import com.google.javascript.jscomp.AbstractCompiler.LifeCycleStage;
import com.google.javascript.rhino.Node;
import com.google.javascript.rhino.Token;
import org.junit.Before;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.JUnit4;

/** @author nicksantos@google.com (Nick Santos) */
@RunWith(JUnit4.class)
public final class ValidityCheckTest extends CompilerTestCase {

  private CompilerPass otherPass = null;

  @Before
  @Override
  public void setUp() throws Exception {
    super.setUp();
    otherPass = null;
  }

  @Override protected CompilerPass getProcessor(final Compiler compiler) {
    return new CompilerPass() {
      @Override public void process(Node externs, Node root) {
        otherPass.process(externs, root);
        (new ValidityCheck(compiler)).process(externs, root);
      }
    };
  }

  @Test
  public void testUnnormalizeNodeTypes() {
    otherPass = new CompilerPass() {
      @Override public void process(Node externs, Node root) {
        AbstractCompiler compiler = getLastCompiler();
        Node script = root.getFirstChild();
        root.getFirstChild().addChildToBack(
              new Node(Token.IF, new Node(Token.TRUE), new Node(Token.EMPTY)));
        compiler.reportChangeToEnclosingScope(script);
      }
    };

    try {
      test("var x = 3;", "var x=3;0;0");
      assertWithMessage("Expected IllegalStateException").fail();
    } catch (IllegalStateException e) {
      assertThat(e).hasMessageThat().contains("Expected BLOCK but was EMPTY");
    }
  }

  @Test
  public void testUnnormalized() {
    otherPass = new CompilerPass() {
      @Override public void process(Node externs, Node root) {
        getLastCompiler().setLifeCycleStage(LifeCycleStage.NORMALIZED);
      }
    };

    try {
      testSame("while(1){}");
      assertWithMessage("Expected RuntimeException").fail();
    } catch (RuntimeException e) {
      assertThat(e).hasMessageThat().contains("Normalize constraints violated:\nWHILE node");
    }
  }

  @Test
  public void testConstantAnnotationMismatch() {
    otherPass = new CompilerPass() {
      @Override public void process(Node externs, Node root) {
        AbstractCompiler compiler = getLastCompiler();
        Node script = root.getFirstChild();
        Node name = Node.newString(Token.NAME, "x");
        name.putBooleanProp(Node.IS_CONSTANT_NAME, true);
        script.addChildToBack(new Node(Token.EXPR_RESULT, name));
        compiler.reportChangeToEnclosingScope(script);
        compiler.setLifeCycleStage(LifeCycleStage.NORMALIZED);
      }
    };

    try {
      test("var x;", "var x; x;");
      assertWithMessage("Expected RuntimeException").fail();
    } catch (RuntimeException e) {
      assertThat(e)
          .hasMessageThat()
          .contains("The name x is not consistently annotated as constant.");
    }
  }
}