Class ConstrainedConstructionResolver

java.lang.Object
org.ek9lang.compiler.phase5.ConstrainedConstructionResolver
final class ConstrainedConstructionResolver extends Object
THE shared resolver for a constrained-type construction site — a constructor call whose constructed type is a CLASS_CONSTRAINED aggregate carrying a constraint, together with its single base-type argument symbol. Reused by both ConstrainedConstructionOrError (which errors when the value arriving at the constructor provably violates the constraint, E08260) and ObligationCensus (which counts the construction as a CONSTRAINED_CONSTRUCTION obligation, discharged only when the argument is a literal proven inside the interval). Extracted so the two never drift on what "a constrained construction" is.

Returns a ConstrainedConstructionResolver.Site whenever the call is a constrained constructor with a single resolved argument symbol — regardless of whether the argument is a literal; the literal/computed distinction (and the compile-time evaluation) is each consumer's own concern.