private void addSpecialAttribute(String name, NType proptype) {
NBinding b = getTable().update(name, Builtins.newTutUrl("classes.html"),
proptype, NBinding.Kind.ATTRIBUTE);
b.markSynthetic();
b.markStatic();
b.markReadOnly();
}
@Override
public String toString() {
return "<ClassDef:" + name.id + ":" + start() + ">";