void function ( RandomData arg0 , byte [ ] arg1 , short arg2 , short arg3 ) { arg0 . generateData ( arg1 , arg2 , arg3 ) ; }
portable way to fill a byte array with random data . does randomdata #generatedata generatedata on the card if javacard_applet is defined and java.util.random #nextbytes nextbytes onthe host if javacard_applet is undefined . concode_field_sep PlaceHolder placeHolder concode_field_sep void myassert concode_elem_sep MessageDigest get_message_digest concode_elem_sep byte[] allocate_transient_byte_array concode_elem_sep void begin_transaction concode_elem_sep short length_of_serializable_array concode_elem_sep void array_copy concode_elem_sep RandomData get_new_rand concode_elem_sep void commit_transaction