aglinxinyuan opened a new issue, #4913:
URL: https://github.com/apache/texera/issues/4913

   `PauseType` 
(amber/src/main/scala/org/apache/texera/amber/engine/architecture/worker/PauseType.scala)
 is a small sealed trait with three singleton pause kinds (`UserPause`, 
`BackpressurePause`, `OperatorLogicPause`) and one case-class subtype 
`ECMPause(id: EmbeddedControlMessageIdentity)` used by the worker pause 
subsystem. It has no test coverage today.
   
   Add a `PauseTypeSpec` that pins:
   - The three pause singletons all extend `PauseType`, are object-identity 
stable, and compare unequal to each other (widened to `PauseType` to defeat 
compile-time constant folding).
   - `ECMPause` carries the id it was constructed with, supports case-class 
value equality + hashCode, and is distinct from every singleton PauseType.
   - Exhaustive `match` over `PauseType` distinguishes each subtype, and 
ECMPause's id destructures via match.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: [email protected]

For queries about this service, please contact Infrastructure at:
[email protected]

Reply via email to