JanosVM v1.0 API

java.lang.isolate
Class Assert

java.lang.Object
  |
  +--java.lang.isolate.Assert

class Assert
extends java.lang.Object


Inner Class Summary
(package private) static class Assert.Error
           
 
Constructor Summary
(package private) Assert()
           
 
Method Summary
(package private) static void ensure(boolean test)
           
(package private) static void ensure(boolean test, java.lang.String msg)
           
(package private) static void require(boolean test)
           
(package private) static void require(boolean test, java.lang.String msg)
           
(package private) static void requireLock(java.lang.Object obj)
           
(package private) static void requireLock(java.lang.Object obj, java.lang.String msg)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait, wait0
 

Constructor Detail

Assert

Assert()
Method Detail

requireLock

static void requireLock(java.lang.Object obj)

requireLock

static void requireLock(java.lang.Object obj,
                        java.lang.String msg)

require

static void require(boolean test)

require

static void require(boolean test,
                    java.lang.String msg)

ensure

static void ensure(boolean test)

ensure

static void ensure(boolean test,
                   java.lang.String msg)

JanosVM v1.0 API

This documentation is Copyright (C) 2000-2003 The University of Utah. All Rights Reserved. See the documentation license for distribution terms and restrictions.
Documentation, software, and mailing lists for the JanosVM can be found at the Janos Project web page: http://www.cs.utah.edu/flux/janos/
Generated on Feb 13, 2003