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

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

public class PrioID
extends Identifer

Rating red
Generated:
This code was automatically generated.

Constructor Summary
PrioID(int val)
           
 
Method Summary
 String encode()
           
 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

PrioID

public PrioID(int 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