Class ConcurrentEntryPointMarker

java.lang.Object

org.ek9lang.compiler.common.RuleSupport

org.ek9lang.compiler.common.TypedSymbolAccess

org.ek9lang.compiler.phase3.ConcurrentEntryPointMarker

All Implemented Interfaces:

BiConsumer<CallSymbol, EK9Parser.ParamExpressionContext>

final class ConcurrentEntryPointMarker
extends TypedSymbolAccess
implements BiConsumer<CallSymbol, EK9Parser.ParamExpressionContext>

Sets CONCURRENT_ENTRY_POINT = "TRUE" squirrelled data on function/method symbols passed as the handler argument to stdlib thread-spawning calls (TCP.accept, Signals.register).

The marker is invisible to the user — it's consumed by the phase-5 data-race check (E08251) to know which function bodies to walk.

Part of EK9's compile-time data-race detection (slice 1, step 5).

Field Summary

Fields inherited from class RuleSupport

errorListener, symbolsAndScopes

Constructor Summary

Constructors

Constructor	Description
ConcurrentEntryPointMarker(SymbolsAndScopes symbolsAndScopes, ErrorListener errorListener)

Method Summary

Modifier and Type	Method	Description
void	accept(CallSymbol callSymbol, EK9Parser.ParamExpressionContext paramExpression)

Methods inherited from class TypedSymbolAccess

getRecordedAndTypedSymbol, isProcessingScopePure, recordATypedSymbol

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface BiConsumer

andThen

Constructor Details

ConcurrentEntryPointMarker

ConcurrentEntryPointMarker(SymbolsAndScopes symbolsAndScopes,
 ErrorListener errorListener)

Method Details

accept

public void accept(CallSymbol callSymbol,
 EK9Parser.ParamExpressionContext paramExpression)

Specified by:

accept in interface BiConsumer<CallSymbol, EK9Parser.ParamExpressionContext>