/* verifier.h
   Copyright (C) 2005 Free Software Foundation, Inc.

This file is part of Mysaifu JVM

Mysaifu JVM is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; version 2 of the License.

Mysaifu JVM is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
General Public License for more details.

You should have received a copy of the GNU General Public License
along with GNU Classpath; see the file COPYING.  If not, write to the
Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
02111-1307 USA.
*/

#ifndef VERIFIER_H_INCLUDED
#define VERIFIER_H_INCLUDED

#include "frame.h"
#include "ClassFile.h"

/**
 * Verify pass 2
 */
bool verify_pass2(frame* current_frame,
				  ClassFile* cfile,
				  ClassFile* superclass_cfile,
				  ClassFile** interfaces_classfiles);


/**
 * Verify pass 3 (Bytecode verifier)
 */
bool verify_pass3(frame* current_frame,
				  ClassFile* cfile);

#endif


