String alt_class = getAltClassName(type, alt); String alt_impl_class = AlternativeImplGenerator.getAltClassImplName(type.getId(), alt.getId());
String alt_class = className(type, alt); String alt_impl_class = AlternativeImplGenerator.className(type.getId(), alt.getId());
	private void genAlternativeClass(Type type, Alternative alt) {		String alt_class = getAltClassName(type, alt);		String alt_impl_class = AlternativeImplGenerator.getAltClassImplName(type.getId(), alt.getId());		println("public class " + alt_class);		println("extends " + alt_impl_class);		println("{");		println();		println("}");	}