pushId property

int pushId
getter/setter pair

Push id.

Implementation

int pushId = 0;