engine
Class LinkMonitor

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

class LinkMonitor

extends java.lang.Object

implements Monitor, Executable

Used for value propagation when strength are not a point (i.e.) a non-strength aware MContAssignMonitor. Used internally by std. gates for i/o replication.

Field Summary

(package private) boolean	active
(package private) BitVector	curValue
(package private) int	length
(package private) LeftValue	lValue
(package private) BitVector	prevValue
(package private) Expression	rValue

Constructor Summary

(package private)

LinkMonitor(LeftValue lValue, Expression rValue)

Method Summary

void	execute()
java.lang.String	toString()
void	trigger() Note: If triggered multiple times per time-unit, it will execute only once, assigning the last update value.

Methods inherited from class java.lang.Object

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

Field Detail

lValue

LeftValue lValue

rValue

Expression rValue

prevValue

BitVector prevValue

curValue

BitVector curValue

active

boolean active

length

int length

Constructor Detail

LinkMonitor

LinkMonitor(LeftValue lValue,
            Expression rValue)

Method Detail

trigger

public void trigger()
             throws InterpretTimeException

Note: If triggered multiple times per time-unit, it will execute only once, assigning the last update value.

Specified by:

trigger in interface Monitor

execute

public void execute()
             throws InterpretTimeException

Specified by:

execute in interface Executable

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object