public class DotIdentifier extends java.lang.Object
DotIdentifier(java.lang.String ident)
java.lang.String
getIdent()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DotIdentifier(java.lang.String ident)
public final java.lang.String getIdent()