Skip to content

Commit bf15e80

Browse files
andysun2015Sarena Meas
authored and
Sarena Meas
committed
restructure directory
1 parent 614d41c commit bf15e80

21 files changed

+1395
-30
lines changed

.gitignore

+13
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
# Ignore documentation output.
2+
**/docs/**/output/*
3+
4+
# Ignore CMake build directory.
5+
build/
6+
7+
# Ignore build artifacts
8+
*.o
9+
10+
# Ignore code coverage artifacts
11+
*.gcda
12+
*.gcno
13+
*.gcov

.gitmodules

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
[submodule "test/unit-test/CMock"]
2+
path = test/unit-test/CMock
3+
url = https://github.com/ThrowTheSwitch/CMock
4+
[submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
5+
path = test/cbmc/aws-templates-for-cbmc-proofs
6+
url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git

CMakeLists.txt

-19
This file was deleted.

shadowFilePaths.cmake

+2-2
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,8 @@
77

88
# SHADOW library source files.
99
set( SHADOW_SOURCES
10-
${MODULES_DIR}/aws/shadow/src/shadow.c )
10+
"${CMAKE_CURRENT_LIST_DIR}/source/shadow.c" )
1111

1212
# SHADOW library Public Include directories.
1313
set( SHADOW_INCLUDE_PUBLIC_DIRS
14-
${MODULES_DIR}/aws/shadow/include )
14+
"${CMAKE_CURRENT_LIST_DIR}/source/include" )
File renamed without changes.

source/lexicon.txt

+331
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,331 @@
1+
ack
2+
acked
3+
acks
4+
addrecord
5+
addtogroup
6+
api
7+
app
8+
aws
9+
bool
10+
br
11+
buffersize
12+
bytesreceived
13+
bytesrecvd
14+
bytesremaining
15+
bytessent
16+
bytestoreceive
17+
bytestorecv
18+
bytestosend
19+
calculatestateack
20+
calculatestatepublish
21+
cleansession
22+
clientidentifierlength
23+
com
24+
cond
25+
config
26+
configs
27+
connack
28+
connectinfo
29+
connectpacketsize
30+
const
31+
csdk
32+
currentstate
33+
de
34+
defragmenting
35+
deserialization
36+
deserializationresult
37+
deserialize
38+
deserializeack
39+
deserialized
40+
deserializepublish
41+
deserializing
42+
developerguide
43+
didn
44+
doesn
45+
doxygen
46+
dup
47+
emptyindex
48+
endcode
49+
endcond
50+
endif
51+
enum
52+
eventcallback
53+
filterindex
54+
fixedbuffer
55+
fn
56+
generatedtopicstringlength
57+
getconnectpacketsize
58+
getdisconnectpacketsize
59+
getincomingpackettypeandlength
60+
getnewpacketid
61+
getpacketid
62+
getpingreqpacketsize
63+
getpublish
64+
getpublishpacketsize
65+
getshadowoperationlength
66+
getsubackstatuscodes
67+
getsubscribepacketsize
68+
gettime
69+
gettimefunction
70+
gettimestampms
71+
getunsubscribepacketsize
72+
headersize
73+
html
74+
https
75+
ifndef
76+
inc
77+
incomingpacket
78+
ingroup
79+
init
80+
initializeconnectinfo
81+
initializesubscribeinfo
82+
initializewillinfo
83+
int
84+
iot
85+
isn
86+
iso
87+
keepaliveintervalsec
88+
keepalivems
89+
keepaliveseconds
90+
lastpackettime
91+
logwarn
92+
lwt
93+
managekeepalive
94+
matchtopic
95+
memcpy
96+
memset
97+
misra
98+
mqtt
99+
mqttbadparameter
100+
mqttbadresponse
101+
mqttconnected
102+
mqttconnectinfo
103+
mqttcontext
104+
mqttdeserializedinfo
105+
mqtteventcallback
106+
mqttfixedbuffer
107+
mqttgetcurrenttimefunc
108+
mqttillegalstate
109+
mqttkeepalivetimeout
110+
mqttnodataavailable
111+
mqttnomemory
112+
mqttnotconnected
113+
mqttpacketinfo
114+
mqttpuback
115+
mqttpubackpending
116+
mqttpubacksend
117+
mqttpubacktype
118+
mqttpubcomp
119+
mqttpubcomppending
120+
mqttpubcompsend
121+
mqttpublishdone
122+
mqttpublishinfo
123+
mqttpublishsend
124+
mqttpublishstate
125+
mqttpubrec
126+
mqttpubrecpending
127+
mqttpubrecsend
128+
mqttpubrel
129+
mqttpubrelpending
130+
mqttpubrelsend
131+
mqttqos
132+
mqttrecvfailed
133+
mqttsendfailed
134+
mqttserverrefused
135+
mqttsocket
136+
mqttstatecollision
137+
mqttstatecursor
138+
mqttstatenull
139+
mqttstateoperation
140+
mqttstatus
141+
mqttsubackfailure
142+
mqttsubackstatus
143+
mqttsubacksuccessqos
144+
mqttsubscribeinfo
145+
mqttsuccess
146+
mything
147+
mythingname
148+
networkbuffer
149+
networkcontext
150+
networkrecv
151+
networksend
152+
newstate
153+
noninfringement
154+
numcodes
155+
operationlen
156+
optype
157+
packetid
158+
packetidentifier
159+
packetsize
160+
packettype
161+
param
162+
passwordlength
163+
payloadlength
164+
pbuffer
165+
pbuffertosend
166+
pclientidentifier
167+
pcodes
168+
pconnack
169+
pconnectinfo
170+
pcontext
171+
pcurrentstate
172+
pcursor
173+
pdeserializedinfo
174+
pdestination
175+
pfilter
176+
pfilterindex
177+
pfixedbuffer
178+
pheadersize
179+
pincomingpacket
180+
pingreq
181+
pingreqsendtimems
182+
pingresp
183+
pingresps
184+
pismatch
185+
pmatch
186+
pmessagetype
187+
pmqttcontext
188+
pnameindex
189+
pnetworkbuffer
190+
pnetworkcontext
191+
pnetworkinterface
192+
pnewstate
193+
poutlength
194+
ppacketid
195+
ppacketidentifier
196+
ppacketinfo
197+
ppacketsize
198+
ppassword
199+
ppayload
200+
ppayloadsize
201+
ppayloadstart
202+
ppingresp
203+
ppublishinfo
204+
pqos
205+
premainingdata
206+
premaininglength
207+
presendpublish
208+
processloop
209+
psessionpresent
210+
psource
211+
pstate
212+
pstatusstart
213+
pstring
214+
psuback
215+
psubackpacket
216+
psubscribes
217+
psubscriptionlist
218+
psubstring
219+
pthingname
220+
pthingnamelength
221+
ptopic
222+
ptopicbuffer
223+
ptopicfilter
224+
ptopicname
225+
ptr
226+
ptransportinterface
227+
puback
228+
pubacks
229+
pubcomp
230+
pubcomps
231+
publishflags
232+
publishinfo
233+
publishpacketid
234+
publishstate
235+
publishtoresend
236+
pubrec
237+
pubrecs
238+
pubrel
239+
pubrels
240+
pubreltoresend
241+
pusername
242+
pwillinfo
243+
qos
244+
readfunc
245+
receiveincomingpacket
246+
receiveloop
247+
receivepacket
248+
recordcount
249+
recordindex
250+
recv
251+
recvfunc
252+
reestablishment
253+
remaininglength
254+
remainingtime
255+
remainingtimems
256+
resending
257+
reservestate
258+
responsecode
259+
searchstates
260+
serializeack
261+
serializeconnect
262+
serializedisconnect
263+
serializepayload
264+
serializepingreq
265+
serializepublish
266+
serializepublishheader
267+
serializesubscribe
268+
serializeunsubscribe
269+
sessionpresent
270+
shadowtopicstringtypedelete
271+
shadowtopicstringtypedeleteaccepted
272+
shadowtopicstringtypedeleterejected
273+
shadowtopicstringtypeget
274+
shadowtopicstringtypegetaccepted
275+
shadowtopicstringtypegetrejected
276+
shadowtopicstringtypeupdate
277+
shadowtopicstringtypeupdateaccepted
278+
shadowtopicstringtypeupdatedelta
279+
shadowtopicstringtypeupdatedocuments
280+
shadowtopicstringtypeupdaterejected
281+
shoulddelete
282+
shouldn
283+
sizeof
284+
someclientid
285+
somenetworkinterface
286+
somepassword
287+
someusername
288+
sourcelength
289+
statuscount
290+
strerror
291+
stringlength
292+
strlen
293+
struct
294+
structs
295+
suback
296+
sublicense
297+
subscribeinfo
298+
subscriptioncount
299+
subscriptionlist
300+
subscriptiontype
301+
substringlength
302+
suffixlen
303+
sys
304+
tcp
305+
thingname
306+
thingnamelength
307+
timeoutms
308+
topicfilterlength
309+
topiclength
310+
topicnamelength
311+
topictype
312+
transportinterface
313+
transportrecv
314+
transportsend
315+
uint
316+
un
317+
unsuback
318+
unsubscribelist
319+
updatestateack
320+
updatestatepublish
321+
usercallback
322+
usernamelength
323+
utf
324+
waitingforpingresp
325+
willinfo
326+
xa
327+
xb
328+
xc
329+
xd
330+
xe
331+
xf
File renamed without changes.

0 commit comments

Comments
 (0)