public interface State
int
getCode()
java.lang.String
getName()
toString()
java.lang.String getName()
int getCode()
java.lang.String toString()
toString
java.lang.Object
These are the official JADE API. For these API backward compatibility is guaranteed accross JADE versions