Class IsThreadSpawningCall
java.lang.Object
org.ek9lang.compiler.support.IsThreadSpawningCall
- All Implemented Interfaces:
Predicate<CallSymbol>
Predicate that returns true iff the call's resolved target is a stdlib method
which invokes its function/handler argument on a different thread than the
caller. The recognised sites are:
TCP.accept(handler)— TCP server accept loop runs the handler per-connectionSignals.register(...)— signal dispatcher invokes the handler from the dispatch thread
Used by the slice-1 CONCURRENT_ENTRY_POINT marker — the function passed as
argument to such a call gets marked so the phase-5 data-race check (E08251) knows
to walk its body.
-
Constructor Details
-
IsThreadSpawningCall
-
-
Method Details
-
test
- Specified by:
testin interfacePredicate<CallSymbol>
-