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

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

public class PrioInstruction
extends AbstractInstruction

Prio statement to change the priority of a thread.

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

Constructor Summary
PrioInstruction(String register, int priority)
           
 
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

PrioInstruction

public PrioInstruction(String register,
                       int priority)
Parameters:
register - associated with the thread thats priority is changed
priority - new priority
Method Detail

toString

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