com.google.javascript.rhino.testing.Asserts Maven / Gradle / Ivy

Go to download
/*
 *
 * ***** BEGIN LICENSE BLOCK *****
 * Version: MPL 1.1/GPL 2.0
 *
 * The contents of this file are subject to the Mozilla Public License Version
 * 1.1 (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.mozilla.org/MPL/
 *
 * Software distributed under the License is distributed on an "AS IS" basis,
 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
 * for the specific language governing rights and limitations under the
 * License.
 *
 * The Original Code is Rhino code, released
 * May 6, 1999.
 *
 * The Initial Developer of the Original Code is
 * Netscape Communications Corporation.
 * Portions created by the Initial Developer are Copyright (C) 1997-1999
 * the Initial Developer. All Rights Reserved.
 *
 * Contributor(s):
 *   Nick Santos
 *   Google Inc.
 *
 * Alternatively, the contents of this file may be used under the terms of
 * the GNU General Public License Version 2 or later (the "GPL"), in which
 * case the provisions of the GPL are applicable instead of those above. If
 * you wish to allow use of your version of this file only under the terms of
 * the GPL and not to allow others to use your version of this file under the
 * MPL, indicate your decision by deleting the provisions above and replacing
 * them with the notice and other provisions required by the GPL. If you do
 * not delete the provisions above, a recipient may use your version of this
 * file under either the MPL or the GPL.
 *
 * ***** END LICENSE BLOCK ***** */

package com.google.javascript.rhino.testing;

import static com.google.common.base.Preconditions.checkNotNull;
import static com.google.common.truth.Truth.assertThat;

import com.google.common.collect.Iterables;
import com.google.javascript.rhino.ErrorReporter;
import com.google.javascript.rhino.jstype.JSType;
import java.util.Iterator;
import org.junit.Assert;

/**
 * Helper methods for making assertions about the validity of types.
 * @author [email protected] (Nick Santos)
 */
public class Asserts {
  private Asserts() {} // all static

  public static JSType assertResolvesToSame(JSType type) {
    Assert.assertSame(type, assertValidResolve(type));
    return type;
  }

  /** @return The resolved type */
  public static JSType assertValidResolve(JSType type) {
    ErrorReporter reporter = TestErrorReporter.forNoExpectedReports();
    JSType resolvedType = type.resolve(reporter);
    assertTypeEquals("JSType#resolve should not affect object equality", type, resolvedType);
    return resolvedType;
  }

  public static void assertTypeNotEquals(JSType a, JSType b) {
    assertTypeNotEquals("", a, b);
  }

  public static void assertTypeNotEquals(String message, JSType a, JSType b) {
    Assert.assertFalse(
        message + (message.isEmpty() ? "" : "\n")
            + " Equals is not symmetric.\n"
            + "Type: " + b + "\n",
        a.isEquivalentTo(b));
    Assert.assertFalse(
        message + (message.isEmpty() ? "" : "\n")
            + " Equals is not symmetric.\n"
            + "Type: " + b + "\n",
        b.isEquivalentTo(a));
  }

  public static void assertTypeEquals(JSType a, JSType b) {
    assertTypeEquals("", a, b);
  }

  public static void assertTypeEquals(String message, JSType a, JSType b) {
    checkNotNull(a);
    checkNotNull(b);
    Assert.assertTrue(
        message + (message.isEmpty() ? "" : "\n")
            + "Expected: " + a + "\n"
            + "Actual  : " + b,
        a.isEquivalentTo(b, true));
    Assert.assertTrue(
        message
            + " Equals is not symmetric.\n"
            + "Expected: " + b + "\n"
            + "Actual  : " + a,
        b.isEquivalentTo(a, true));
  }

  public static  void
      assertTypeCollectionEquals(Iterable a, Iterable b) {
    assertThat(b).hasSize(Iterables.size(a));
    Iterator aIterator = a.iterator();
    Iterator bIterator = b.iterator();
    while (aIterator.hasNext()) {
      assertTypeEquals(aIterator.next(), bIterator.next());
    }
  }

  /**
   * For the given equivalent types, run all type operations that
   * should have trivial solutions (getGreatestSubtype, isEquivalentTo, etc)
   */
  public static void assertEquivalenceOperations(JSType a, JSType b) {
    Assert.assertTrue(a.isEquivalentTo(b));
    Assert.assertTrue(a.isEquivalentTo(a));
    Assert.assertTrue(b.isEquivalentTo(b));
    Assert.assertTrue(b.isEquivalentTo(a));

    Assert.assertTrue(a.isSubtypeOf(b));
    Assert.assertTrue(a.isSubtypeOf(a));
    Assert.assertTrue(b.isSubtypeOf(b));
    Assert.assertTrue(b.isSubtypeOf(a));

    assertTypeEquals(a, a.getGreatestSubtype(b));
    assertTypeEquals(a, a.getGreatestSubtype(a));
    assertTypeEquals(a, b.getGreatestSubtype(b));
    assertTypeEquals(a, b.getGreatestSubtype(a));

    assertTypeEquals(a, a.getLeastSupertype(b));
    assertTypeEquals(a, a.getLeastSupertype(a));
    assertTypeEquals(a, b.getLeastSupertype(b));
    assertTypeEquals(a, b.getLeastSupertype(a));

    Assert.assertTrue(a.canCastTo(b));
    Assert.assertTrue(a.canCastTo(a));
    Assert.assertTrue(b.canCastTo(b));
    Assert.assertTrue(b.canCastTo(a));
  }
}