Skip to content

Commit c95d015

Browse files
committed
update
1 parent ac1e27b commit c95d015

File tree

1 file changed

+35
-0
lines changed

1 file changed

+35
-0
lines changed

sbpjson/elm/SbpJson.elm

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -944,39 +944,45 @@ type alias GridElement =
944944
}
945945

946946
{-| STEC residual (mean and standard deviation) for the given satellite at the grid point. -}
947+
947948
type alias STECResidual =
948949
{ residual : Int
949950
, stddev : Int
950951
, svID : SvID
951952
}
952953

953954
{-| A (Constellation ID, satellite ID) tuple that uniquely identifies a space vehicle. -}
955+
954956
type alias SvID =
955957
{ constellation : Int
956958
, satID : Int
957959
}
958960

959961
{-| Troposphere vertical delays (mean and standard deviation) at the grid point. -}
962+
960963
type alias TroposphericDelayCorrection =
961964
{ hydro : Int
962965
, stddev : Int
963966
, wet : Int
964967
}
965968

966969
{-| Contains one tropo delay, plus STEC residuals for each satellite at the grid point. -}
970+
967971
type alias GridElementNoStd =
968972
{ index : Int
969973
, stecResiduals : Array STECResidualNoStd
970974
, tropoDelayCorrection : TroposphericDelayCorrectionNoStd
971975
}
972976

973977
{-| STEC residual for the given satellite at the grid point. -}
978+
974979
type alias STECResidualNoStd =
975980
{ residual : Int
976981
, svID : SvID
977982
}
978983

979984
{-| Troposphere vertical delays at the grid point. -}
985+
980986
type alias TroposphericDelayCorrectionNoStd =
981987
{ hydro : Int
982988
, wet : Int
@@ -1010,6 +1016,7 @@ type alias MsgAcqResult =
10101016
}
10111017

10121018
{-| Signal identifier containing constellation, band, and satellite identifier. -}
1019+
10131020
type alias GnssSignal =
10141021
{ code : Int
10151022
, sat : Int
@@ -1041,6 +1048,7 @@ type alias AcqSvProfile =
10411048
}
10421049

10431050
{-| Digital signature using AES-CMAC 128 algorithm used for data integrity. -}
1051+
10441052
type alias MsgAESCmacSignature =
10451053
{ certificateID : Array Int
10461054
, flags : Int
@@ -1205,6 +1213,7 @@ type alias MsgBootloaderHandshakeResp =
12051213
}
12061214

12071215
{-| The host initiates the bootloader to jump to the application. -}
1216+
12081217
type alias MsgBootloaderJumpToApp =
12091218
{ jump : Int
12101219
}
@@ -1321,6 +1330,7 @@ type alias MsgDops =
13211330
}
13221331

13231332
{-| A DER encoded x.509 ECDSA-256 certificate (using curve secp256r1). -}
1333+
13241334
type alias MsgEcdsaCertificate =
13251335
{ certificateBytes : Array Int
13261336
, certificateID : Array Int
@@ -1329,6 +1339,7 @@ type alias MsgEcdsaCertificate =
13291339
}
13301340

13311341
{-| An ECDSA-256 signature using SHA-256 as the message digest algorithm. -}
1342+
13321343
type alias MsgEcdsaSignature =
13331344
{ certificateID : Array Int
13341345
, flags : Int
@@ -1775,6 +1786,7 @@ type alias MsgGnssTimeOffset =
17751786
}
17761787

17771788
{-| Please see ICD-GPS-200 (30.3.3.3.1.1) for more details. -}
1789+
17781790
type alias MsgGroupDelay =
17791791
{ iscL1CA : Int
17801792
, iscL2C : Int
@@ -1925,6 +1937,7 @@ type alias MsgLinuxMemState =
19251937
}
19261938

19271939
{-| Top 10 list of processes with a large number of open file descriptors. -}
1940+
19281941
type alias MsgLinuxProcessFdCount =
19291942
{ cmdline : String
19301943
, fdCount : Int
@@ -1933,12 +1946,14 @@ type alias MsgLinuxProcessFdCount =
19331946
}
19341947

19351948
{-| Summary of open file descriptors on the system. -}
1949+
19361950
type alias MsgLinuxProcessFdSummary =
19371951
{ mostOpened : String
19381952
, sysFdCount : Int
19391953
}
19401954

19411955
{-| Top 10 list of processes with high socket counts. -}
1956+
19421957
type alias MsgLinuxProcessSocketCounts =
19431958
{ cmdline : String
19441959
, index : Int
@@ -1949,6 +1964,7 @@ type alias MsgLinuxProcessSocketCounts =
19491964
}
19501965

19511966
{-| Top 10 list of sockets with deep queues. -}
1967+
19521968
type alias MsgLinuxProcessSocketQueues =
19531969
{ addressOfLargest : String
19541970
, cmdline : String
@@ -1961,6 +1977,7 @@ type alias MsgLinuxProcessSocketQueues =
19611977
}
19621978

19631979
{-| Summaries the socket usage across the system. -}
1980+
19641981
type alias MsgLinuxSocketUsage =
19651982
{ avgQueueDepth : Int
19661983
, maxQueueDepth : Int
@@ -1969,6 +1986,7 @@ type alias MsgLinuxSocketUsage =
19691986
}
19701987

19711988
{-| This presents a summary of CPU and memory utilization, including a timestamp. -}
1989+
19721990
type alias MsgLinuxSysState =
19731991
{ flags : Int
19741992
, memTotal : Int
@@ -1996,6 +2014,7 @@ type alias MsgM25FlashWriteStatus =
19962014
}
19972015

19982016
{-| Raw data from the magnetometer. -}
2017+
19992018
type alias MsgMagRaw =
20002019
{ magX : Int
20012020
, magY : Int
@@ -2067,6 +2086,7 @@ type alias MsgNdbEvent =
20672086
}
20682087

20692088
{-| The bandwidth usage, a list of usage by interface. -}
2089+
20702090
type alias MsgNetworkBandwidthUsage =
20712091
{ interfaces : Array NetworkUsage
20722092
}
@@ -2110,6 +2130,7 @@ type alias MsgObs =
21102130
}
21112131

21122132
{-| Header of a GNSS observation message. -}
2133+
21132134
type alias ObservationHeader =
21142135
{ nObs : Int
21152136
, t : GpsTime
@@ -2212,12 +2233,14 @@ type alias MsgOrientQuat =
22122233
}
22132234

22142235
{-| The OSR message contains network corrections in an observation-like format. -}
2236+
22152237
type alias MsgOsr =
22162238
{ header : ObservationHeader
22172239
, obs : Array PackedOsrContent
22182240
}
22192241

22202242
{-| Pseudorange and carrier phase network corrections for a satellite signal. -}
2243+
22212244
type alias PackedOsrContent =
22222245
{ flags : Int
22232246
, ionoStd : Int
@@ -2597,6 +2620,7 @@ type alias MsgReferenceFrameParam =
25972620
}
25982621

25992622
{-| This message from the host resets the Piksi back into the bootloader. -}
2623+
26002624
type alias MsgReset =
26012625
{ flags : Int
26022626
}
@@ -2747,6 +2771,7 @@ type alias SolutionInputType =
27472771
}
27482772

27492773
{-| Spectrum analyzer packet. -}
2774+
27502775
type alias MsgSpecan =
27512776
{ amplitudeRef : Float
27522777
, amplitudeUnit : Float
@@ -2936,6 +2961,7 @@ type alias MsgSsrGriddedCorrectionBounds =
29362961
}
29372962

29382963
{-| STEC polynomial and bounds for the given satellite. -}
2964+
29392965
type alias STECSatElementIntegrity =
29402966
{ stecBoundMu : Int
29412967
, stecBoundMuDot : Int
@@ -2979,6 +3005,7 @@ type alias MsgSsrOrbitClockBounds =
29793005
}
29803006

29813007
{-| Orbit and clock bound. -}
3008+
29823009
type alias OrbitClockBound =
29833010
{ clockBoundMu : Int
29843011
, clockBoundSig : Int
@@ -3000,6 +3027,7 @@ type alias MsgSsrOrbitClockBoundsDegradation =
30003027
}
30013028

30023029
{-| Orbit and clock bound degradation. -}
3030+
30033031
type alias OrbitClockBoundDegradation =
30043032
{ clockBoundMuDot : Int
30053033
, clockBoundSigDot : Int
@@ -3029,6 +3057,7 @@ type alias MsgSsrPhaseBiases =
30293057
}
30303058

30313059
{-| Phase biases are to be added to carrier phase measurements. -}
3060+
30323061
type alias PhaseBiasesContent =
30333062
{ bias : Int
30343063
, code : Int
@@ -3066,6 +3095,7 @@ type alias MsgSsrStecCorrection =
30663095
}
30673096

30683097
{-| STEC polynomial for the given satellite. -}
3098+
30693099
type alias STECSatElement =
30703100
{ stecCoeff : Array Int
30713101
, stecQualityIndicator : Int
@@ -3179,13 +3209,15 @@ type alias MsgSvAzEl =
31793209
}
31803210

31813211
{-| Satellite azimuth and elevation. -}
3212+
31823213
type alias SvAzEl =
31833214
{ az : Int
31843215
, el : Int
31853216
, sid : GnssSignal
31863217
}
31873218

31883219
{-| This message includes telemetry pertinent to satellite signals available to Starling. -}
3220+
31893221
type alias MsgTelSv =
31903222
{ nObs : Int
31913223
, originFlags : Int
@@ -3216,13 +3248,15 @@ type alias MsgThreadState =
32163248
}
32173249

32183250
{-| When enabled, a tracking channel can output the correlations at each update interval. -}
3251+
32193252
type alias MsgTrackingIq =
32203253
{ channel : Int
32213254
, corrs : Array TrackingChannelCorrelation
32223255
, sid : GnssSignal
32233256
}
32243257

32253258
{-| Structure containing in-phase and quadrature correlation components. -}
3259+
32263260
type alias TrackingChannelCorrelation =
32273261
{ i : Int
32283262
, q : Int
@@ -3236,6 +3270,7 @@ type alias MsgTrackingState =
32363270
}
32373271

32383272
{-| Tracking channel state for a specific satellite signal and measured signal power. -}
3273+
32393274
type alias TrackingChannelState =
32403275
{ cn0 : Int
32413276
, fcn : Int

0 commit comments

Comments
 (0)