Package org.ek9lang.compiler.support.inputvariety

package org.ek9lang.compiler.support.inputvariety
  • Class
    Description
    BuiltinTypeClassModels
    The built-in-type seed for the input-variation metric's denominator: the TypeClassModel (class count + confidence) for each EK9 built-in.
    ClassConfidence
    How trustworthy a type's value-class set is — the honesty tag for the input-variation metric.
    EquivalenceClassModel
    Derives a type's TypeVariety — its value-class count + confidence — for the input-variation denominator (design §11.1).
    InputVarietyDenominator
    The input-variation figures for one public construct, computed over its flattened leaf dimensions (records decompose to fields; receiver-p0 included) — design §4.1 / §4.6.
    InputVarietyDenominatorCalculator
    Computes a public construct's input-variation InputVarietyDenominator — the pairwise opportunity space of its parameters (design §4.1).
    LeafField
    One field step in a LeafPath — everything a backend needs to load that field from the value on the stack, with no further symbol lookup.
    LeafPath
    One scalar leaf dimension of a callable's input space, together with the field path walked to reach it from the declared parameter (design EK9_INPUT_VARIATION_METRIC_DESIGN.md §4.5/§4.6).
    TypeClassModel
    A type's metric-side model for the input-variation denominator: its ordered set of distinct ValueClassIds and how trustworthy that set is (ClassConfidence).
    TypeVariety
    The denominator input for a single parameter type: how many distinct value-classes it admits and how trustworthy that count is.
    ValueClassId
    THE shared value-class vocabulary for the input-variation metric — one taxonomy, three consumers (docs/implementation/EK9_INPUT_VARIATION_CLASS_TAXONOMY.md): the denominator counter (EquivalenceClassModel) — counts distinct ids per type for the static opportunity space; the runtime classifier (INPUT_CLASS_PROBE recorder) — places an actual runtime value into one of these ids for the dynamic numerator (design §5); the generator (EdgeValuePool, compiler-services) — holds representative literals per id for ek9_generate_edge_case_tests.