7f90924706
Former-commit-id:7fa9dbd5fb[formerly4bfbdad17d] [formerly9f8cb727a5] [formerly7fa9dbd5fb[formerly4bfbdad17d] [formerly9f8cb727a5] [formerly8485b90ff8[formerly9f8cb727a5[formerly bf53d06834caa780226121334ac1bcf0534c3f16]]]] Former-commit-id:8485b90ff8Former-commit-id:40aa780b3d[formerly33a67cdd82] [formerly 73930fb29d0c1e91204e76e6ebfdbe757414f319 [formerlya28d70b5c5]] Former-commit-id: a16a1b4dd44fc344ee709abbe262aeed58a8339b [formerlye5543a0e86] Former-commit-id:0c25458510
46 lines
1.1 KiB
Promela
46 lines
1.1 KiB
Promela
C************************************************************************
|
|
C* BRIDGE.PRM *
|
|
C* *
|
|
C* This file contains parameters defined for use in the decoder bridge *
|
|
C* routines. *
|
|
C* *
|
|
C** *
|
|
C* Log: *
|
|
C* S. Jacobs/NMC 7/95 *
|
|
C* S. Jacobs/NCEP 12/02 Increased DCMXBF from 16kb to 100kb *
|
|
C************************************************************************
|
|
INTEGER DCDFTM, DCMXLN, DCMXBF, EOD,
|
|
+ EBNMEM, EBREAD, EBTMOUT, EBFULL, EBEMPT
|
|
C!
|
|
PARAMETER ( DCDFTM = 600 )
|
|
C! Default timeout
|
|
C!
|
|
PARAMETER ( DCMXLN = 132 )
|
|
C! Max char length
|
|
C!
|
|
PARAMETER ( DCMXBF = 102400 )
|
|
C! Max bulletin length
|
|
C!
|
|
PARAMETER ( EOD = -2 )
|
|
C! End of data marker
|
|
C!
|
|
C! Error list
|
|
C!
|
|
PARAMETER ( EBNMEM = -4 )
|
|
C! No memory for malloc
|
|
C!
|
|
PARAMETER ( EBREAD = -5 )
|
|
C! Error reading into buffer
|
|
C!
|
|
PARAMETER ( EBTMOUT = -6 )
|
|
C! Time out has occurred
|
|
C!
|
|
PARAMETER ( EBFULL = -7 )
|
|
C! The buffer is full
|
|
C!
|
|
PARAMETER ( EBEMPT = -8 )
|
|
C! The buffer is empty
|
|
C!
|
|
PARAMETER ( EBEND = -9 )
|
|
C! End of data input
|
|
C!
|