Databases
StackOverflow2013
Postsdbo
PO
 

Note that there are some explanatory texts on larger screens.

plurals
  1. PO
    primarykey
    data
    text
    <p><strong>DISCLAIMER:</strong> My day job is working for a company that develops static analysis tools.</p> <p>I would be surprised if most (if not all) static analysis tools did not have some form of header usage check. You could use <a href="http://en.wikipedia.org/wiki/List_of_tools_for_static_code_analysis" rel="noreferrer">this</a> wikipedia page to get a list of available tools and then email the companies to ask them.</p> <p>Some points you might consider when you're evaluating a tool:</p> <p>For function overloads, you want all headers containing overloads to be visible, not just the header that contains the function that was selected by overload resolution:</p> <pre><code>// f1.h void foo (char); // f2.h void foo (int); // bar.cc #include "f1.h" #include "f2.h" int main () { foo (0); // Calls 'foo(int)' but all functions were in overload set } </code></pre> <p>If you take the brute force approach, first remove all headers and then re-add them until it compiles, if 'f1.h' is added first then the code will compile but the semantics of the program have been changed.</p> <p>A similar rule applies when you have partial and specializations. It doesn't matter if the specialization is selected or not, you need to make sure that all specializations are visible:</p> <pre><code>// f1.h template &lt;typename T&gt; void foo (T); // f2.h template &lt;&gt; void foo (int); // bar.cc #include "f1.h" #include "f2.h" int main () { foo (0); // Calls specialization 'foo&lt;int&gt;(int)' } </code></pre> <p>As for the overload example, the brute force approach may result in a program which still compiles but has different behaviour.</p> <p>Another related type of analysis that you can look out for is checking if types can be forward declared. Consider the following:</p> <pre><code>// A.h class A { }; // foo.h #include "A.h" void foo (A const &amp;); // bar.cc #include "foo.h" void bar (A const &amp; a) { foo (a); } </code></pre> <p>In the above example, the definition of 'A' is not required, and so the header file 'foo.h' can be changed so that it has a forward declaration only for 'A':</p> <pre><code>// foo.h class A; void foo (A const &amp;); </code></pre> <p>This kind of check also reduces header dependencies.</p>
    singulars
    1. This table or related slice is empty.
    1. POTools to find included headers which are unused?
      singulars
      1. PTQuestion
    1. PTAnswer
    1. USRichard Corden
    1. USRichard Corden
    plurals
    1. This table or related slice is empty.
    1. This table or related slice is empty.
    1. POTools to find included headers which are unused?
      singulars
      1. PTQuestion
    1. This table or related slice is empty.
    1. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    2. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    3. VO
      singulars
      1. PO
      1. This table or related slice is empty.
      1. VTUpMod
    1. COMost that I have looked at do not have a header usage check of this nature. You make a very good point about overloads and specializations, but thankfully our conventions are such that these would basically never be in different headers.
      singulars
      1. PO
      1. USNick Bastin
    2. COAlso, I've been down the road with that wikipedia page. The C/C++ section is very weak...I suppose I should go down the list of commercial providers and see which ones support C++. Also, I'm perfectly fine with people suggesting their own product - it's more than I had to go on before, and your advice in general is very informative.
      singulars
      1. PO
      1. USNick Bastin
 

Querying!

 
Guidance
A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload