The Fortress Language Specification - CiteSeerX

Chapter 27
Exceptions
27.1 The Trait Fortress.Standard.Exception
The trait Exception is a single root of the exception hierarchy; every exception in Fortress has trait Exception. An
exception is either a CheckedException or an UncheckException. Every exception has optional fields: a message
and a chained exception. These fields are default to Nothing where an optional value v is either Nothing or Just(v)
as declared in Section 31.2.
trait Exception comprises { CheckedException, UncheckedException }
settable message: MaybeString
settable chain:MaybeException
end
27.1.1 settable message: MaybeString
When an exception is thrown, its message may be set.
27.1.2 settable chain: MaybeException
When an exception is thrown, its chain may be set to the exception thrown immediately before this exception.
27.2 The Trait Fortress.Standard.CheckedException
trait CheckedException
extends { Exception }
excludes { UncheckedException }
end
204