soot | Soot - A Java optimization framework | Code Analyzer library

You could try and wrap the text that varies in length in a div element and fix it's height, so that the longest text doesn't move the table.

In your html:

When you do new LevelSetObject, this creates a new object whose type is LevelSetObject. Seems obvious, but it needs to be pointed out.

You don't want a new LevelSetObject, you want a new LevelSetSphere (if the input object is a sphere).

You can take a LevelSetObject and transfer ownership to a unique_ptr without copying, but you have to be careful with the ownership. If you want to do this, it's better to use a unique_ptr from the start (option 3). You can only transfer ownership if the object was created with new. Local variables, global variables, and elements of vectors (like in your example), among other things, can't be transferred to unique_ptr. Only objects created with new.

Here are three possible solutions:

1. Add a virtual std::unique_ptr copy() const = 0; method to LevelSetObject. (Implement this in every derived class, so it makes a copy)

2. Make the CompositeLevelSet object point to the original LevelSetObjects instead of copying them. This means you can't use the composite object after the original objects are destroyed. It also means the intermediate compositions need to be saved somewhere. Not a great option.

3. Pass ownership into operator+ so that it doesn't need to copy the objects. For example, define a unique_ptr operator+(unique_ptr left, unique_ptr right). (If this confuses you, it can be a function instead of an operator)

Yes you can. But of course it does not do exactly that out of the box. You'd have to extend it.

Ok, I found a solution.

We just suppress the visit calls from classes from the java package.

so by using child.isJavaLibraryMethod() to check if it is from the java package.

If it is from the java package we simply do not call visit with that class, so by adding this check for the parent and child calls and suppressing the output, we get the correct callgraph. (and as a bonus it is much faster as you're not traversing the java library anymore.

so the code is changed to: