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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
#pragma once
#include "Core/StrBuf.h"
namespace storm {
namespace syntax {
STORM_PKG(lang.bnf);
class InfoNode;
/**
* Description of the error corrections performed to arrive at an info tree.
*/
class InfoErrors {
STORM_VALUE;
public:
// Create. Assumess success and zero errors.
STORM_CTOR InfoErrors();
// Was this parse successful at all?
Bool STORM_FN success() const;
// Any errors in here? (succes() == false yields any() == true)
Bool STORM_FN any() const;
// Get # of shifts during error corrections.
Nat STORM_FN shifts() const;
// Get # of characters inside erroneous productions.
Nat STORM_FN chars() const;
// Set # of chars.
void STORM_FN chars(Nat chars);
// Add two errors together.
InfoErrors STORM_FN operator +(InfoErrors e) const;
InfoErrors &STORM_FN operator +=(InfoErrors e);
// Compare <, compares the sum of the two errors.
Bool STORM_FN operator <(InfoErrors e) const;
// Equal an not equal comparisions based on the < operator.
Bool STORM_FN operator ==(InfoErrors e) const;
Bool STORM_FN operator !=(InfoErrors e) const;
// Get/set integer representation.
static Nat getData(InfoErrors e);
static InfoErrors fromData(Nat v);
// Output.
void STORM_FN toS(StrBuf *to) const;
private:
// Low-level create.
InfoErrors(Nat data);
// Data.
// bit 31 - set on complete failure.
// bit 30-16 - # of productions that were shifted or reduced abnormally
// bit 15- 0 - # of characters that were skipped
Nat data;
// Friends.
friend InfoErrors infoFailure();
friend InfoErrors infoSuccess();
friend InfoErrors infoShifts(Nat shifts);
friend InfoErrors infoChars(Nat chars);
};
// Create. Indicate failure.
InfoErrors STORM_FN infoFailure();
// Create. Indicate success.
InfoErrors STORM_FN infoSuccess();
// Create. Indicate # of productions skipped.
InfoErrors STORM_FN infoShifts(Nat shifts);
// Create. Indicate # of chars inside erronesous production.
InfoErrors STORM_FN infoChars(Nat chars);
// Output.
wostream &operator <<(wostream &to, InfoErrors e);
}
}
|
