// org.dmd.dmg.generators.BaseDMWGenerator.formatSV(BaseDMWGenerator.java:1619)
public void remName() {
((ProtoMainElementDMO) core).remName();
}
// org.dmd.dmg.generators.BaseDMWGenerator.formatSV(BaseDMWGenerator.java:1584)
public void setName(Object value) throws DmcValueException {
((ProtoMainElementDMO) core).setName(value);
}
// org.dmd.dmg.generators.BaseDMWGenerator.formatSV(BaseDMWGenerator.java:1593)
public void setName(DefinitionName value) {
((ProtoMainElementDMO) core).setName(value);
}
