Class ThreadHandlerImplementationMarker
java.lang.Object
org.ek9lang.compiler.phase5.ThreadHandlerImplementationMarker
Every user implementation of a handler type a thread-spawning call takes (
TCPHandler, the ready handlers,
SignalHandler - IsThreadSpawningCall.handlerTypes()) is a concurrent entry point and a published
handler, wherever it is written and however it reaches the call (review 2026-11-02, H2). Phase 3 marks the handler
at a call it can see (tcpServer.accept(handler)); a handler that arrives through a parameter, a field or a
call result typed TCPHandler names only the core abstract type there, which is no callable, so neither
E08251 nor the registered-type fact ever reached its body or its captures. Fail closed: a handler of one of these
types exists to be run by the runtime on its threads, so every one is marked - on the user's own symbol, never a core
one. Run before the concurrent-entry-point propagation.-
Constructor Summary
ConstructorsConstructorDescriptionThreadHandlerImplementationMarker(ConcreteSubtypeFinder subtypeFinder, IsThreadSpawningCall isThreadSpawningCall) -
Method Summary
-
Constructor Details
-
ThreadHandlerImplementationMarker
ThreadHandlerImplementationMarker(ConcreteSubtypeFinder subtypeFinder, IsThreadSpawningCall isThreadSpawningCall)
-
-
Method Details
-
mark
void mark()
-