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

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

public class Watcher
extends Identifer

Rating red
Generated:
This code was automatically generated.

Constructor Summary
Watcher(int ident)
           
 
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

Watcher

public Watcher(int ident)
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