verifier.h File Reference


Enumerations

enum  vf_Result {
  VF_OK, VF_ErrorUnknown, VF_ErrorInstruction, VF_ErrorConstantPool,
  VF_ErrorLocals, VF_ErrorBranch, VF_ErrorStackOverflow, VF_ErrorStackUnderflow,
  VF_ErrorStackDepth, VF_ErrorCodeEnd, VF_ErrorHandler, VF_ErrorDataFlow,
  VF_ErrorIncompatibleArgument, VF_ErrorLoadClass, VF_ErrorResolve, VF_ErrorJsrRecursive,
  VF_ErrorJsrMultipleRet, VF_ErrorJsrLoadRetAddr, VF_ErrorJsrOther, VF_ClassNotLoaded,
  VF_ErrorInternal, VF_ErrorStackmap, VF_Continue
}
 
Author:
Pavel Rebriy
More...

Functions

vf_Result vf_verify_class (class_handler klass, unsigned verifyAll, char **error)
 Function provides initial verification of class.
vf_Result vf_verify_class_constraints (class_handler klass, unsigned verifyAll, char **error)
 Function provides final constraint checks for a given class.
void vf_release_error_message (void *error)
 Function provides final constraint checks for a given class.
void vf_release_verify_data (void *data)
 Function releases verify data in class loader.


Enumeration Type Documentation

enum vf_Result

Author:
Pavel Rebriy

Version:
Revision
1.1.2.1.4.3
Enumerator:
VF_OK 
VF_ErrorUnknown 
VF_ErrorInstruction 
VF_ErrorConstantPool 
VF_ErrorLocals 
VF_ErrorBranch 
VF_ErrorStackOverflow 
VF_ErrorStackUnderflow 
VF_ErrorStackDepth 
VF_ErrorCodeEnd 
VF_ErrorHandler 
VF_ErrorDataFlow 
VF_ErrorIncompatibleArgument 
VF_ErrorLoadClass 
VF_ErrorResolve 
VF_ErrorJsrRecursive 
VF_ErrorJsrMultipleRet 
VF_ErrorJsrLoadRetAddr 
VF_ErrorJsrOther 
VF_ClassNotLoaded 
VF_ErrorInternal 
VF_ErrorStackmap 
VF_Continue 


Function Documentation

vf_Result vf_verify_class ( class_handler  klass,
unsigned  verifyAll,
char **  error 
)

Function provides initial verification of class.

Parameters:
klass - class handler
verifyAll - if flag is set, verifier provides full verification checks
error - error message of verifier
Returns:
Class verification result.
Note:
Assertion is raised if klass is equal to null.

vf_Result vf_verify_class_constraints ( class_handler  klass,
unsigned  verifyAll,
char **  error 
)

Function provides final constraint checks for a given class.

Parameters:
klass - klass handler
verifyAll - if flag is set, verifier provides full verification checks
error - error message of verifier
Returns:
Class verification result.
Note:
Assertion is raised if klass or error_message are equal to null.

void vf_release_error_message ( void *  error  ) 

Function provides final constraint checks for a given class.

Parameters:
error - error message of verifier
Note:
Assertion is raised if error_message is equal to null.

void vf_release_verify_data ( void *  data  ) 

Function releases verify data in class loader.

Parameters:
data - verify data
Note:
Assertion is raised if data is equal to null.


Genereated on Tue Mar 11 19:25:58 2008 by Doxygen.

(c) Copyright 2005, 2008 The Apache Software Foundation or its licensors, as applicable.