RaiseT

Empty tag type for raising an Alert message.

Defined in Rodin/Alert/Raise.h

struct RaiseT;

Tag type used to trigger the raising (output) of an Alert message. When streamed into a Message object using operator<<, it causes the message to be displayed and potentially triggers other actions (such as program termination for Exception types).

Example usage: Exception() << "An error occurred" << Raise;