Class ArrayUseAccessFunction#

Inheritance Relationships#

Base Types#

Class Documentation#

class ArrayUseAccessFunction : public ArrayAbstractionInterface, public FunctionSideEffectInterface#

Public Functions

inline ArrayUseAccessFunction(const std::string &fn, ArrayAbstractionInterface *n = 0, FunctionSideEffectInterface *n1 = 0)#
inline virtual ~ArrayUseAccessFunction()#
virtual bool IsArrayAccess(AstInterface &fa, const AstNodePtr &s, AstNodePtr *array = 0, AstInterface::AstNodeList *index = 0)#
virtual bool IsUniqueArray(AstInterface &fa, const AstNodePtr &array)#
virtual bool GetArrayBound(AstInterface &fa, const AstNodePtr &array, int dim, int &lb, int &ub)#
virtual AstNodePtr CreateArrayAccess(AstInterface &fa, const AstNodePtr &arr, const AstNodeList &index)#
virtual SymbolicVal CreateArrayAccess(const SymbolicVal &arr, const SymbolicVal &index)#
virtual bool get_modify(AstInterface &fa, const AstNodePtr &fc, CollectObject<AstNodePtr> *collect = 0)#
virtual bool get_read(AstInterface &fa, const AstNodePtr &fc, CollectObject<AstNodePtr> *collect = 0)#