X-Git-Url: https://git.saurik.com/wxWidgets.git/blobdiff_plain/203ba76a12c701e24e1cd8dadb31748976af98a2..84ce7b7dba590a3e6042190b79a3b1c0908b0a4c:/utils/ifacecheck/src/ifacecheck.cpp diff --git a/utils/ifacecheck/src/ifacecheck.cpp b/utils/ifacecheck/src/ifacecheck.cpp index c119238532..75831e5994 100644 --- a/utils/ifacecheck/src/ifacecheck.cpp +++ b/utils/ifacecheck/src/ifacecheck.cpp @@ -3,7 +3,6 @@ // Purpose: Interface headers <=> real headers coherence checker // Author: Francesco Montorsi // Created: 2008/03/17 -// RCS-ID: $Id$ // Copyright: (c) 2008 Francesco Montorsi // Licence: wxWindows licence ///////////////////////////////////////////////////////////////////////////// @@ -18,6 +17,7 @@ // for all others, include the necessary headers #ifndef WX_PRECOMP #include "wx/app.h" + #include "wx/crt.h" #endif #include "wx/cmdline.h" @@ -35,18 +35,23 @@ bool g_verbose = false; // IfaceCheckApp // ---------------------------------------------------------------------------- -#define API_DUMP_FILE "dump.api.txt" -#define INTERFACE_DUMP_FILE "dump.interface.txt" +#define API_DUMP_FILE "dump.api.txt" +#define INTERFACE_DUMP_FILE "dump.interface.txt" -#define PROCESS_ONLY_SWITCH "p" -#define MODIFY_SWITCH "m" -#define DUMP_SWITCH "d" -#define HELP_SWITCH "h" -#define VERBOSE_SWITCH "v" +#define PROCESS_ONLY_OPTION "p" +#define USE_PREPROCESSOR_OPTION "u" + +#define MODIFY_SWITCH "m" +#define DUMP_SWITCH "d" +#define HELP_SWITCH "h" +#define VERBOSE_SWITCH "v" static const wxCmdLineEntryDesc g_cmdLineDesc[] = { - { wxCMD_LINE_OPTION, PROCESS_ONLY_SWITCH, "process-only", + { wxCMD_LINE_OPTION, USE_PREPROCESSOR_OPTION, "use-preproc", + "uses the preprocessor output to increase the checker accuracy", + wxCMD_LINE_VAL_STRING, wxCMD_LINE_NEEDS_SEPARATOR }, + { wxCMD_LINE_OPTION, PROCESS_ONLY_OPTION, "process-only", "processes only header files matching the given wildcard", wxCMD_LINE_VAL_STRING, wxCMD_LINE_NEEDS_SEPARATOR }, { wxCMD_LINE_SWITCH, MODIFY_SWITCH, "modify", @@ -64,6 +69,19 @@ static const wxCmdLineEntryDesc g_cmdLineDesc[] = wxCMD_LINE_DESC_END }; +class IfaceCheckLog : public wxLog +{ +public: + IfaceCheckLog() {} + + virtual void DoLogText(const wxString& msg) + { + // send all messages to stdout (normal behaviour is to sent them to stderr) + wxPuts(msg); + fflush(stdout); + } +}; + class IfaceCheckApp : public wxAppConsole { public: @@ -71,11 +89,13 @@ public: virtual bool OnInit() { m_modify=false; return true; } virtual int OnRun(); + bool ParsePreprocessorOutput(const wxString& filename); + bool Compare(); - int CompareClasses(const wxClass* iface, const wxClassPtrArray& api); - void FixMethod(const wxString& header, const wxMethod* iface, const wxMethod* api); + int CompareClasses(const wxClass* iface, const wxClass* api); + bool FixMethod(const wxString& header, const wxMethod* iface, const wxMethod* api); + bool StringContainsMethodName(const wxString& str, const wxMethod* m); - void ShowProgress(); void PrintStatistics(long secs); bool IsToProcess(const wxString& headername) const @@ -86,13 +106,13 @@ public: } protected: - wxXmlGccInterface m_api; // "real" headers API - wxXmlDoxygenInterface m_interface; // doxygen-commented headers API + wxXmlGccInterface m_gccInterface; // "real" headers API + wxXmlDoxygenInterface m_doxyInterface; // doxygen-commented headers API // was the MODIFY_SWITCH passed? bool m_modify; - // if non-empty, then PROCESS_ONLY_SWITCH was passed and this is the + // if non-empty, then PROCESS_ONLY_OPTION was passed and this is the // wildcard expression to match wxString m_strToMatch; }; @@ -103,37 +123,55 @@ int IfaceCheckApp::OnRun() { long startTime = wxGetLocalTime(); // for timing purpose - // parse the command line... wxCmdLineParser parser(g_cmdLineDesc, argc, argv); + parser.SetLogo( + wxString::Format("wxWidgets Interface checker utility (built %s against %s)", + __DATE__, wxVERSION_STRING)); + + // make the output more readable: + wxLog::SetActiveTarget(new IfaceCheckLog); + wxLog::DisableTimestamp(); + + // parse the command line... bool ok = true; + wxString preprocFile; switch (parser.Parse()) { - case -1: - // HELP_SWITCH was passed - return 0; - case 0: if (parser.Found(VERBOSE_SWITCH)) g_verbose = true; - if (!m_api.Parse(parser.GetParam(0)) || - !m_interface.Parse(parser.GetParam(1))) + // IMPORTANT: parsing #define values must be done _before_ actually + // parsing the GCC/doxygen XML files + if (parser.Found(USE_PREPROCESSOR_OPTION, &preprocFile)) + { + if (!ParsePreprocessorOutput(preprocFile)) + return 1; + } + + // in any case set basic std preprocessor #defines: + m_doxyInterface.AddPreprocessorValue("NULL", "0"); + + // parse the two XML files which contain the real and the doxygen interfaces + // for wxWidgets API: + if (!m_gccInterface.Parse(parser.GetParam(0)) || + !m_doxyInterface.Parse(parser.GetParam(1))) return 1; if (parser.Found(DUMP_SWITCH)) { - LogMessage("Dumping real API to '%s'...", API_DUMP_FILE); - m_api.Dump(API_DUMP_FILE); + wxLogMessage("Dumping real API to '%s'...", API_DUMP_FILE); + m_gccInterface.Dump(API_DUMP_FILE); - LogMessage("Dumping interface API to '%s'...", INTERFACE_DUMP_FILE); - m_interface.Dump(INTERFACE_DUMP_FILE); + wxLogMessage("Dumping interface API to '%s'...", INTERFACE_DUMP_FILE); + m_doxyInterface.Dump(INTERFACE_DUMP_FILE); } else { if (parser.Found(MODIFY_SWITCH)) m_modify = true; - if (parser.Found(PROCESS_ONLY_SWITCH, &m_strToMatch)) + if (parser.Found(PROCESS_ONLY_OPTION, &m_strToMatch)) { size_t len = m_strToMatch.Len(); if (m_strToMatch.StartsWith("\"") && @@ -142,90 +180,114 @@ int IfaceCheckApp::OnRun() m_strToMatch = m_strToMatch.Mid(1, len-2); } + ok = Compare(); } PrintStatistics(wxGetLocalTime() - startTime); return ok ? 0 : 1; - } - return 1; -} - -void IfaceCheckApp::ShowProgress() -{ - wxPrint("."); - //fflush(stdout); + default: + wxPrintf("\nThis utility checks that the interface XML files created by Doxygen are in\n"); + wxPrintf("synch with the real headers (whose contents are extracted by the gcc XML file).\n\n"); + wxPrintf("The 'gccXML' parameter should be the wxapi.xml file created by the 'rungccxml.sh'\n"); + wxPrintf("script which resides in 'utils/ifacecheck'.\n"); + wxPrintf("The 'doxygenXML' parameter should be the index.xml file created by Doxygen\n"); + wxPrintf("for the wxWidgets 'interface' folder.\n\n"); + wxPrintf("Since the gcc XML file does not contain info about #defines, if you use\n"); + wxPrintf("the -%s option, you'll get a smaller number of false warnings.\n", + USE_PREPROCESSOR_OPTION); + + // HELP_SWITCH was passed or a syntax error occurred + return 0; + } } bool IfaceCheckApp::Compare() { - const wxClassArray& interface = m_interface.GetClasses(); + const wxClassArray& interfaces = m_doxyInterface.GetClasses(); const wxClass* c; - wxClassPtrArray api; int mcount = 0, ccount = 0; - LogMessage("Comparing the interface API to the real API (%d classes to compare)...", - interface.GetCount()); + wxLogMessage("Comparing the interface API to the real API (%d classes to compare)...", + interfaces.GetCount()); if (!m_strToMatch.IsEmpty()) - LogMessage("Processing only header files matching '%s' expression.", m_strToMatch); + { + wxLogMessage("Processing only header files matching '%s' expression.", m_strToMatch); + } - for (unsigned int i=0; i0) { + c = m_gccInterface.FindClass(cname); + if (!c) + { + // sometimes the platform-specific class is named "wxGeneric" + cname + // or similar: + c = m_gccInterface.FindClass("wxGeneric" + cname.Mid(2)); + if (!c) + { + c = m_gccInterface.FindClass("wxGtk" + cname.Mid(2)); + } + } + + if (c) { - // there is a class with exactly the same name! - mcount += CompareClasses(&interface[i], api); + // there is a class with the same (logic) name! + mcount += CompareClasses(&interfaces[i], c); } else { - LogMessage("%s: couldn't find the real interface for the '%s' class", + wxLogMessage("%s: couldn't find the real interface for the '%s' class", header, cname); ccount++; } } - LogMessage("%d methods (%.1f%%) of the interface headers do not exist in the real headers", - mcount, (float)(100.0 * mcount/m_interface.GetMethodCount())); - LogMessage("%d classes (%.1f%%) of the interface headers do not exist in the real headers", - ccount, (float)(100.0 * ccount/m_interface.GetClassesCount())); + wxLogMessage("%d on a total of %d methods (%.1f%%) of the interface headers do not exist in the real headers", + mcount, m_doxyInterface.GetMethodCount(), (float)(100.0 * mcount/m_doxyInterface.GetMethodCount())); + wxLogMessage("%d on a total of %d classes (%.1f%%) of the interface headers do not exist in the real headers", + ccount, m_doxyInterface.GetClassesCount(), (float)(100.0 * ccount/m_doxyInterface.GetClassesCount())); return true; } -int IfaceCheckApp::CompareClasses(const wxClass* iface, const wxClassPtrArray& api) +int IfaceCheckApp::CompareClasses(const wxClass* iface, const wxClass* api) { - wxString searchedclasses; const wxMethod *real; int count = 0; - wxASSERT(iface && api.GetCount()>0); - - // build a string with the names of the API classes compared to iface - for (unsigned int j=0; jGetName(); - searchedclasses.Remove(0, 1); + wxASSERT(iface && api); // shorten the name of the header so the log file is more readable wxString header = wxFileName(iface->GetHeader()).GetFullName(); @@ -233,178 +295,394 @@ int IfaceCheckApp::CompareClasses(const wxClass* iface, const wxClassPtrArray& a for (unsigned int i=0; iGetMethodCount(); i++) { const wxMethod& m = iface->GetMethod(i); - int matches = 0; + + // only compare the methods which are available for the port + // for which the gcc XML was produced + if (m.GetAvailability() != wxPORT_UNKNOWN && + (m.GetAvailability() & m_gccInterface.GetInterfacePort()) == 0) { + + if (g_verbose) + { + wxLogMessage("skipping method '%s' since it's not available for the %s port.", + m.GetAsString(), m_gccInterface.GetInterfacePortName()); + } + + continue; // skip this method + } // search in the methods of the api classes provided - for (unsigned int j=0; jRecursiveUpwardFindMethod(m, &m_gccInterface); + + // avoid some false positives: + if (!real && m.ActsAsDefaultCtor()) { - real = api[j]->FindMethod(m); - if (real) - matches++; // there is a real matching prototype! It's ok! + // build an artificial default ctor for this class: + wxMethod temp(m); + temp.GetArgumentTypes().Clear(); + + // repeat search: + real = api->RecursiveUpwardFindMethod(temp, &m_gccInterface); } - if (matches == 0) + // no matches? + if (!real) { - wxMethodPtrArray overloads; - - // try searching for a method with the same name but with - // different return type / arguments / qualifiers - for (unsigned int j=0; jFindMethodNamed(m.GetName()); + bool proceed = true; + wxMethodPtrArray overloads = + api->RecursiveUpwardFindMethodsNamed(m.GetName(), &m_gccInterface); + + // avoid false positives: + for (unsigned int k=0; kMatchesExceptForAttributes(m) && + m.IsDeprecated() && !overloads[k]->IsDeprecated()) + { + // maybe the iface method is marked as deprecated but the + // real method is not? + wxMethod tmp(*overloads[k]); + tmp.SetDeprecated(true); - // append "results" array to "overloads" - WX_APPEND_ARRAY(overloads, results); - } + if (tmp == m) + { + // in this case, we can disregard this warning... the real + // method probably is included in WXWIN_COMPAT sections! + proceed = false; // skip this method + } + } - if (overloads.GetCount()==0) - { - /* - TODO: sometimes the interface headers re-document a method - inherited from a base class even if the real header does - not actually re-implement it. - To avoid false positives, we'd need to search in the base classes - of api[] classes and search for a matching method. - */ - LogMessage("%s: real '%s' class has no method '%s'", - header, searchedclasses, m.GetAsString()); - // we've found no overloads - } - else - { - // first, output a warning - wxString warning = header; - if (overloads.GetCount()>1) - warning += wxString::Format(": in the real headers there are %d overloads of '%s' for " - "'%s' all with different signatures:\n", - overloads.GetCount(), m.GetName(), searchedclasses); - else - warning += wxString::Format(": in the real headers there is a method '%s' for '%s'" - " but has different signature:\n", - m.GetName(), searchedclasses); +#define HACK_TO_AUTO_CORRECT_ONLY_METHOD_ATTRIBUTES 0 +#if HACK_TO_AUTO_CORRECT_ONLY_METHOD_ATTRIBUTES + for (unsigned int k=0; kMatchesExceptForAttributes(m)) + { + // fix default values of results[k]: + wxMethod tmp(*overloads[k]); + tmp.SetArgumentTypes(m.GetArgumentTypes()); - warning += "\tdoxy header: " + m.GetAsString(); - for (unsigned int j=0; jGetAsString(); + // modify interface header + if (FixMethod(iface->GetHeader(), &m, &tmp)) + { + wxLogMessage("Adjusted attributes of '%s' method", m.GetAsString()); + } - wxPrint(warning + "\n"); - count++; + proceed = false; + break; + } +#endif // HACK_TO_AUTO_CORRECT_ONLY_METHOD_ATTRIBUTES - if (overloads.GetCount()>1) + if (proceed) + { + if (overloads.GetCount()==0) { - // TODO: decide which of these overloads is the most "similar" to m - // and eventually modify it - if (m_modify) - wxPrint("\tmanual fix is required\n"); + wxLogMessage("%s: real '%s' class and their parents have no method '%s'", + header, api->GetName(), m.GetAsString()); + // we've found no overloads } else { - wxASSERT(overloads.GetCount() == 1); + // first, output a warning + wxString warning = header; + if (overloads.GetCount()>1) + warning += wxString::Format(": in the real headers there are %d overloads of '%s' for " + "'%s' all with different signatures:\n", + overloads.GetCount(), m.GetName(), api->GetName()); + else { + warning += wxString::Format(": in the real headers there is a method '%s' for '%s'" + " but has different signature:\n", + m.GetName(), api->GetName()); + } + + // get a list of the prototypes with _all_ possible attributes: + warning += "\tdoxy header: " + m.GetAsString(true, true, true, true); + for (unsigned int j=0; jGetAsString(true, true, true, true); - if (m_modify) + wxLogWarning("%s", warning); + count++; + + if (overloads.GetCount()>1) { - wxPrint("\tfixing it...\n"); + // TODO: decide which of these overloads is the most "similar" to m + // and eventually modify it + if (m_modify) + { + wxLogWarning("\tmanual fix is required"); + } + } + else + { + wxASSERT(overloads.GetCount() == 1); + + if (m_modify || m.IsCtor()) + { + wxLogWarning("\tfixing it..."); - // try to modify it! - FixMethod(iface->GetHeader(), &m, overloads[0]); + // try to modify it! + FixMethod(iface->GetHeader(), &m, overloads[0]); + } } } - } - count++; + count++; + } // if (proceed) } } return count; } -void IfaceCheckApp::FixMethod(const wxString& header, const wxMethod* iface, const wxMethod* api) +bool IfaceCheckApp::StringContainsMethodName(const wxString& str, const wxMethod* m) { + return str.Contains(m->GetName()) || + (m->IsOperator() && str.Contains("operator")); +} + +bool IfaceCheckApp::FixMethod(const wxString& header, const wxMethod* iface, const wxMethod* api) +{ + unsigned int i,j; wxASSERT(iface && api); wxTextFile file; if (!file.Open(header)) { - LogError("can't open the '%s' header file.", header); - return; + wxLogError("\tcan't open the '%s' header file.", header); + return false; } - // GetLocation() returns the line where the last part of the prototype is placed: + // GetLocation() returns the line where the last part of the prototype is placed; + // i.e. the line containing the semicolon at the end of the declaration. int end = iface->GetLocation()-1; if (end <= 0 || end >= (int)file.GetLineCount()) { - LogWarning("invalid location info for method '%s': %d.", + wxLogWarning("\tinvalid location info for method '%s': %d.", iface->GetAsString(), iface->GetLocation()); - return; + return false; } - if (!file.GetLine(end).Contains(iface->GetName())) { - LogWarning("invalid location info for method '%s': %d.", + if (!file.GetLine(end).Contains(";")) { + wxLogWarning("\tinvalid location info for method '%s': %d.", iface->GetAsString(), iface->GetLocation()); - return; + return false; } - // find the start point of this prototype declaration: - int start = end-1; - while (start > 0 && - !file.GetLine(start).Contains(";") && - !file.GetLine(start).Contains("*/")) - start--; - - if (start <= 0) + // is this a one-line prototype declaration? + bool founddecl = false; + int start; + if (StringContainsMethodName(file.GetLine(end), iface)) { - LogError("can't find the beginning of the declaration of '%s' method in '%s' header", - iface->GetAsString(), header); - return; + // yes, this prototype is all on this line: + start = end; + founddecl = true; + } + else + { + start = end; // will be decremented inside the while{} loop below + + // find the start point of this prototype declaration; i.e. the line + // containing the function name, which is also the line following + // the marker '*/' for the closure of the doxygen comment + do + { + start--; // go up one line + + if (StringContainsMethodName(file.GetLine(start), iface)) + founddecl = true; + } + while (start > 0 && !founddecl && + !file.GetLine(start).Contains(";") && + !file.GetLine(start).Contains("*/")); } - // start-th line contains either the declaration of another prototype - // or the closing tag */ of a doxygen comment; start one line below - start++; + if (start <= 0 || !founddecl) + { + wxLogError("\tcan't find the beginning of the declaration of '%s' method in '%s' header looking backwards from line %d; I arrived at %d and gave up", + iface->GetAsString(), header, end+1 /* zero-based => 1-based */, start); + return false; + } // remove the old prototype - for (int i=start; i<=end; i++) + for (int k=start; k<=end; k++) file.RemoveLine(start); // remove (end-start)-nth times the start-th line #define INDENTATION_STR wxString(" ") - // if possible, add also the @deprecated tag in the doxygen comment - if (file.GetLine(start-1).Contains("*/") && api->IsDeprecated()) + // if possible, add also the @deprecated tag in the doxygen comment if it's missing + int deprecationOffset = 0; + if (file.GetLine(start-1).Contains("*/") && + (api->IsDeprecated() && !iface->IsDeprecated())) { file.RemoveLine(start-1); file.InsertLine(INDENTATION_STR + INDENTATION_STR + "@deprecated @todo provide deprecation description", start-1); file.InsertLine(INDENTATION_STR + "*/", start++); + + // we have added a new line in the final balance + deprecationOffset=1; } wxMethod tmp(*api); - // discard API argument names and replace them with those parsed from doxygen XML: + // discard gcc XML argument names and replace them with those parsed from doxygen XML; + // in this way we should avoid introducing doxygen warnings about cases where the argument + // 'xx' of the prototype is called 'yy' in the function's docs. const wxArgumentTypeArray& doxygenargs = iface->GetArgumentTypes(); const wxArgumentTypeArray& realargs = api->GetArgumentTypes(); if (realargs.GetCount() == doxygenargs.GetCount()) { - for (unsigned int j=0; j WRAP_COLUMN) + { + wxASSERT(i == toinsert.GetCount()-1); + + // break this line + wxString tmpleft = toinsert[i].Left(WRAP_COLUMN); + int comma = tmpleft.Find(',', true /* from end */); + if (comma == wxNOT_FOUND) + break; // break out of the for cycle... + + toinsert.Add(wxString(' ', nStartColumn+1) + + toinsert[i].Right(len-comma-2)); // exclude the comma and the space after it + toinsert[i] = tmpleft.Left(comma+1); // include the comma + } + } + + // insert the new lines + for (i=0; iGetMethodCount(); j++) + { + wxMethod& m = cToUpdate[i]->GetMethod(j); + if (m.GetLocation() > iface->GetLocation()) + { + // update the location of this method + m.SetLocation(m.GetLocation()+nOffset); + } + } + } + + return true; +} + +bool IfaceCheckApp::ParsePreprocessorOutput(const wxString& filename) +{ + wxTextFile tf; + if (!tf.Open(filename)) { + wxLogError("can't open the '%s' preprocessor output file.", filename); + return false; } + + size_t useful = 0; + for (unsigned int i=0; i < tf.GetLineCount(); i++) + { + const wxString& line = tf.GetLine(i); + wxString defnameval = line.Mid(8); // what follows the "#define " string + + // the format of this line should be: + // #define DEFNAME DEFVALUE + if (!line.StartsWith("#define ")) { + wxLogError("unexpected content in '%s' at line %d.", filename, i+1); + return false; + } + + if (defnameval.Contains(" ")) + { + // get DEFNAME + wxString defname = defnameval.BeforeFirst(' '); + if (defname.Contains("(")) + continue; // this is a macro, skip it! + + // get DEFVAL + wxString defval = defnameval.AfterFirst(' ').Strip(wxString::both); + if (defval.StartsWith("(") && defval.EndsWith(")")) + defval = defval.Mid(1, defval.Len()-2); + + // store this pair in the doxygen interface, where it can be useful + m_doxyInterface.AddPreprocessorValue(defname, defval); + useful++; + } + else + { + // it looks like the format of this line is: + // #define DEFNAME + // we are not interested to symbols #defined to nothing, + // so we just ignore this line. + } + } + + wxLogMessage("Parsed %d preprocessor #defines from '%s' which will be used later...", + useful, filename); + + return true; } void IfaceCheckApp::PrintStatistics(long secs) { - LogMessage("wx real headers contains declaration of %d classes (%d methods)", - m_api.GetClassesCount(), m_api.GetMethodCount()); - LogMessage("wx interface headers contains declaration of %d classes (%d methods)", - m_interface.GetClassesCount(), m_interface.GetMethodCount()); - LogMessage("total processing took %d seconds.", secs); + // these stats, for what regards the gcc XML, are all referred to the wxWidgets + // classes only! + + wxLogMessage("wx real headers contains declaration of %d classes (%d methods)", + m_gccInterface.GetClassesCount(), m_gccInterface.GetMethodCount()); + wxLogMessage("wx interface headers contains declaration of %d classes (%d methods)", + m_doxyInterface.GetClassesCount(), m_doxyInterface.GetMethodCount()); + + // build a list of the undocumented wx classes + wxString list; + int undoc = 0; + const wxClassArray& arr = m_gccInterface.GetClasses(); + for (unsigned int i=0; i