Loading...
Searching...
No Matches
ProcessStateDataInterface.hpp
Definition ProcessStateDataInterface.hpp:24
virtual State::MessageList messages() const
messages The current messages in this point of the process.
Definition ProcessStateDataInterface.hpp:49
virtual std::vector< State::AddressAccessor > matchingAddresses()
matchingAddresses The addresses that correspond to this state.
Definition ProcessStateDataInterface.hpp:37
virtual State::MessageList setMessages(const State::MessageList &newMessages, const Process::MessageNode ¤tState)
setMessages Request a message change on behalf of the process.
Definition ProcessStateDataInterface.hpp:57
virtual std::vector< State::AddressAccessor > takenOverAddresses() const
takenOverAddresses The addresses the process starts from the value they have (e.g....
Definition ProcessStateDataInterface.hpp:44