From: Shark8 <OneWingedShark@gmail.com>
Subject: Re: Type_Invariant and instance creation
Date: Mon, 21 Jul 2014 19:13:03 -0600
Date: 2014-07-21T19:13:03-06:00 [thread overview]
Message-ID: <AUizv.37415$ic5.2474@fx21.iad> (raw)
In-Reply-To: <lqk7p5$4m3$1@loke.gir.dk>
On 21-Jul-14 17:29, Randy Brukardt wrote:
> I'd guess that both are wrong, although it may not have to do with this
> example.:-) There's lots of issues with Type_Invariant (it seems SO
> simple); we've pretty much given up on making it bullet-proof. We just
> approved yet another AI on the topic (AI12-0042-1/09 -- 8 versions before
> this one!) and I suspect that we haven't found all of the problems. Both
> predicates and postconditions are in better shape, so I'd use them more than
> type invariants.
That's disappointing to hear.
I was poking around the WordPerfect SDK [WPD format], and was thinking
Type_Invariant would be perfect for that.
Type File_Header is record
Padding_Prefix : Interfaces.Unsigned_8;
Signature : String(1..3);
Document_Offset : Interfaces.Unsigned_32;
--Product : Product_Type;
Document_Type : File_Types;
end record
with Type_Invariant =>
File_Header.Padding_Prefix = 16#FF#
AND File_Header.Signature = "WPC";
prev parent reply other threads:[~2014-07-22 1:13 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-07-17 18:15 Type_Invariant and Finalize Natasha Kerensikova
2014-07-17 20:49 ` Simon Wright
2014-07-18 6:56 ` Natasha Kerensikova
2014-07-18 21:48 ` Robert A Duff
2014-07-17 21:30 ` Type_Invariant and instance creation (was: Type_Invariant and Finalize) Simon Wright
2014-07-21 23:29 ` Randy Brukardt
2014-07-22 1:13 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox