SDL-News: Bit field definition & Compile warning


Subject: SDL-News: Bit field definition & Compile warning
From: Haedong Lee (hdlee#cs.knu.ac.kr)
Date: Fri Sep 08 2000 - 06:30:13 GMT


Hi to SDL users.

I am new to SDL. I am trying to imlement WAP using SDT(Telelogic Tau 3.5).
I have the following problem, when I compile a validator executable.


WTP spec defined invoke PDU header structure at the figure below.




I define invoke PDU header structure in SDL like below.

NEWTYPE InvokeHDR Struct
 CON Integer:1; PduType Integer:4; GTR Integer:1; TTR Integer:1; RID Integer:1;
 TID Integer:16;
 Version Integer:2; TIDnew Integer:1; UP Integer:1^A ; RES Integer:2; TCL Integer:2;
ENDNEWTYPE;



But I encounter the following warnings.....

+ Make started
Conversion of SDL to PR started
Conversion to PR completed
Syntactic analysis started
Syntactic analysis completed
Semantic analysis started

WARNING 298 Accumulated expression depth: 0 parts: 0 matches: 0
Semantic analysis completed
Code generation started
Code generation completed
Compile and link started
Making in /user/cs/hdlee/wtp0907/wtps/autolink/
make -f wtp.m sctdir=$sdtdir/SCTAVALIDATOR
cc -I/usr1/tau35/sdt/sdtdir/sunos5sdtdir/SCTAVALIDATOR -c -Xc -O -DSCTSBAUI -DSUN5_ANSICC wtp.c -o wtp_vld.o
"wtp.c", line 211: warning: nonportable bit-field type
"wtp.c", line 212: warning: nonportable bit-field type
"wtp.c", line 213: warning: nonportable bit-field type
"wtp.c", line 214: warning: nonportable bit-field type

                " " "
"wtp.c", line 416: warning: nonportable bit-field type
"wtp.c", line 417: warning: nonportable bit-field type
cc wtp_vld.o /usr1/tau35/sdt/sdtdir/sunos5sdtdir/SCTAVALIDATOR/Validator.o -lsocket -lnsl -O -o wtp_vld.val
Compile and link completed


--------------------------------------------------

Number of warnings: 1
+ Make completed

 

The below is C source code.

   205 /*****
   206 * NEWTYPE InvokeHDR (TYPE section)
   207 * <<SYSTEM wtp>>
   208 * #SDTREF(SDL,/user/cs/hdlee/wtp0907/wtps/wtp.ssy(1),119(10,40),2,9)
   209 ******/
   210 typedef struct z0T_InvokeHDR_s {
   211 SDL_Integer CON : SDL_INTEGER_LIT(1);
   212 SDL_Integer PduType : SDL_INTEGER_LIT(4);
   213 SDL_Integer GTR : SDL_INTEGER_LIT(1);
   214 SDL_Integer TTR : SDL_INTEGER_LIT(1);
   215 SDL_Integer RID : SDL_INTEGER_LIT(1);
   216 SDL_Integer TID : SDL_INTEGER_LIT(16);
   217 SDL_Integer Version : SDL_INTEGER_LIT(2);
   218 SDL_Integer TIDnew : SDL_INTEGER_LIT(1);
   219 SDL_Integer UP : SDL_INTEGER_LIT(1);
   220 SDL_Integer RES : SDL_INTEGER_LIT(2);
   221 SDL_Integer TCL : SDL_INTEGER_LIT(2);
   222 } z0T_InvokeHDR;
   223 #ifndef XOPTSORT
   224 extern XCONST struct xSortIdStruct ySrtR_z0T_InvokeHDR;
   225 #define ySrtN_z0T_InvokeHDR (&ySrtR_z0T_InvokeHDR)
   226 #endif
   227



And anyway, there is no error.
So at Validator UI, I was trying to open the generated validator executable
But Validator UI didn't open validator executable. just stopped
I am thinking this situation is from the above warnings.....

Please, can anyone help me? I am dying from this.......

Thanks in advance.

My e-mail address is hdlee@cs.knu.ac.kr










Hi to SDL users.
 
I am new to SDL. I am trying to imlement WAP using SDT(Telelogic Tau 3.5).
I have the following problem, when I compile a validator executable.
 
 
WTP spec defined invoke PDU header structure at the figure below.

 
 
I define invoke PDU header structure in SDL like below.
 
NEWTYPE InvokeHDR Struct
 CON Integer:1; PduType Integer:4; GTR Integer:1; TTR Integer:1; RID Integer:1;
 TID Integer:16;
 Version Integer:2; TIDnew Integer:1; UP Integer:1^A    ; RES Integer:2; TCL Integer:2;
ENDNEWTYPE;
 
 
But I encounter the following warnings.....

+ Make started
Conversion of SDL to PR started
Conversion to PR completed
Syntactic analysis started
Syntactic analysis completed
Semantic analysis started
 
WARNING 298 Accumulated expression depth: 0 parts: 0 matches: 0
Semantic analysis completed
Code generation started
Code generation completed
Compile and link started
Making in /user/cs/hdlee/wtp0907/wtps/autolink/
make -f wtp.m sctdir=$sdtdir/SCTAVALIDATOR
cc -I/usr1/tau35/sdt/sdtdir/sunos5sdtdir/SCTAVALIDATOR -c -Xc -O -DSCTSBAUI -DSUN5_ANSICC wtp.c -o wtp_vld.o
"wtp.c", line 211: warning: nonportable bit-field type
"wtp.c", line 212: warning: nonportable bit-field type
"wtp.c", line 213: warning: nonportable bit-field type
"wtp.c", line 214: warning: nonportable bit-field type

                " " "
"wtp.c", line 416: warning: nonportable bit-field type
"wtp.c", line 417: warning: nonportable bit-field type
cc  wtp_vld.o /usr1/tau35/sdt/sdtdir/sunos5sdtdir/SCTAVALIDATOR/Validator.o -lsocket -lnsl  -O -o wtp_vld.val
Compile and link completed
 

--------------------------------------------------
 
Number of warnings: 1
+ Make completed
 
 
The below is C source code.
 
   205  /*****
   206  * NEWTYPE InvokeHDR  (TYPE section)
   207  * <<SYSTEM wtp>>
   208  * #SDTREF(SDL,/user/cs/hdlee/wtp0907/wtps/wtp.ssy(1),119(10,40),2,9)
   209  ******/
   210  typedef struct z0T_InvokeHDR_s {
   211      SDL_Integer  CON : SDL_INTEGER_LIT(1);
   212      SDL_Integer  PduType : SDL_INTEGER_LIT(4);
   213      SDL_Integer  GTR : SDL_INTEGER_LIT(1);
   214      SDL_Integer  TTR : SDL_INTEGER_LIT(1);
   215      SDL_Integer  RID : SDL_INTEGER_LIT(1);
   216      SDL_Integer  TID : SDL_INTEGER_LIT(16);
   217      SDL_Integer  Version : SDL_INTEGER_LIT(2);
   218      SDL_Integer  TIDnew : SDL_INTEGER_LIT(1);
   219      SDL_Integer  UP : SDL_INTEGER_LIT(1);
   220      SDL_Integer  RES : SDL_INTEGER_LIT(2);
   221      SDL_Integer  TCL : SDL_INTEGER_LIT(2);
   222  } z0T_InvokeHDR;
   223  #ifndef XOPTSORT
   224  extern XCONST struct xSortIdStruct ySrtR_z0T_InvokeHDR;
   225  #define ySrtN_z0T_InvokeHDR  (&ySrtR_z0T_InvokeHDR)
   226  #endif
   227
 
 
 
And anyway, there is no error.
So at Validator UI, I was trying to open the generated validator executable
But Validator UI didn't open validator executable. just stopped
I am thinking this situation is from the above warnings.....
 
Please, can anyone help me?  I am dying from this.......
 
Thanks in advance.
 
My e-mail address is  hdlee@cs.knu.ac.kr 
 
 
 
 
 
 
 
 
 
 




This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:49 GMT