reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
184 IO.mapRequired("Module", Obj.Mod); 185 IO.mapOptional("ObjFile", Obj.Obj, Obj.Mod); 185 IO.mapOptional("ObjFile", Obj.Obj, Obj.Mod); 186 IO.mapOptional("SourceFiles", Obj.SourceFiles); 187 IO.mapOptional("Subsections", Obj.Subsections); 188 IO.mapOptional("Modi", Obj.Modi);