// **********************************************************************
//
// Copyright (c) 2003-2006 ZeroC, Inc. All rights reserved.
//
// This copy of Ice is licensed to you under the terms described in the
// ICE_LICENSE file included in this distribution.
//
// **********************************************************************

package IceUtil;

public final class Assert
{
    //
    // The JVM ignores exceptions raised in finalizers, therefore finalizers
    // that use assertions should call this method instead of assert().
    //
    public static void
    FinalizerAssert(boolean b)
    {
	if(!b)
	{
	    //
	    // Create a Throwable to obtain the stack trace.
	    //
	    Throwable t = new Throwable();
	    StackTraceElement[] trace = t.getStackTrace();
	    if(trace.length > 1)
	    {
		//
		// Skip the first frame, which represents this method.
		//
		System.err.println("Assertion failure:");
		for(int i = 1; i < trace.length; ++i)
		{
		    System.err.println("\tat " + trace[i]);
		}
	    }
	    else
	    {
		System.err.println("Assertion failure (no stack trace information)");
	    }
	}
    }
}