reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
518 error(IO.mapInteger(Record.UDT, "UDT")); 519 error(IO.mapInteger(Record.SourceFile, "SourceFile")); 520 error(IO.mapInteger(Record.LineNumber, "LineNumber")); 521 error(IO.mapInteger(Record.Module, "Module"));