to property

int to
getter/setter pair

Destination level identifier.

Example:

int to = event.to;
print("Transition entry to: $to");

Implementation

int to;