verifier.h

This is a java virtual machine implement in c

/*0001*//*
/*0002./ * Copyright (c) 1998-2001 Sun Microsystems, Inc. All Rights Reserved.
/*0003./ * 
/*0004./ * This software is the confidential and proprietary information of Sun
/*0005./ * Microsystems, Inc. ("Confidential Information").  You shall not
/*0006./ * disclose such Confidential Information and shall use it only in
/*0007./ * accordance with the terms of the license agreement you entered into
/*0008./ * with Sun.
/*0009./ * 
/*0010./ * SUN MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE SUITABILITY OF THE
/*0011./ * SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE
/*0012./ * IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR
/*0013./ * PURPOSE, OR NON-INFRINGEMENT. SUN SHALL NOT BE LIABLE FOR ANY DAMAGES
/*0014./ * SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING OR DISTRIBUTING
/*0015./ * THIS SOFTWARE OR ITS DERIVATIVES.
/*0016./ * 
/*0017./ */
/*0018*/
/*0019*//*=========================================================================
/*0020./ * SYSTEM:    KVM
/*0021./ * SUBSYSTEM: Class file verifier (runtime part)
/*0022./ * FILE:      verifier.h
/*0023./ * OVERVIEW:  KVM has a new, two-phase class file verifier.  In order
/*0024./ *            to run in KVM, class files must first be processed with
/*0025./ *            a special "pre-verifier" tool. This phase is typically
/*0026./ *            done on the development workstation.  During execution,
/*0027./ *            the runtime verifier (defined in this file) of the KVM
/*0028./ *            performs the actual class file verification based on 
/*0029./ *            both runtime information and pre-verification information.
/*0030./ * AUTHOR:    Sheng Liang
/*0031./ *=======================================================================*/
/*0032*/
/*0033*//*=========================================================================
/*0034./ * Include files
/*0035./ *=======================================================================*/
/*0036*/
/*0037*//*=========================================================================
/*0038./ * Functions
/*0039./ *=======================================================================*/
/*0040*/
/*0041*/void InitializeVerifier(void);
/*0042*/int verifyClass(INSTANCE_CLASS c);
/*0043*/
/*0044*/#if CACHE_VERIFICATION_RESULT
/*0045*/    bool_t checkVerifiedClassList(INSTANCE_CLASS);
/*0046*/    void appendVerifiedClassList(INSTANCE_CLASS);
/*0047*/#else 
/*0048*/#   define checkVerifiedClassList(class) FALSE
/*0049*/#   define appendVerifiedClassList(class)
/*0050*/#endif