messages_received property

  1. @Int()
int messages_received
getter/setter pair

Implementation

@integer_t()
external int messages_received;