AgentOutputManager class final

Manages agent output id allocation to ensure uniqueness (port of omp's AgentOutputManager).

Constructors

AgentOutputManager({String? parentPrefix})

Creates a manager. parentPrefix nests every allocated id under it (Parent.Child) so hierarchical outputs stay grouped.

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

allocate(String requested) → String

Allocates a unique id: requested verbatim the first time, then requested-2, requested-3, … (omp's #allocateUnique).

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited