source: src/common/ErrorMessages.ma @ 2645

Last change on this file since 2645 was 2645, checked in by sacerdot, 7 years ago
  1. some broken back-end files repaires, several still to go
  2. the string datatype has been refined into three different data types: string (for backend comments); identifierTag; ErrorMessage?
  3. all axioms of type String have been turned into constructors of one of the three datatypes. In this way we do not have axioms to be implemented in the extracted files
File size: 2.1 KB
Line 
1include "basics/pts.ma".
2
3inductive ErrorMessage: Type[0] ≝
4   MISSING: ErrorMessage
5 | EXTERNAL: ErrorMessage
6 | Jump_expansion_failed : ErrorMessage
7 | ASMTag : ErrorMessage
8 | ValueIsNotABoolean : ErrorMessage
9 | BadCast : ErrorMessage
10 | BadlyTypedTerm : ErrorMessage
11 | UnknownIdentifier : ErrorMessage
12 | BadLvalueTerm : ErrorMessage
13 | FailedLoad : ErrorMessage
14 | FailedOp : ErrorMessage
15 | WrongNumberOfParameters : ErrorMessage
16 | FailedStore : ErrorMessage
17 | NonsenseState : ErrorMessage
18 | ReturnMismatch : ErrorMessage
19 | UnknownLabel : ErrorMessage
20 | BadFunctionValue : ErrorMessage
21 | MainMissing : ErrorMessage
22 | UnknownField : ErrorMessage
23 | UndeclaredIdentifier : ErrorMessage
24 | BadlyTypedAccess : ErrorMessage
25 | BadLvalue : ErrorMessage
26 | MissingField : ErrorMessage
27 | FIXME : ErrorMessage
28 | MissingLabel : ErrorMessage
29 | ParamGlobalMixup : ErrorMessage
30 | DuplicateLabel : ErrorMessage
31 | TypeMismatch : ErrorMessage
32 | UnknownLocal : ErrorMessage
33 | FailedConstant : ErrorMessage
34 | BadState : ErrorMessage
35 | StoppedMidIO : ErrorMessage
36 | UnsupportedOp : ErrorMessage
37 | CorruptedPointer: ErrorMessage
38 | NotATwoBytesPointer: ErrorMessage
39 | ValueNotABoolean: ErrorMessage
40 | NotAnInt32Val: ErrorMessage
41 | WrongLength: ErrorMessage
42 | InitDataStoreFailed : ErrorMessage
43 | DuplicateVariable : ErrorMessage
44 | MissingId : ErrorMessage
45 | IllTypedEvent : ErrorMessage
46 | InternalStackFull : ErrorMessage
47 | InternalStackEmpty : ErrorMessage
48 | BadProgramCounter : ErrorMessage
49 | ProgramCounterOutOfCode : ErrorMessage
50 | PointNotFound : ErrorMessage
51 | LabelNotFound : ErrorMessage
52 | MissingSymbol : ErrorMessage
53 | BadFunction : ErrorMessage
54 | SuccessorNotProvided : ErrorMessage
55 | BadPointer : ErrorMessage
56 | NoSuccessor : ErrorMessage
57 | MissingStackSize : ErrorMessage
58 | ExternalMain: ErrorMessage
59 | BadRegister : ErrorMessage
60 | BadMain : ErrorMessage
61 | MissingRegister : ErrorMessage
62 | MissingStatement : ErrorMessage
63 | BadJumpTable : ErrorMessage
64 | BadJumpValue : ErrorMessage
65 | FinalState : ErrorMessage
66 | EmptyStack: ErrorMessage
67 | OutOfBounds: ErrorMessage.
Note: See TracBrowser for help on using the repository browser.