vio_object property

  1. @UnsignedInt()
int vio_object
getter/setter pair

Implementation

@natural_t()
external int vio_object;