Class RecordMetric

java.lang.Object

org.ek9lang.compiler.phase5.RecordMetric

All Implemented Interfaces:

ObjIntConsumer<ISymbol>

final class RecordMetric
extends Object
implements ObjIntConsumer<ISymbol>

THE encoding of a measured quality metric (with MetricSymbolOf and MetricLimitCheck, the steps of every Acceptable*OrError check): squirrel the integer on the symbol, under the one key this instance is made for, as decimal text through SmallIntStrings. Was MetricLimitCheck.record (no-statics lane P2, 2026-10-29).

Constructor Summary

Constructors

Constructor	Description
RecordMetric(CommonValues squirrelKey)

Method Summary

Modifier and Type	Method	Description
void	accept(ISymbol symbol, int value)

Methods inherited from class Object

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

Constructor Details

RecordMetric

RecordMetric(CommonValues squirrelKey)

Method Details

accept

public void accept(ISymbol symbol,
 int value)

Specified by:

accept in interface ObjIntConsumer<ISymbol>