de.cau.cs.kieler.krep.compiler.klp
Class PrioInstruction
java.lang.Object
de.cau.cs.kieler.krep.compiler.klp.AbstractInstruction
de.cau.cs.kieler.krep.compiler.klp.PrioInstruction
public class PrioInstruction
- extends AbstractInstruction
Prio statement to change the priority of a thread.
- Rating

- (2010-02-05) review by cmot, msp, tam
PrioInstruction
public PrioInstruction(String register,
int priority)
- Parameters:
register
- associated with the thread thats priority is changedpriority
- new priority
toString
public String toString()
- Specified by:
toString
in class AbstractInstruction