diff options
Diffstat (limited to 'cpu/checker/exec_context.hh')
-rw-r--r-- | cpu/checker/exec_context.hh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/cpu/checker/exec_context.hh b/cpu/checker/exec_context.hh index 38784867d..9f9fb0fd6 100644 --- a/cpu/checker/exec_context.hh +++ b/cpu/checker/exec_context.hh @@ -38,6 +38,13 @@ namespace Kernel { class Statistics; }; +/** + * Derived ExecContext class for use with the Checker. The template + * parameter is the ExecContext class used by the specific CPU being + * verified. This CheckerExecContext is then used by the main CPU in + * place of its usual ExecContext class. It handles updating the + * checker's state any time state is updated through the ExecContext. + */ template <class XC> class CheckerExecContext : public ExecContext { |