4
4
namespace VQDR.Expression {
6
6
public abstract class Token : GLib.Object {
7
/** Precision used to perform evaluation */
8
public const int VALUES_PRECISION_DIGITS = 3;
9
/** Precision factor used to convert raw values to actual ones */
10
public const int VALUES_PRECISION_FACTOR = 1000;
11
//public static int VALUES_PRECISION_FACTOR = (int)Math.pow(10, VALUES_PRECISION_DIGITS);
13
/** Precision used to output values */
14
public const int VALUES_OUTPUT_PRECISION_DIGITS = 2;
15
/** Precision factor used to evaluate output */
16
public const int VALUES_OUTPUT_PRECISION_FACTOR = 100;
17
8
//public static int VALUES_OUTPUT_PRECISION_FACTOR = (int)Math.pow(10, VALUES_OUTPUT_PRECISION_DIGITS);
26
17
public const int MAX_TOKEN_ITERATIONS = 500;
27
18
/** Max iteration number for the expression */
28
19
public const int MAX_TOTAL_ITERATIONS = 5000;
30
/* ************************************* */
31
/* Operator precedence and associativity */
32
/* ************************************* */
33
/** Priority for assignment "=" operator */
34
public const int PRIO_ASSIGNMENT = 0;
35
/** Priority for conditional OR "||" operator */
36
public const int PRIO_CONDITIONAL_OR = 2;
37
/** Priority for conditional AND "&&" operator */
38
public const int PRIO_CONDITIONAL_AND = 3;
39
/** Priority for equality "==" and "!=" operators */
40
public const int PRIO_EQUALITY = 4;
41
/** Priority for comparison ">", "<", ">=", etc operators */
42
public const int PRIO_COMPARISON = 5;
43
/** Priority for addictive "+" and "-" operators */
44
public const int PRIO_ADDICTIVE = 6;
45
/** Priority for multiplicative "*" and "/" operators */
46
public const int PRIO_MULTIPLICATIVE = 7;
47
/** Priority for unary "+" and "-" and "!" operators */
48
public const int PRIO_UNARY = 8;
49
/** Priority for label assignment ":" operator */
50
public const int PRIO_LABEL = 9;
51
/** Priority for dice "d" operator */
52
public const int PRIO_DICE = 10;
53
/** Priority for functions */
54
public const int PRIO_FUNCTION = 11;
55
/** Priority for values */
56
public const int PRIO_VALUE = 12;
58
/** Generation to use to get the root with {@link #getParent} */
23
* Operator precedence and associativity
25
* higher number is higher priority, and is to be done befroe those
29
/** invalid case. Prevents null-trap. */
31
/** Priority for assignment "=" operator */
33
/** Priority for conditional OR "||" operator */
35
/** Priority for conditional AND "&&" operator */
37
/** Priority for equality "==" and "!=" operators */
39
/** Priority for comparison ">", "<", ">=", etc operators */
41
/** Priority for addictive "+" and "-" operators */
43
/** Priority for multiplicative "*" and "/" operators */
45
/** Priority for unary "+" and "-" and "!" operators */
47
/** Priority for label assignment ":" operator */
49
/** Priority for dice "d" operator */
51
/** Priority for functions */
53
/** Priority for values */
55
/** The number of values. */
58
/** get the name of the priority */
59
public string to_string () {
62
return "prio: assigment";
64
return "prio: conditonal OR";
66
return "prio: conidonal AND";
68
return "prio: equality";
70
return "prio: multiplicative";
78
return "prio: function";
82
assert_not_reached ();
86
public Prio from_string (string name) {
87
var collected = collect_string (name.split (" ")).up ();
90
case "PRIO:ASSIGNMENT":
92
case "CONDITIONAL_OR":
93
case "PRIO:CONDITIONAL_OR":
94
return CONDITIONAL_OR;
95
case "CONDITIONAL_AND":
96
case "PRINO:CONDITIONAL_AND":
97
return CONDITIONAL_AND;
99
case "PRINO:EQUALITY":
101
case "MULTIPLICATIVE":
102
case "PRINO:MULTIPLICATIVE":
103
return MULTIPLICATIVE;
114
case "PRINO:FUNCTON":
120
assert_not_reached ();
125
/** Generation to use to get the root with @link parent */
59
126
protected const int ROOT_GENERATION = int.MAX;
61
128
/* ********************************************************************** */
64
* tells weather the token is right associative or not.
131
* tells whether the token is right associative or not.
66
133
public bool right_assosiative {get;set; default = false;}
69
private int real_priority;
71
135
/** The parent token of this token*/
72
136
protected unowned Token? parent {protected get; protected set;}
74
public virtual int priority {public get {
75
return __get_priority ();
76
} protected construct set {
77
__set_priority (value);
138
public virtual int priority {public get; protected construct set;}
80
140
/** Starting position of the token in the expression */
81
141
protected int position;
108
168
/** all children of this token */
109
169
private (unowned Token?)[] children;
112
public long result_value {public get; protected set; default = 0;}
113
public long result_max_value {public get; protected set; default = 0;}
114
public long result_min_value {public get; protected set; default = 0;}
172
* These values should have a protected setter, but I could not get it to
173
* work. So we will have to live with this.
175
public FastNumber result_value;
176
public FastNumber result_max_value;
177
public FastNumber result_min_value;
115
178
public string result_string {public get; protected set; default = "";}
118
// Valgrind says there is a memory leak here... But it's actually
119
// GObject's constructor that is leaking.
120
181
children = new Token[max_num_child];
184
result_value = FastNumber ();
185
result_max_value = FastNumber ();
186
result_min_value = FastNumber ();
126
191
this.position = position;
130
196
* Reorders result_min_value and result_max_value, so that
131
* result_max varue is the bigger of the two, and
197
* result_max_value is the bigger of the two, and
132
198
* result_min_value is the smaller.
134
200
protected void reorder_max_min_values () {
135
if (result_max_value < result_min_value) {
136
long tmp = result_max_value;
201
if (result_max_value.compare (result_min_value) <= 0) {
202
FastNumber tmp = result_max_value;
137
203
result_max_value = result_min_value;
138
204
result_min_value = tmp;