Package org.kigalisim.lang.time

Class DynamicCapFuture

java.lang.Object

org.kigalisim.lang.time.DynamicCapFuture

All Implemented Interfaces:

TimePointFuture

public class DynamicCapFuture
extends Object
implements TimePointFuture

A future timepoint which resolves to a dynamic cap value.

A future timepoint which is determined at compile time, resolving to a dynamic cap value like beginning or onwards.

Constructor Summary

Constructors

Constructor	Description
DynamicCapFuture(String value)	Create a new DynamicCapFuture.

Method Summary

Modifier and Type	Method	Description
TimePointRealized	realize(PushDownMachine machine)	Realize the time point using the given machine.

Methods inherited from class java.lang.Object

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

Constructor Details

DynamicCapFuture

public DynamicCapFuture(String value)

Create a new DynamicCapFuture.

Parameters:

value - The dynamic cap value to which this should resolve.

Method Details

realize

public TimePointRealized realize(PushDownMachine machine)

Description copied from interface: TimePointFuture

Realize the time point using the given machine.

Specified by:

realize in interface TimePointFuture

Parameters:

machine - Machine to use for calculations if needed.

Returns:

The realized time point.