de.cau.cs.kieler.krep.evalbench.program.kep
Class ThreadID
java.lang.Object
de.cau.cs.kieler.krep.evalbench.program.kep.Identifer
de.cau.cs.kieler.krep.evalbench.program.kep.ThreadID
public class ThreadID
- extends Identifer
- Rating

- Generated:
- This code was automatically generated.
Constructor Summary |
ThreadID(int ident,
int prio_val)
|
ThreadID
public ThreadID(int ident,
int prio_val)
throws IllegalArgumentException
- Throws:
IllegalArgumentException
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()