From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Record type with check?
Date: 09 Jan 2001 17:37:02 +0100
Date: 2001-01-09T17:37:02+01:00 [thread overview]
Message-ID: <87r92cof69.fsf@deneb.enyo.de> (raw)
In-Reply-To: 868zolm9dp.fsf@book.mteege.de
Matthias Teege <matthias@mteege.de> writes:
> ist there any way to build a record type like this:
>
> type Datum is
> record
> Var_A : Integer;
> Var_B : Integer;
> end record;
>
> which guarantees that Var_B is bigger than Var_A?
No, I don't think there is.
Of course, you can 'Datum' a private type and use get/set subprograms
to access 'Var_A' and 'Var_B', but that's probably not what you are
asking for.
next prev parent reply other threads:[~2001-01-09 16:37 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-01-09 8:12 Record type with check? Matthias Teege
2001-01-09 16:37 ` Florian Weimer [this message]
2001-01-09 22:12 ` Stephen Leake
2001-01-10 7:47 ` Matthias Teege
2001-01-10 17:05 ` Nick Roberts
2001-01-10 21:41 ` Robert Dewar
2001-01-13 0:19 ` mark_lundquist
2001-01-13 1:08 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox