[splint-discuss] Parsing error
Putten Bob van der
Bob.van.der.Putten at KONE.com
Tue Apr 8 04:36:19 PDT 2008
I am new to Splint.
I wrote the following code:
unsigned int U0BRG = 0x3A1;
U0BRG = 0x123;
Will result in a parsing error
However,
unsigned int dada_U0BRG = 0x3A1;
dada_U0BRG = 0x123;
is accepted.
Why??
With kind regards / Mit freundlichen Grüssen
B.F.A. van der Putten
Engineer D&D
KONE Deursystemen BV
Accustraat 21
3903 LX Veenendaal
Postbus 94
3900 AB Veenendaal
Tel. +31 (0) 318 532 333
Fax +31 (0) 318 532 339
bob.van.der.putten at kone.com
Bezoek onze website www.kone.com <http://www.kone.com/nl_NL/main/> voor
informatie over levering en onderhoud van liften, roltrappen, rolpaden,
gevelliftinstallaties en deursystemen.
Op deze e-mail is de volgende disclaimer
<http://www.kone.com/nl_NL/main/0,,content=5283,00.html> van toepassing
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080408/9847a833/attachment.html
More information about the splint-discuss
mailing list