-
-
Notifications
You must be signed in to change notification settings - Fork 1
Expand file tree
/
Copy patheverything.check
More file actions
180 lines (180 loc) · 8.86 KB
/
everything.check
File metadata and controls
180 lines (180 loc) · 8.86 KB
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
passes/input/check/everything/everything.riddl(1:1->18):
Metadata in Domain 'Everything' should not be empty:
domain Everything is {
passes/input/check/everything/everything.riddl(1:1->18):
Domain 'Everything' should have a description:
domain Everything is {
passes/input/check/everything/everything.riddl(16:3->15):
Metadata in Context 'full' should not be empty:
context full is {
passes/input/check/everything/everything.riddl(16:3->15):
Context 'full' should have a description:
context full is {
passes/input/check/everything/everything.riddl(18:10->13):
Type 'str' should start with a capital letter:
type str is String // Define str as a String
passes/input/check/everything/everything.riddl(18:5->13):
Type 'str' is unused:
type str is String // Define str as a String
passes/input/check/everything/everything.riddl(19:10->13):
Type 'num' should start with a capital letter:
type num is Number // Define num as a Number
passes/input/check/everything/everything.riddl(20:10->13):
Type 'boo' should start with a capital letter:
type boo is Boolean // Define boo as a Boolean
passes/input/check/everything/everything.riddl(20:5->13):
Type 'boo' is unused:
type boo is Boolean // Define boo as a Boolean
passes/input/check/everything/everything.riddl(21:10->15):
Type 'ident' should start with a capital letter:
type ident is UUID // Define ident as an Id
passes/input/check/everything/everything.riddl(22:10->13):
Type 'dat' should start with a capital letter:
type dat is Date // Define dat as a Date
passes/input/check/everything/everything.riddl(22:5->13):
Type 'dat' is unused:
type dat is Date // Define dat as a Date
passes/input/check/everything/everything.riddl(23:10->13):
Type 'tim' should start with a capital letter:
type tim is Time // Define tim as a Time
passes/input/check/everything/everything.riddl(23:5->13):
Type 'tim' is unused:
type tim is Time // Define tim as a Time
passes/input/check/everything/everything.riddl(24:10->15):
Type 'stamp' should start with a capital letter:
type stamp is TimeStamp // Define stamp as a TimeStamp
passes/input/check/everything/everything.riddl(25:10->13):
Type 'url' should start with a capital letter:
type url is URL
passes/input/check/everything/everything.riddl(27:25->26):
Field identifier 'a' is too short. The minimum length is 3:
type PeachType is { a: Integer }
passes/input/check/everything/everything.riddl(27:5->19):
Type 'PeachType' is unused:
type PeachType is { a: Integer }
passes/input/check/everything/everything.riddl(28:10->14):
Type 'enum' should start with a capital letter:
type enum is any of { Apple Pear Peach(21) Persimmon(42) }
passes/input/check/everything/everything.riddl(30:10->13):
Type 'alt' should start with a capital letter:
type alt is one of { enum or stamp or url }
passes/input/check/everything/everything.riddl(30:5->13):
Type 'alt' is unused:
type alt is one of { enum or stamp or url }
passes/input/check/everything/everything.riddl(32:10->13):
Type 'agg' should start with a capital letter:
type agg is {
passes/input/check/everything/everything.riddl(34:7->9):
Field identifier 'id' is too short. The minimum length is 3:
id is ident,
passes/input/check/everything/everything.riddl(38:10->19):
Type 'oneOrMore' should start with a capital letter:
type oneOrMore is many agg
passes/input/check/everything/everything.riddl(38:5->19):
Type 'oneOrMore' is unused:
type oneOrMore is many agg
passes/input/check/everything/everything.riddl(39:10->20):
Type 'zeroOrMore' should start with a capital letter:
type zeroOrMore is agg*
passes/input/check/everything/everything.riddl(39:5->20):
Type 'zeroOrMore' is unused:
type zeroOrMore is agg*
passes/input/check/everything/everything.riddl(40:10->18):
Type 'optional' should start with a capital letter:
type optional is agg?
passes/input/check/everything/everything.riddl(40:5->18):
Type 'optional' is unused:
type optional is agg?
passes/input/check/everything/everything.riddl(42:5->21):
Entity 'Something' is unused:
entity Something is {
passes/input/check/everything/everything.riddl(42:5->21):
Entity 'Something' should have a description:
entity Something is {
passes/input/check/everything/everything.riddl(44:12->25):
Type 'somethingDate' should start with a capital letter:
type somethingDate is Date
passes/input/check/everything/everything.riddl(44:7->25):
Type 'somethingDate' is unused:
type somethingDate is Date
passes/input/check/everything/everything.riddl(48:7->22):
Metadata in State 'someState' should not be empty:
state someState of type Everything.StateType
passes/input/check/everything/everything.riddl(48:7->22):
State 'someState' should have a description:
state someState of type Everything.StateType
passes/input/check/everything/everything.riddl(50:7->37):
Metadata in Function 'whenUnderTheInfluence' should not be empty:
function whenUnderTheInfluence is {
passes/input/check/everything/everything.riddl(50:7->37):
Function 'whenUnderTheInfluence' should have a description:
function whenUnderTheInfluence is {
passes/input/check/everything/everything.riddl(50:7->37):
Function 'whenUnderTheInfluence' is unused:
function whenUnderTheInfluence is {
passes/input/check/everything/everything.riddl(51:20->21):
Field identifier 'n' is too short. The minimum length is 3:
requires { n: Nothing }
passes/input/check/everything/everything.riddl(51:20->21):
Metadata in Field 'n' should not be empty:
requires { n: Nothing }
passes/input/check/everything/everything.riddl(51:20->21):
Field 'n' should have a description:
requires { n: Nothing }
passes/input/check/everything/everything.riddl(52:19->20):
Field identifier 'b' is too short. The minimum length is 3:
returns { b: Boolean }
passes/input/check/everything/everything.riddl(52:19->20):
Metadata in Field 'b' should not be empty:
returns { b: Boolean }
passes/input/check/everything/everything.riddl(52:19->20):
Field 'b' should have a description:
returns { b: Boolean }
passes/input/check/everything/everything.riddl(63:24->64:5):
Option 'transient' in Entity 'Something' is not a recognized RIDDL option:
option aggregate option transient
}
passes/input/check/everything/everything.riddl(66:5->26):
Metadata in Entity 'SomeOtherThing' should not be empty:
entity SomeOtherThing is {
passes/input/check/everything/everything.riddl(66:5->26):
Entity 'SomeOtherThing' should have a description:
entity SomeOtherThing is {
passes/input/check/everything/everything.riddl(66:5->26):
Entity 'SomeOtherThing' is unused:
entity SomeOtherThing is {
passes/input/check/everything/everything.riddl(67:7->20):
Metadata in Sink 'trashBin' should not be empty:
sink trashBin is { inlet SOT_In is SomeOtherThing.ItHappened }
passes/input/check/everything/everything.riddl(67:7->20):
Sink 'trashBin' should have a description:
sink trashBin is { inlet SOT_In is SomeOtherThing.ItHappened }
passes/input/check/everything/everything.riddl(67:7->20):
Sink 'trashBin' should have a handler:
sink trashBin is { inlet SOT_In is SomeOtherThing.ItHappened }
passes/input/check/everything/everything.riddl(67:7->20):
Sink 'trashBin' has no connections to any connector:
sink trashBin is { inlet SOT_In is SomeOtherThing.ItHappened }
passes/input/check/everything/everything.riddl(67:26->38):
Inlet 'SOT_In' is not connected:
sink trashBin is { inlet SOT_In is SomeOtherThing.ItHappened }
passes/input/check/everything/everything.riddl(69:7->28):
Metadata in State 'otherThingState' should not be empty:
state otherThingState of type Everything.StateType
passes/input/check/everything/everything.riddl(69:7->28):
State 'otherThingState' should have a description:
state otherThingState of type Everything.StateType
passes/input/check/everything/everything.riddl(70:7->18):
Handler 'fee' in Entity 'SomeOtherThing' handles no commands or queries; entity handlers typically handle commands and queries:
handler fee is {
passes/input/check/everything/everything.riddl(7:5->18):
Source 'Source' should have a handler:
source Source is { outlet Commands is DoAThing } with { described by "Data Source" }
passes/input/check/everything/everything.riddl(7:24->39):
Outlet 'Commands' is overloaded with 2 kinds:
Outlet 'Commands' at passes/input/check/everything/everything.riddl(7:24->52),
Inlet 'Commands' at passes/input/check/everything/everything.riddl(8:20->47):
source Source is { outlet Commands is DoAThing } with { described by "Data Source" }
passes/input/check/everything/everything.riddl(8:5->14):
Sink 'Sink' should have a handler:
sink Sink is { inlet Commands is DoAThing } with { explained as "Data Sink" }