MergeResult

Possibilities for the result of a merge operation.

Values

ValueMeaning
Success

The merge was performed successfully.

WereAlreadyEqual

Both objects are already equivalent, so nothing was done.

IdClash

ERROR: Both objects were erroneously given the same id, so nothing was done.

Incompatible

ERROR: The objects are not able to be merged (eg. not the same width), so nothing was done.

Meta