1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
package tools.refinery.store.reasoning; public enum MergeResult { UNCHANGED, REFINED, REJECTED; public MergeResult andAlso(MergeResult other) { return switch (this) { case UNCHANGED -> other; case REFINED -> other == REJECTED ? REJECTED : REFINED; case REJECTED -> REJECTED; }; } }