Assertion: exception | /r/HasProperty | represented by integer values
Facets:
Source sentences:
text: Although exceptions in Eiffel have a fairly clear philosophy, Kiniry (2006) criticizes their implementation because "Exceptions that are part of the language definition are represented by INTEGER values, developer-defined exceptions by STRING values.