#include <alias_info.h>
Public Member Functions | |
void | setIsWrite (bool isWrite) |
bool | isWrite () const |
void | addBeforeSet (Symbol aliasSet) |
void | addAfterSet (Symbol aliasSet) |
const std::unordered_set< Symbol > & | beforeSets () const |
const std::unordered_set< Symbol > & | afterSets () const |
Symbol | beforeSet () const |
bool | isWildcard () const |
void | addContainedType (AliasInfo aliasInfo) |
const std::vector< AliasInfo > & | containedTypes () const |
Static Public Member Functions | |
static Symbol | wildcardSet () |
static AliasInfo | createWildcard () |
class AliasInfo
Data structure to hold aliasing information for an Argument
. They can be nested to represent aliasing information on contained types.
There is a beforeSet
which describes the aliasing information before the operator executes, and an afterSet
that describes aliasing info after execution.
Definition at line 18 of file alias_info.h.