merge method

ProcessResult merge(
  1. ProcessResult other
)

Merges this result with another, preserving the most severe state.

Priority: error > changed > unchanged

Implementation

ProcessResult merge(ProcessResult other) {
  if (this == error || other == error) return error;
  if (this == changed || other == changed) return changed;
  return unchanged;
}