verify-uninit.h

linux下建立JAVA虚拟机的源码KAFFE

/*
 * verify-uninit.c
 *
 * Copyright 2004
 *   Kaffe.org contributors. See ChangeLog for details. All rights reserved.
 *
 * See the file "license.terms" for information on usage and redistribution
 * of this file.
 *
 * Interface to the code for handing of uninitialized type in the verifier.
 */

#if !defined(VERIFY_UNINIT_H)
#define VERIFY_UNINIT_H

#include "verify-type.h"
#include "verify-block.h"

/*
 * holds the list of uninitialized items.  that way, if we DUP some uninitialized
 * reference, put it into a local variable, dup it again, etc, all will point to
 * one item in this list, so when we <init> any of those we can init them all! :)
 *
 * doubly linked list to allow for easy removal of types
 */
typedef struct UninitializedType
{
	struct Type type;
	
	struct UninitializedType* prev;
	struct UninitializedType* next;
} UninitializedType;


/*
 * checkUninit()
 *     To be called when dealing with (get/put)field access.  Makes sure that get/putfield and
 *     invoke* instructions have access to the instance fields of the object in question.
 */
extern bool checkUninit(Hjava_lang_Class* this, Type* type);

/*
 * pushUninit()
 *    Adds an unitialized type to the list of uninitialized types.
 *
 *    uninits is the front of the list to be added onto.
 */
extern UninitializedType* pushUninit(UninitializedType* uninits, const Type* type);

/*
 * popUninit()
 *     Pops an uninitialized type off of the operand stack
 */
extern void popUninit(const Method* method, UninitializedType* uninit, BlockInfo* binfo);

/*
 * freeUninits
 *    frees a list of unitialized types
 */

extern void freeUninits(UninitializedType* uninits);

#endif /* !defined(VERIFY_UNINIT_H) */