| EncoderPositionChangeEvent(Phidget source, int index, int time, int value) | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| getIndex() | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| getSource() | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| getTime() | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| getValue() | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| index | com.phidgets.event.EncoderPositionChangeEvent | [package] |
| source | com.phidgets.event.EncoderPositionChangeEvent | [package] |
| time | com.phidgets.event.EncoderPositionChangeEvent | [package] |
| toString() | com.phidgets.event.EncoderPositionChangeEvent | [inline] |
| value | com.phidgets.event.EncoderPositionChangeEvent | [package] |