From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Interfaces.Shift_Left
Date: Tue, 20 Dec 2011 11:08:23 +0100
Date: 2011-12-20T11:08:23+01:00 [thread overview]
Message-ID: <mofl216j64ny$.ljrewv7yk66v$.dlg@40tude.net> (raw)
In-Reply-To: jcolev$o4n$1@munin.nbi.dk
On Mon, 19 Dec 2011 18:38:53 -0600, Randy Brukardt wrote:
[It is imperative vs. declarative debate]
> Obviously, your mileage varies from mine. I presume you're not documenting
> "the specification" in the code, because otherwise you would have to write
> it twice (which would make the record types a lot more attactive).
It must be done anyway, because when it comes to the protocols they are
normally defined not in bits and offsets, but in some quite ugly
quasi-language.
Extraction of bits in an imperative manner as Niklas does, I do, and I bet
many people dealing with protocols do, serves documentation purpose better,
than translation from one cryptic declarative language to another (of Ada
representation clauses).
And fields is just a minor problem. The protocols have lots of other
encoding stuff, which simply cannot be expressed by any clause. E.g. chain
codes, padding, check sums etc.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2011-12-20 10:09 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-12-12 22:30 Interfaces.Shift_Left awdorrin
2011-12-12 23:34 ` Interfaces.Shift_Left Simon Wright
2011-12-13 1:36 ` Interfaces.Shift_Left Adam Beneschan
2011-12-13 12:00 ` Interfaces.Shift_Left Brian Drummond
2011-12-13 13:15 ` Interfaces.Shift_Left awdorrin
2011-12-13 21:48 ` Interfaces.Shift_Left Randy Brukardt
2011-12-14 18:28 ` Interfaces.Shift_Left awdorrin
2011-12-14 22:49 ` Interfaces.Shift_Left Randy Brukardt
2011-12-15 9:51 ` Interfaces.Shift_Left Niklas Holsti
2011-12-16 0:23 ` Interfaces.Shift_Left Randy Brukardt
2011-12-18 20:47 ` Interfaces.Shift_Left Niklas Holsti
2011-12-20 0:38 ` Interfaces.Shift_Left Randy Brukardt
2011-12-20 2:18 ` Interfaces.Shift_Left Shark8
2011-12-20 10:08 ` Dmitry A. Kazakov [this message]
2011-12-20 19:38 ` Interfaces.Shift_Left Niklas Holsti
2011-12-20 20:46 ` Interfaces.Shift_Left Niklas Holsti
2011-12-20 21:13 ` Interfaces.Shift_Left Simon Wright
2011-12-20 21:08 ` Interfaces.Shift_Left Simon Wright
2011-12-20 23:26 ` Interfaces.Shift_Left Randy Brukardt
2011-12-20 23:36 ` Interfaces.Shift_Left Randy Brukardt
2011-12-21 0:44 ` Interfaces.Shift_Left Georg Bauhaus
2011-12-21 7:23 ` Interfaces.Shift_Left AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox