de.cau.cs.kieler.krep.compiler.klp
Class DoneInstruction

java.lang.Object
  extended by de.cau.cs.kieler.krep.compiler.klp.AbstractInstruction
      extended by de.cau.cs.kieler.krep.compiler.klp.DoneInstruction

public class DoneInstruction
extends AbstractInstruction

Done instruction to indicate the end of the tick.

Rating yellow
(2010-02-05) review by cmot, msp, tam

Constructor Summary
DoneInstruction(LabelInstruction l)
           
 
Method Summary
 String toString()
           
 
Methods inherited from class de.cau.cs.kieler.krep.compiler.klp.AbstractInstruction
getComment, setComment
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DoneInstruction

public DoneInstruction(LabelInstruction l)
Parameters:
l - label from where to start in the next tick
Method Detail

toString

public String toString()
Specified by:
toString in class AbstractInstruction