| Token-id is a unique identifier of a particular token. It's not a classical
token, because it doesn't contain the image of the token. The token image is
handled separately in general. The common place where the tokens should be
defined is the appropriate token-context for which they are being created.
The fact that TokenID extends TokenCategory helps to
treat the colorings more easily by working with TokenCategory only
(it can be TokenID too).
author:
Miloslav Metelka
version:
1.00 |