engine
Class AtInstruction

java.lang.Object
  |
  +--engine.Instruction
        |
        +--engine.DefaultInstruction
              |
              +--engine.AtInstruction

class AtInstruction
extends DefaultInstruction

Implements the @(... OR ... ) instruction !! this executes ONLY ONE TIME PER Clock2 ! because it attaches to all monitors, and then detaches from all, all the values are updated, even if they were not producing the trigger. So, if they change in the same Clock2, nothing happens anymore.

See Also:
Serialized Form

Field Summary
(package private)  java.lang.Object semaphore
           
(package private)  java.util.Vector theEvents
           
 
Fields inherited from class engine.DefaultInstruction
delayBefore, desc, ns, state
 
Fields inherited from class engine.Instruction
next
 
Constructor Summary
(package private) AtInstruction(NameSpace ns, int delayBefore, InstructionDescription desc, DefaultInstruction block)
           
 
Method Summary
(package private)  void addMonitor(ValueChangeMonitor m)
           
(package private)  boolean alreadyOn()
           
(package private)  void consume()
           
 void execute()
           
(package private)  boolean nothingHappen()
           
 
Methods inherited from class engine.DefaultInstruction
checkIfIsAllowedInFunction, toString, waitToRun
 
Methods inherited from class engine.Instruction
add, append, next
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

theEvents

java.util.Vector theEvents

semaphore

java.lang.Object semaphore
Constructor Detail

AtInstruction

AtInstruction(NameSpace ns,
              int delayBefore,
              InstructionDescription desc,
              DefaultInstruction block)
Method Detail

execute

public void execute()
             throws InterpretTimeException,
                    SimulationStoppedException

nothingHappen

boolean nothingHappen()

consume

void consume()

alreadyOn

boolean alreadyOn()

addMonitor

void addMonitor(ValueChangeMonitor m)