Class PromotionOperator

java.lang.Object

org.ek9lang.compiler.support.PromotionOperator

All Implemented Interfaces:

Function<ISymbol, Optional<ISymbol>>

public final class PromotionOperator
extends Object
implements Function<ISymbol, Optional<ISymbol>>

The #^ operator itself that this 'from' type promotes through, or empty if it has none - for a caller that must read the operator, not only its type (what its RETAINS say it does with the object it is called on: the closeable ownership decision, where an argument reaching a callee as its promotion is not the argument itself). PromotionTarget is this operator's return type. A type may declare at most one promotion.

Was TypeCoercions.promotionOperator (no-statics lane S3, 2026-10-29).

Constructor Summary

Constructors

Constructor	Description
PromotionOperator()

Method Summary

Modifier and Type	Method	Description
Optional<ISymbol>	apply(ISymbol from)

Methods inherited from class Object

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

Methods inherited from interface Function

andThen, compose

Constructor Details

PromotionOperator

public PromotionOperator()

Method Details

apply

public Optional<ISymbol> apply(ISymbol from)

Specified by:

apply in interface Function<ISymbol, Optional<ISymbol>>