public class DtorName extends BaseNode
type
DtorName(BaseNode name)
String
getName()
void
printLeft(StringWriter writer)
print, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public DtorName(BaseNode name)
public void printLeft(StringWriter writer)
printLeft
BaseNode
public String getName()
Copyright © 2022. All rights reserved.