-
Notifications
You must be signed in to change notification settings - Fork 15
/
Copy pathinvalid_constraints.expected.output
88 lines (72 loc) · 3.16 KB
/
invalid_constraints.expected.output
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
86
87
88
P4Info to constraint info translation failed with the following errors:
- In table invalid_constraints.forgot_quotes:
Syntax error: @entry_restriction must be enclosed in '("' and '")'
- In table invalid_constraints.forgot_quotes_with_srcloc:
Syntax error: @entry_restriction must be enclosed in '("' and '")'
- In @entry_restriction of table 'invalid_constraints.empty_restriction'; at offset line 1, column 1:
Parse error: unexpected token: <END_OF_INPUT>. Expected true, false, <BINARY>, <OCTARY>, <DECIMAL>, <HEXADEC>, <ID>, ::, !, -, or (.
- e2e_tests/invalid_constraints.p4:37:3:
Parse error: unexpected token: <END_OF_INPUT>. Expected true, false, <BINARY>, <OCTARY>, <DECIMAL>, <HEXADEC>, <ID>, ::, !, -, or (.
- e2e_tests/invalid_constraints.p4:43:5-15:
|
43 | foo.bar.baz == 2
| ^^^^^^^^^^^
Type error: unknown key foo.bar.baz
- In @entry_restriction of table 'invalid_constraints.unknown_key_no_srcloc'; at offset line 1, columns 1 to 11:
1 | foo.bar.baz == 2
| ^^^^^^^^^^^
Type error: unknown key foo.bar.baz
- e2e_tests/invalid_constraints.p4:54:21-22:
|
54 | foo.bar.baz == 0b2
| ^^
Parse error: unexpected token: <ID>. Expected <END_OF_INPUT>, ), ::, &&, ;, ||, ->, ==, !=, >, >=, <, or <=.
- In @entry_restriction of table 'invalid_constraints.bad_binary_numeral_no_srcloc'; at offset line 1, columns 17 to 18:
1 | foo.bar.baz == 0b2
| ^^
Parse error: unexpected token: <ID>. Expected <END_OF_INPUT>, ), ::, &&, ;, ||, ->, ==, !=, >, >=, <, or <=.
- e2e_tests/invalid_constraints.p4:68:11-14:
| /**************************************************************************/
68 | error here
| ^^^^
Parse error: unexpected token: <ID>. Expected <END_OF_INPUT>, ), ::, &&, ;, ||, ->, ==, !=, >, >=, <, or <=.
- e2e_tests/invalid_constraints.p4:76:5-30:
|
76 | ternary_key::prefix_length
| ^^^^^^^^^^^^^^^^^^^^^^^^^^
Type error: expression of type ternary<32> has no field 'prefix_length'
- e2e_tests/invalid_constraints.p4:86:5-19:
|
86 | 0x0F0F :: value
| ^^^^^^^^^^^^^^^
Type error: expression of type int has no field 'value'
- e2e_tests/invalid_constraints.p4:93:42-46:
|
93 | -0x0F0F == -0o01234567 -> !false && -false
| ^^^^^
Type error: expected type int, got bool
- e2e_tests/invalid_constraints.p4:100:33:
|
100 | !false -> -8 == -0b1000 || !1
| ^
Type error: expected type bool, got int
- e2e_tests/invalid_constraints.p4:108:5-21:
|
108 | optional_key > 10;
| ^^^^^^^^^^^^^^^^^
Type error: operand type optional<32> does not support ordered comparison
- e2e_tests/invalid_constraints.p4:118:5-13:
|
118 | ::unknown > 10;
| ^^^^^^^^^
Type error: unknown attribute 'unknown'
- e2e_tests/invalid_constraints.p4:129:1-9:
| headers.ethernet.ether_type == 0x86DD;
129 | ::unknown > 10;
| ^^^^^^^^^
Type error: unknown attribute 'unknown'
- e2e_tests/invalid_constraints.p4:173:5-13:
| // An invalid constraint to ensure error messages are sensible.
173 | ::unknown > 10;
| ^^^^^^^^^
Type error: unknown attribute 'unknown'