/* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* This file is part of SableVM.                             *
* See the file "LICENSE" for Copyright information and the  *
* terms and conditions for copying, distribution and        *
* modification of SableVM.                                  *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */

/*
----------------------------------------------------------------------
m4svm_bytecode_verification
----------------------------------------------------------------------
*/

/*
* This macro can be multi-called.
* m4svm_multicall(m4svm_bytecode_verification)
*/

m4svm_define_begin v = ":], [:m4svm_bytecode_verification:])";

;----------------------------------m4_dnl
-----------------------------------
;bytecode_verification_[::]m4svm_method_name
;----------------------------------m4_dnl
-----------------------------------

.method public static bytecode_verification_[::]m4svm_method_name[::](m4svm_arglist)$4
   .limit stack $2
   .limit locals $3
m4svm_parameters()

   [:m4_ifelse(m4_substr($:][:1, 0, 4), wide, [:wide
   :]m4_substr($:][:1, 5), 
   $1):] $5 m4svm_finalizing_operations
   m4svm_return_type()return

.end method

m4svm_define_end v = ":])";