de.cau.cs.kieler.krep.evalbench.program.kep
Class ThreadID

java.lang.Object
  extended by de.cau.cs.kieler.krep.evalbench.program.kep.Identifer
      extended by de.cau.cs.kieler.krep.evalbench.program.kep.ThreadID

public class ThreadID
extends Identifer

Rating red
Generated:
This code was automatically generated.

Constructor Summary
ThreadID(int ident, int prio_val)
           
 
Method Summary
 String encode()
           
 PrioID getPrio()
           
 String info()
           
 int length()
           
 String toString()
           
 
Methods inherited from class de.cau.cs.kieler.krep.evalbench.program.kep.Identifer
encode, getId, getName, getValidName, print, setId
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ThreadID

public ThreadID(int ident,
                int prio_val)
         throws IllegalArgumentException
Throws:
IllegalArgumentException
Method Detail

encode

public String encode()
Specified by:
encode in class Identifer

toString

public String toString()
Overrides:
toString in class Identifer

info

public String info()
Specified by:
info in class Identifer

length

public int length()
Specified by:
length in class Identifer

getPrio

public PrioID getPrio()