public final class StmtMark extends Stmt
Stmt.Kind
StmtMark(java.lang.String name)
java.lang.String
getName()
toString()
getKind
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public StmtMark(java.lang.String name)
public java.lang.String getName()
public java.lang.String toString()
toString
java.lang.Object