this.name = name ; toStringName = getPreferredClassName() + "[" + name + "]" ;
String fqn = this.getClass().getName() ; StringTokenizer st = new StringTokenizer( fqn, "." ) ; String token = st.nextToken() ; while (st.hasMoreTokens()) token = st.nextToken() ; return token ;
return name ;
if (this instanceof Action) return "Action" ; if (this instanceof State) return "State" ; if (this instanceof Guard) return "Guard" ; if (this instanceof Input) return "Input" ; return getClassName() ;
return toStringName ;