restructure directory

.gitignore

@@ -0,0 +1,13 @@
+# Ignore documentation output.
+**/docs/**/output/*
+
+# Ignore CMake build directory.
+build/
+
+# Ignore build artifacts
+*.o
+
+# Ignore code coverage artifacts
+*.gcda
+*.gcno
+*.gcov

.gitmodules

@@ -0,0 +1,6 @@
+[submodule "test/unit-test/CMock"]
+	path = test/unit-test/CMock
+	url = https://github.com/ThrowTheSwitch/CMock
+[submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
+	path = test/cbmc/aws-templates-for-cbmc-proofs
+	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git

shadowFilePaths.cmake

@@ -7,8 +7,8 @@
 
 # SHADOW library source files.
 set( SHADOW_SOURCES
-     ${MODULES_DIR}/aws/shadow/src/shadow.c )
+     "${CMAKE_CURRENT_LIST_DIR}/source/shadow.c" )
 
 # SHADOW library Public Include directories.
 set( SHADOW_INCLUDE_PUBLIC_DIRS
-     ${MODULES_DIR}/aws/shadow/include )
+     "${CMAKE_CURRENT_LIST_DIR}/source/include" )

source/lexicon.txt

@@ -0,0 +1,331 @@
+ack
+acked
+acks
+addrecord
+addtogroup
+api
+app
+aws
+bool
+br
+buffersize
+bytesreceived
+bytesrecvd
+bytesremaining
+bytessent
+bytestoreceive
+bytestorecv
+bytestosend
+calculatestateack
+calculatestatepublish
+cleansession
+clientidentifierlength
+com
+cond
+config
+configs
+connack
+connectinfo
+connectpacketsize
+const
+csdk
+currentstate
+de
+defragmenting
+deserialization
+deserializationresult
+deserialize
+deserializeack
+deserialized
+deserializepublish
+deserializing
+developerguide
+didn
+doesn
+doxygen
+dup
+emptyindex
+endcode
+endcond
+endif
+enum
+eventcallback
+filterindex
+fixedbuffer
+fn
+generatedtopicstringlength
+getconnectpacketsize
+getdisconnectpacketsize
+getincomingpackettypeandlength
+getnewpacketid
+getpacketid
+getpingreqpacketsize
+getpublish
+getpublishpacketsize
+getshadowoperationlength
+getsubackstatuscodes
+getsubscribepacketsize
+gettime
+gettimefunction
+gettimestampms
+getunsubscribepacketsize
+headersize
+html
+https
+ifndef
+inc
+incomingpacket
+ingroup
+init
+initializeconnectinfo
+initializesubscribeinfo
+initializewillinfo
+int
+iot
+isn
+iso
+keepaliveintervalsec
+keepalivems
+keepaliveseconds
+lastpackettime
+logwarn
+lwt
+managekeepalive
+matchtopic
+memcpy
+memset
+misra
+mqtt
+mqttbadparameter
+mqttbadresponse
+mqttconnected
+mqttconnectinfo
+mqttcontext
+mqttdeserializedinfo
+mqtteventcallback
+mqttfixedbuffer
+mqttgetcurrenttimefunc
+mqttillegalstate
+mqttkeepalivetimeout
+mqttnodataavailable
+mqttnomemory
+mqttnotconnected
+mqttpacketinfo
+mqttpuback
+mqttpubackpending
+mqttpubacksend
+mqttpubacktype
+mqttpubcomp
+mqttpubcomppending
+mqttpubcompsend
+mqttpublishdone
+mqttpublishinfo
+mqttpublishsend
+mqttpublishstate
+mqttpubrec
+mqttpubrecpending
+mqttpubrecsend
+mqttpubrel
+mqttpubrelpending
+mqttpubrelsend
+mqttqos
+mqttrecvfailed
+mqttsendfailed
+mqttserverrefused
+mqttsocket
+mqttstatecollision
+mqttstatecursor
+mqttstatenull
+mqttstateoperation
+mqttstatus
+mqttsubackfailure
+mqttsubackstatus
+mqttsubacksuccessqos
+mqttsubscribeinfo
+mqttsuccess
+mything
+mythingname
+networkbuffer
+networkcontext
+networkrecv
+networksend
+newstate
+noninfringement
+numcodes
+operationlen
+optype
+packetid
+packetidentifier
+packetsize
+packettype
+param
+passwordlength
+payloadlength
+pbuffer
+pbuffertosend
+pclientidentifier
+pcodes
+pconnack
+pconnectinfo
+pcontext
+pcurrentstate
+pcursor
+pdeserializedinfo
+pdestination
+pfilter
+pfilterindex
+pfixedbuffer
+pheadersize
+pincomingpacket
+pingreq
+pingreqsendtimems
+pingresp
+pingresps
+pismatch
+pmatch
+pmessagetype
+pmqttcontext
+pnameindex
+pnetworkbuffer
+pnetworkcontext
+pnetworkinterface
+pnewstate
+poutlength
+ppacketid
+ppacketidentifier
+ppacketinfo
+ppacketsize
+ppassword
+ppayload
+ppayloadsize
+ppayloadstart
+ppingresp
+ppublishinfo
+pqos
+premainingdata
+premaininglength
+presendpublish
+processloop
+psessionpresent
+psource
+pstate
+pstatusstart
+pstring
+psuback
+psubackpacket
+psubscribes
+psubscriptionlist
+psubstring
+pthingname
+pthingnamelength
+ptopic
+ptopicbuffer
+ptopicfilter
+ptopicname
+ptr
+ptransportinterface
+puback
+pubacks
+pubcomp
+pubcomps
+publishflags
+publishinfo
+publishpacketid
+publishstate
+publishtoresend
+pubrec
+pubrecs
+pubrel
+pubrels
+pubreltoresend
+pusername
+pwillinfo
+qos
+readfunc
+receiveincomingpacket
+receiveloop
+receivepacket
+recordcount
+recordindex
+recv
+recvfunc
+reestablishment
+remaininglength
+remainingtime
+remainingtimems
+resending
+reservestate
+responsecode
+searchstates
+serializeack
+serializeconnect
+serializedisconnect
+serializepayload
+serializepingreq
+serializepublish
+serializepublishheader
+serializesubscribe
+serializeunsubscribe
+sessionpresent
+shadowtopicstringtypedelete
+shadowtopicstringtypedeleteaccepted
+shadowtopicstringtypedeleterejected
+shadowtopicstringtypeget
+shadowtopicstringtypegetaccepted
+shadowtopicstringtypegetrejected
+shadowtopicstringtypeupdate
+shadowtopicstringtypeupdateaccepted
+shadowtopicstringtypeupdatedelta
+shadowtopicstringtypeupdatedocuments
+shadowtopicstringtypeupdaterejected
+shoulddelete
+shouldn
+sizeof
+someclientid
+somenetworkinterface
+somepassword
+someusername
+sourcelength
+statuscount
+strerror
+stringlength
+strlen
+struct
+structs
+suback
+sublicense
+subscribeinfo
+subscriptioncount
+subscriptionlist
+subscriptiontype
+substringlength
+suffixlen
+sys
+tcp
+thingname
+thingnamelength
+timeoutms
+topicfilterlength
+topiclength
+topicnamelength
+topictype
+transportinterface
+transportrecv
+transportsend
+uint
+un
+unsuback
+unsubscribelist
+updatestateack
+updatestatepublish
+usercallback
+usernamelength
+utf
+waitingforpingresp
+willinfo
+xa
+xb
+xc
+xd
+xe
+xf