Implementation of <code>hasEnclosingInstance</code>. This method should only be called by the <code>TypeSystem</code> or by a subclass.

Returns true if the procedure has the given arguments.

Returns true if the procedure has the given arguments.

Return the true if the type has the given method.

This utility method is for subclasses to determine if the node currently under consideration has both true and false edges leaving it. That is, the f

\brief Test if the string contains a directory separator

@return

Hash the constant. @return The hash code.

Create a new <code>Translator</code> identical to <code>this</code>, except: a) wrapped inside a HeaderTranslator object, and b) with a new context <c

Returns a filename to represent a .h file, given the name of a .cpp file that represents the "main class" @param filename -- the input cpp file @retur

Returns a string containing the names of all the available <code>CFGIntermediateRep</code>s, separated by '|' characters. @param initialIndent The nu

unescapes html to plain text.

Determine if a character is ok for the middle of an id. @param ch the character in question.

Ignore Types Entirely -- Make Spark completely ignore declared types of variables. When this option is set to true, all parts of Spark completely igno

Ignore Types For SCCs -- Ignore declared types when determining node equivalence for SCCs. When this option is set to true, when collapsing strongly-c

Get the set of methods in rt and its superinterfaces that this method implements. No ordering is specified. @return List[MethodInstance] @param rt Th

Implicit Entry Points -- Include methods called implicitly by the VM as entry points. When this option is true, methods that are called implicitly by

Get the declarations of the source file.