* src/vm/jit/verify/typecheck-common.c: Made debugging and statistics
[cacao.git] / src / vm / access.h
index 7eadfc2310b36a2b99ef5a0845eaba96fb6b2a5e..61e47ee8847a46dc5393c3013e04423767ca675f 100644 (file)
@@ -1,9 +1,9 @@
 /* src/vm/access.h - checking access rights
 
-   Copyright (C) 1996-2005 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
+   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.
 
 
    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: Edwin Steiner
 
    Changes:
 
-   $Id: access.h 2181 2005-04-01 16:53:33Z edwin $
+   $Id: access.h 5223 2006-08-08 16:21:22Z edwin $
 
 */
 
 #ifndef _ACCESS_H
 #define _ACCESS_H
 
-#include "vm/references.h"
+#include "vm/types.h"
 
+#include "vm/references.h"
+#include "vm/class.h"
 
 /* macros *********************************************************************/
 
                        ((a)->classloader == (b)->classloader &&       \
                         (a)->packagename == (b)->packagename)
 
+
 /* function prototypes ********************************************************/
 
-/* is_accessible_class *********************************************************
-   Check if a class is accessible from another class
-  
-   IN:
-       referer..........the class containing the reference
-       cls..............the result of resolving the reference
-  
-   RETURN VALUE:
-       true.............access permitted
-       false............access denied
-   
-   NOTE:
-       This function performs the checks listed in section 5.4.4.
-          "Access Control" of "The Java(TM) Virtual Machine Specification,
-          Second Edition".
-
-*******************************************************************************/
-
-bool
-is_accessible_class(classinfo *referer,classinfo *cls);
-
-/* is_accessible_member ********************************************************
-   Check if a field or method is accessible from a given class
-  
-   IN:
-       referer..........the class containing the reference
-       cls..............the class declaring the member
-       memberflags......the access flags of the member
-  
-   RETURN VALUE:
-       true.............access permitted
-       false............access denied
-
-   NOTE:
-       This function only performs the checks listed in section 5.4.4.
-          "Access Control" of "The Java(TM) Virtual Machine Specification,
-          Second Edition".
-
-          In particular a special condition for protected access with is
-          part of the verification process according to the spec is not
-          checked in this function.
-   
-*******************************************************************************/
-
-bool
-is_accessible_member(classinfo *referer,classinfo *declarer,s4 memberflags);
+bool access_is_accessible_class(classinfo *referer, classinfo *cls);
+
+bool access_is_accessible_member(classinfo *referer, classinfo *declarer,
+                                                                s4 memberflags);
+
+bool access_check_caller(classinfo *declarer, s4 memberflags, s4 calldepth);
 
 #endif /* _ACCESS_H */