orc.lib.time
Class MakeTimer

java.lang.Object
  orc.runtime.values.Value
      orc.runtime.sites.Site
          orc.lib.time.MakeTimer

All Implemented Interfaces:

Callable

public class MakeTimer
extends Site

Site interface to the Orc engine's logical clock.

Author:

dkitchin

Field Summary

Fields inherited from class orc.runtime.values.Value

futureNotReady

Constructor Summary

MakeTimer()

Method Summary

void	callSite(Args args, Token caller) Must be implemented by subclasses to implement the site behavior
static Type	type()

Methods inherited from class orc.runtime.sites.Site

accept, createCall

Methods inherited from class orc.runtime.values.Value

forceArg, forceCall, isNone, isSome, signal, untag

Methods inherited from class java.lang.Object

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

Constructor Detail

MakeTimer

public MakeTimer()

Method Detail

callSite

public void callSite(Args args,
                     Token caller)

Description copied from class: Site

Must be implemented by subclasses to implement the site behavior

Specified by:

callSite in class Site

Parameters:

args - list of argument values

caller - where the result should be sent

type

public static Type type()