/usr/share/axiom-20170501/src/algebra/OMERRK.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 | )abbrev domain OMERRK OpenMathErrorKind
++ Author: Vilya Harvey
++ Description:
++ \spadtype{OpenMathErrorKind} represents different kinds
++ of OpenMath errors: specifically parse errors, unknown CD or symbol
++ errors, and read errors.
OpenMathErrorKind() : SIG == CODE where
SIG ==> SetCategory with
coerce : Symbol -> %
++ coerce(u) creates an OpenMath error object of an appropriate type if
++ \axiom{u} is one of \axiom{OMParseError}, \axiom{OMReadError},
++ \axiom{OMUnknownCD} or \axiom{OMUnknownSymbol}, otherwise it
++ raises a runtime error.
OMParseError? : % -> Boolean
++ OMParseError?(u) tests whether u is an OpenMath parsing error.
OMUnknownCD? : % -> Boolean
++ OMUnknownCD?(u) tests whether u is an OpenMath unknown CD error.
OMUnknownSymbol? : % -> Boolean
++ OMUnknownSymbol?(u) tests whether u is an OpenMath unknown symbol
++ error.
OMReadError? : % -> Boolean
++ OMReadError?(u) tests whether u is an OpenMath read error.
CODE ==> add
Rep := Union(parseError:"OMParseError", unknownCD:"OMUnknownCD",
unknownSymbol:"OMUnknownSymbol",readError:"OMReadError")
OMParseError?(u) == (u case parseError)$Rep
OMUnknownCD?(u) == (u case unknownCD)$Rep
OMUnknownSymbol?(u) == (u case unknownSymbol)$Rep
OMReadError?(u) == (u case readError)$Rep
coerce(s:Symbol):% ==
s = OMParseError => ["OMParseError"]$Rep
s = OMUnknownCD => ["OMUnknownCD"]$Rep
s = OMUnknownSymbol => ["OMUnknownSymbol"]$Rep
s = OMReadError => ["OMReadError"]$Rep
error concat(string s, " is not a valid OpenMathErrorKind.")
a = b == (a=b)$Rep
coerce(e:%):OutputForm == coerce(e)$Rep
|