/* Definitions to support devices that can handle exceptions.
   Copyright 2001, 2003 Brian R. Gaeke.

This file is part of VMIPS.

VMIPS is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
Free Software Foundation; either version 2 of the License, or (at your
option) any later version.

VMIPS is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
for more details.

You should have received a copy of the GNU General Public License along
with VMIPS; if not, write to the Free Software Foundation, Inc.,
59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */

#ifndef _DEVICEEXC_H_
#define _DEVICEEXC_H_

#include "accesstypes.h"
#include "types.h"

/* An abstract class which describes a device that can handle exceptions. */

class DeviceExc {
public:
	/* This message notifies the device that an exception of type EXCCODE
	   has been generated. The memory access (if any) is of type MODE,
	   and the coprocessor that generated it (if any) is COPROCNO. */
    virtual void exception(uint16 excCode, int mode = ANY,
		int coprocno = -1) = 0;
    virtual ~DeviceExc() { }

	/* A flag which says whether an exception is ready to be handled. */
	bool exception_pending;
};

#endif /* _DEVICEEXC_H_ */