X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fvm%2Fjit%2Fverify%2Ftypecheck.h;h=01492ea53e041e4314d43d9caaea139a5b253509;hb=9f859ad50d3d5d98c185d40b86b2179bc4dc9aeb;hp=9dfded64b15c1c1f2441c8deffa43b55dcbe404d;hpb=0d8e71cc1c3dda730c5a907242f452fb73b6c8e9;p=cacao.git

diff --git a/src/vm/jit/verify/typecheck.h b/src/vm/jit/verify/typecheck.h
index 9dfded64b..01492ea53 100644
--- a/src/vm/jit/verify/typecheck.h
+++ b/src/vm/jit/verify/typecheck.h
@@ -1,9 +1,9 @@
-/* jit/typecheck.h - type checking header
+/* src/vm/jit/verify/typecheck.h - type checking header
 
-   Copyright (C) 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
-   R. Grafl, A. Krall, C. Kruegel, C. Oates, R. Obermaisser,
-   M. Probst, S. Ring, E. Steiner, C. Thalinger, D. Thuernbeck,
-   P. Tomsich, J. Wenninger
+   Copyright (C) 1996-2005, 2006 R. Grafl, A. Krall, C. Kruegel,
+   C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
+   E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
+   J. Wenninger, Institut f. Computersprachen - TU Wien
 
    This file is part of CACAO.
 
@@ -19,14 +19,13 @@
 
    You should have received a copy of the GNU General Public License
    along with this program; if not, write to the Free Software
-   Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
-   02111-1307, USA.
+   Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
+   02110-1301, USA.
 
-   Contact: cacao@complang.tuwien.ac.at
+   Contact: cacao@cacaojvm.org
 
    Authors: Christian Thalinger
 
-   $Id: typecheck.h 1079 2004-05-26 09:41:33Z twisti $
 
 */
 
@@ -34,9 +33,18 @@
 #ifndef _TYPECHECK_H
 #define _TYPECHECK_H
 
-/* function prototypes */
+#include "config.h"
 
-methodinfo *typecheck(methodinfo *m);
+#include "vm/global.h"
+#include "vm/jit/jit.h"
+
+
+/* function prototypes ********************************************************/
+
+#if defined(ENABLE_VERIFIER)
+bool typecheck(jitdata *jd);
+bool typecheck_stackbased(jitdata *jd);
+#endif
 
 #endif /* _TYPECHECK_H */