1 // java-interp.h - Header file for the bytecode interpreter. -*- c++ -*-
3 /* Copyright (C) 1999 Cygnus Solutions
5 This file is part of libgcj.
7 This software is copyrighted work licensed under the terms of the
8 Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
11 #ifndef __JAVA_INTERP_H__
12 #define __JAVA_INTERP_H__
15 #include <java-cpool.h>
21 #include <java/lang/Class.h>
22 #include <java/lang/ClassLoader.h>
23 #include <gnu/gcj/runtime/MethodInvocation.h>
29 extern inline jboolean
30 _Jv_IsInterpretedClass (jclass c
)
32 return (c
->loader
!= 0);
35 struct _Jv_ResolvedMethod
;
37 void _Jv_VerifyFieldSignature (_Jv_Utf8Const
*sig
);
38 void _Jv_VerifyMethodSignature (_Jv_Utf8Const
*sig
);
39 void _Jv_VerifyClassName (unsigned char* ptr
, _Jv_ushort length
);
40 void _Jv_VerifyClassName (_Jv_Utf8Const
*name
);
41 void _Jv_VerifyIdentifier (_Jv_Utf8Const
*);
42 bool _Jv_ClassNameSamePackage (_Jv_Utf8Const
*name1
, _Jv_Utf8Const
*name2
);
43 void _Jv_DefineClass (jclass
, jbyteArray
, jint
, jint
);
44 void _Jv_ResolveField (_Jv_Field
*, java::lang::ClassLoader
*);
46 void _Jv_InitField (jobject
, jclass
, int);
47 void * _Jv_AllocMethodInvocation (jsize size
);
49 /* FIXME: this should really be defined in some more generic place */
50 #define ROUND(V, A) (((((unsigned) (V))-1) | ((A)-1))+1)
52 /* the interpreter is written in C++, primarily because it makes it easy for
53 * the entire thing to be "friend" with class Class. */
55 class _Jv_InterpClass
;
56 class _Jv_InterpMethod
;
57 class _Jv_InterpMethodInvocation
;
59 class _Jv_InterpException
{
65 friend class _Jv_ClassReader
;
66 friend class _Jv_InterpMethod
;
69 class _Jv_InterpMethod
{
72 _Jv_ushort max_locals
;
76 _Jv_ushort args_raw_size
;
78 _Jv_InterpClass
*defining_class
;
81 unsigned char* bytecode ()
84 ((unsigned char*)this)
85 + ROUND((sizeof (_Jv_InterpMethod
)
86 + exc_count
*sizeof (_Jv_InterpException
)), 4);
89 _Jv_InterpException
* exceptions ()
91 return (_Jv_InterpException
*) (this+1);
94 static size_t size (int exc_count
, int code_length
)
97 ROUND ((sizeof (_Jv_InterpMethod
)
98 + (exc_count
* sizeof (_Jv_InterpException
))), 4)
102 // return the method's invocation pointer (a stub).
104 void continue1 (_Jv_InterpMethodInvocation
*inv
);
106 static void run_normal (ffi_cif
*, void*, ffi_raw
*, void*);
107 static void run_synch_object (ffi_cif
*, void*, ffi_raw
*, void*);
108 static void run_synch_class (ffi_cif
*, void*, ffi_raw
*, void*);
110 inline jobject
run (ffi_cif
*, void*, ffi_raw
*,
111 _Jv_InterpMethodInvocation
*);
113 bool find_exception (jobject ex
,
114 _Jv_InterpMethodInvocation
*inv
);
117 static void dump_object(jobject o
);
119 friend class _Jv_ClassReader
;
120 friend class _Jv_InterpMethodInvocation
;
121 friend class gnu::gcj::runtime::MethodInvocation
;
123 friend void _Jv_PrepareClass(jclass
);
126 class _Jv_InterpMethodInvocation
{
127 _Jv_InterpMethod
*running
;
132 _Jv_word
* stack_base () { return &state
[0]; }
133 _Jv_word
* local_base () { return &state
[running
->max_stack
]; }
135 friend class _Jv_InterpMethod
;
138 class _Jv_InterpClass
: public java::lang::Class
140 _Jv_InterpMethod
**interpreted_methods
;
141 _Jv_ushort
*field_initializers
;
143 friend class _Jv_ClassReader
;
144 friend class _Jv_InterpMethod
;
145 friend void _Jv_PrepareClass(jclass
);
146 friend void _Jv_InitField (jobject
, jclass
, int);
147 friend void* _Jv_MarkObj (void *, void *, void *, void *);
150 struct _Jv_ResolvedMethod
{
151 jint stack_item_count
;
156 // a resolved method holds the cif in-line, so that _Jv_MarkObj just needs
157 // to mark the resolved method to hold on to the cif. Some memory could be
158 // saved by keeping a cache of cif's, since many will be the same.
160 ffi_type
* arg_types
[0];
163 #endif /* INTERPRETER */
165 #endif /* __JAVA_INTERP_H__ */