Module org.kink_lang.kink

Package org.kink_lang.kink.internal.compile.javaclassir

Class ProgramCounterSupplier

java.lang.Object

org.kink_lang.kink.internal.compile.javaclassir.ProgramCounterSupplier

public class ProgramCounterSupplier
extends Object

Supplies program counters.

Constructor Summary

Constructors

Constructor	Description
ProgramCounterSupplier(TraceAccumulator traceAccum)	Constructs a supplier.

Method Summary

Modifier and Type	Method	Description
int	newProgramCounter(Trace trace)	Supplies a new program counter with a trace.

Methods inherited from class java.lang.Object

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

Constructor Details

ProgramCounterSupplier

public ProgramCounterSupplier(TraceAccumulator traceAccum)

Constructs a supplier.

Parameters:

traceAccum - the trace accumulator.

Method Details

newProgramCounter

public int newProgramCounter(Trace trace)

Supplies a new program counter with a trace.

Parameters:

trace - the trace associated with the program counter.

Returns:

the new program counter.