|
| IndexMap (const IR::Expression *initialValue) |
|
| DECLARE_TYPEINFO (IndexMap, TestObject) |
|
const IR::Constant * | getEvaluatedInitialValue () const |
|
const IR::Expression * | getInitialValue () const |
|
const IR::Expression * | getValueAtIndex (const IR::Expression *index) const |
|
std::map< big_int, std::pair< int, const IR::Constant * > > | unravelMap () const |
| Return the "writes" to this index map as a.
|
|
void | writeToIndex (const IR::Expression *index, const IR::Expression *value) |
| Write.
|
|
| TestObject (const TestObject &)=default |
|
| TestObject (TestObject &&)=default |
|
| DECLARE_TYPEINFO (TestObject) |
|
virtual const TestObject * | evaluate (const Model &model, bool doComplete) const =0 |
|
virtual cstring | getObjectName () const =0 |
|
TestObject & | operator= (const TestObject &)=default |
|
TestObject & | operator= (TestObject &&)=default |
|
template<typename T > |
T & | as () |
| Tries to convert the class to type T. A BUG occurs if the cast fails.
|
|
template<typename T > |
const T & | as () const |
| Tries to convert the class to type T. A BUG occurs if the cast fails.
|
|
template<typename T > |
T * | checkedTo () |
| Performs a checked cast. A BUG occurs if the cast fails.
|
|
template<typename T > |
const T * | checkedTo () const |
| Performs a checked cast. A BUG occurs if the cast fails.
|
|
template<typename T > |
bool | is () const noexcept |
|
virtual bool | isA (TypeId typeId) const noexcept=0 |
|
template<typename T > |
const T * | to () const noexcept |
| Same as to , but returns const pointer to T.
|
|
template<typename T > |
T * | to () noexcept |
|
virtual TypeId | typeId () const noexcept=0 |
|
Readable and writable symbolic map, which maps indices to particular values.