@Override public void defaultInSClassDeclIR(SClassDeclIR node) throws AnalysisException { if(Settings.dialect != Dialect.VDM_SL) { return; } init(); super.defaultInSClassDeclIR(node); String name = node.getName(); if(mustRename(name)) { node.setName(consNewName(name)); } }
classCg.setName(name); classCg.setAccess(access); classCg.setAbstract(isAbstract);