* @brief Converts all characters in @a str to upper case. * * For example, <tt>"Crazy Willy"</tt> is converted into <tt>"CRAZY WILLY"</tt>. */

Valid typedef name cannot contain spaces. Also ignore names of primitive types.

* New super class is added only if there is not existing superclass of that name. * @return @c True if superclass was added, @c false otherwise. */

------------------------------------------------------------------------------

------------------------------------------------------------------------------

* Delete all flags descriptors */

* @brief Returns the name of a global variable from which the given local * variable comes from. * * If the given variable does not come from a

* Returns whether the segment contains specified address. * * @param address The address to check. * * @return True if contains, otherwise false.

* @brief Returns @c true if @a str contains at least one character from * @a chars, @c false otherwise. * * If @a chars is the empty string, it

* @brief Converts the given LLVM value @a value into a variable in BIR. * * @par Preconditions * - @a value is non-null */

* @brief Creates a label from @a str so it can be used in labels in the @c dot * format. * * If @a str is of the form @c (x), then the surround

* @brief Returns an iterator past the last information. */

------------------------------------------------------------------------------

* Search for version stored in input string * @param input Input string * @return Found version or empty string if no version found. * * A version

* @brief Implements funcNeverReturns() for LibcSemantics. * * See its description for more details. */

* @brief Returns the name for the given local variable using debug information. * * If there is no name assigned to the given variable, the empty stri

* At the moment, all instructions here have delay slot of size 1. * If there are some instructions with different sized slots, we will need map. */

* @brief Returns the false value. */

* @brief Returns function type from context. * * @return Requested type. If it is not in context return @c nullptr. * * @par Preconditions * - @a ret

* @return Always returns the same dummy global variable. */

* Get global variable from the given address @a addr in @a objf input file. * @param objf Object file. * @param dbgf Debug file. * @param addr Addr

* Get hexadecimal pattern from rule. * * @param rule input rule * @param name name of pattern * * @return pointer to hexadecimal pattern */

* @brief Returns the line range for the given function. * * If there is no line range for @a func, @c NO_LINE_RANGE is returned. */

* Get information about notes */

* @brief Returns the number of nodes in the CFG. * * Entry and exit nodes are also included. */

* @brief Returns the number of statements in the node. */

* Get number of stored structures (e.g. number of symbol tables) * @return Number of stored structures */

* Get ordinal number of export * @param exportOrdinalNumber Into this parameter is stored ordinal number of export * @return @c true if ordinal numb

* @brief Returns the statement successor. */

* Returns the TimeDateStamp value of a debug structure. If an invalid structure is specified * by the parameter uiIndex the result will be undefined

* @brief Returns the true value. */

------------------------------------------------------------------------------

Getting methods

* @brief Checks if the module contains a global variable with the given @a * name. */

* @brief Determines whether this node has a statement successor. */

* @brief Returns @c true if @a str has substring @a withWhat in area * bordered by offsets @a start and @a stop. */

* Invalidate link to section * * Instance method @a getLinkToSection() returns @c false after invocation * of this method. Link to section is possi

* @brief Returns @c true if the type is bool, @c false otherwise. * * An integer type is bool if its size is 1. */

* @brief Returns @c true if the array is empty, @c false otherwise. * * If the array is uninitialized, it needs to have no dimensions in order for * t

* @brief Determines if the value of the constant is @c false. * * @return @c true if the constant is @c false, @c false otherwise. */

* @brief Returns true when parameter is input, false otherwise. */

* @brief Returns true when parameter will be changed by the function, false otherwise. */

* @brief Returns true when parameter may be @c null, false otherwise. */

* @brief Returns true when parameter is output, false otherwise. */

* @return @c true if symbol is THUMB symbol, @c false otherwise */

* @brief Determines if the value of the constant is @c true. * * @return @c true if the constant is @c true, @c false otherwise. */

* @brief Returns @c true if the operator is unary, @c false otherwise. * * This function returns @c false if and only if the operator is binary. * * @

\internal */

* @return Lover level node in neste name. */

* Register a command-line argument to the handler. The registration may fail if * there is already an argument with the specified short or long optio

* Remove comments from string. Comment must start with a single @c commentChar * character and end on new line (i.e. '\n') character. * For example

* @brief Removes the given statement from the node. * * If there is no such statement in the node, this function does nothing. * * @par Preconditions

* @brief Finds the last occurrence of the specified suffix and removes * everything from its start to the end. * * @param[out] n Reference to s

* @brief Sets a condition * * @par Preconditions * - @a newCond is non-null */

* Set description of pattern * @param sDescription Description of pattern */

* Set @c true if the section or segment will appear in the memory image of a process, * @c false otherwise */