D.4.2.3 The valueMapEntry Element

valueMapEntry :from :to => EMPTY

A valueMapEntry element defines a mapping from one or more values of a source expression to a target value. (In the corpus, the source expression is always just the name of a variable.) Each target value requires a separate valueMapEntry. If multiple source values map to the same target value, they can be combined or separate.

In the corpus, all of the source and target values are integers.

valueMapEntry has the following attributes.

Attribute: from ¶

A source value, or multiple source values separated by semicolons, e.g. 0 or 13;14;15;16.

Attribute: to ¶

The target value, e.g. 0.