spot::gspn_exception Class Reference

An exception used to forward GSPN errors. More...

#include <gspn/common.hh>

List of all members.

Public Member Functions
	gspn_exception (const std::string &where, int err)
int	get_err () const
std::string	get_where () const
Private Attributes
int	err_
std::string	where_

---

Detailed Description

An exception used to forward GSPN errors.

---

Constructor & Destructor Documentation

spot::gspn_exception::gspn_exception	(	const std::string &	where,
		int	err
	)			[inline]

---

Member Function Documentation

int spot::gspn_exception::get_err

(

)

const [inline]

std::string spot::gspn_exception::get_where

(

)

const [inline]

---

Member Data Documentation

int spot::gspn_exception::err_ [private]

std::string spot::gspn_exception::where_ [private]

---

The documentation for this class was generated from the following file:

• gspn/common.hh

---

Please comment this page and report errors about it on the RefDocComments page.