/*
 *  This file is part of the Jikes RVM project (http://jikesrvm.org).
 *
 *  This file is licensed to You under the Eclipse Public License (EPL);
 *  You may not use this file except in compliance with the License. You
 *  may obtain a copy of the License at
 *
 *      http://www.opensource.org/licenses/eclipse-1.0.php
 *
 *  See the COPYRIGHT.txt file distributed with this work for information
 *  regarding copyright ownership.
 */
package org.mmtk.harness.vm;

import org.vmmagic.pragma.Uninterruptible;

/**
 * MMTk Harness implementation of Assert
 */
@Uninterruptible
public class Assert extends org.mmtk.vm.Assert {

  /**
   * Used from within the interface to indicate features that are not implemented yet.
   */
  public static void notImplemented() {
    throw new RuntimeException("Not Implemented");
  }

  /**
   * Logs a message and traceback, then exits.
   *
   * @param message the string to log
   */
  @Override
  public void fail(String message) {
    throw new RuntimeException("Assertion Failed: " + message);
  }

  /**
   * Checks that the given condition is true.  If it is not, this
   * method does a traceback and exits.  All calls to this method
   * must be guarded by <code>VM.VERIFY_ASSERTIONS</code>.
   *
   * @param cond the condition to be checked
   */
  @Override
  public void _assert(boolean cond) {
    if (!cond) fail("");
  }

  /**
   * Checks that the given condition is true.  If it is not, this
   * method prints a message, does a traceback and exits. All calls
   * to this method must be guarded by <code>VM.VERIFY_ASSERTIONS</code>.
   *
   * @param cond the condition to be checked
   * @param message the message to print
   */
  @Override
  public void _assert(boolean cond, String message) {
    if (!cond) fail(message);
  }

  /**
   * Print a stack trace
   */
  @Override
  public void dumpStack() {
    new Exception().printStackTrace();
  }

  /**
   * Checks if the virtual machine is running.  This value changes, so
   * the call-through to the VM must be a method.  In Jikes RVM, just
   * returns VM.runningVM.
   *
   * @return <code>true</code> if the virtual machine is running
   */
  @Override
  public boolean runningVM() {
    return true;
  }

  /** @return true if assertions should be verified */
  @Override
  protected boolean getVerifyAssertionsConstant() {
    String value = System.getProperty("org.mmtk.harness.verify.assertions", "true");
    return Boolean.valueOf(value);
  }
}