engine
Class ContAssignMonitor

java.lang.Object
  |
  +--engine.ContAssignMonitor

class ContAssignMonitor

extends java.lang.Object

implements Monitor

This is a monitor which waits for the rValue to change, and then takes care to modify lValue at the end of the time unit specified by the delay values (by posting a SimpleAssignInstruction). Note: only typical delays are used here.

Field Summary

(package private) BitVector	curValue
(package private) Delay3	delays
(package private) SimpleAssignInstruction	lastUpdate this will keep the last update instruction, so we can remove it if it becomes obsolete
(package private) LeftValue	lValue
(package private) NameSpace	ns
(package private) BitVector	prevValue
(package private) Expression	rValue

Constructor Summary

(package private)

ContAssignMonitor(NameSpace ns, LeftValue lValue, Expression rValue, Delay3 delays)

Method Summary

void

trigger()

Methods inherited from class java.lang.Object

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

Field Detail

ns

NameSpace ns

lValue

LeftValue lValue

rValue

Expression rValue

prevValue

BitVector prevValue

curValue

BitVector curValue

lastUpdate

SimpleAssignInstruction lastUpdate

this will keep the last update instruction, so we can remove it if it becomes obsolete

delays

Delay3 delays

Constructor Detail

ContAssignMonitor

ContAssignMonitor(NameSpace ns,
                  LeftValue lValue,
                  Expression rValue,
                  Delay3 delays)

Method Detail

trigger

public void trigger()
             throws InterpretTimeException

Specified by:

trigger in interface Monitor