From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
To: ada-comment@ada-auth.org
Subject: Shouldn't there be a paragraph like 7.3.2(5/3) in 3.2.4?
Date: Mon, 12 May 2014 14:54:52 +0200
Date: 2014-05-12T14:54:52+02:00 [thread overview]
Message-ID: <87bnv3nomb.fsf@adaheads.sparre-andersen.dk> (raw)
Reading the fine print on subtype predicates and type invariants, I
noticed that section 3.2.4 (on subtype predicates) doesn't have a
paragraph matching 7.3.2(5/3) (on type invariants).
7.3.2(5/3): Within an invariant expression, the identifier of the first
subtype of the associated type denotes the current instance
of the type. Within an invariant expression associated with
type T, the type of the current instance is T for the
Type_Invariant aspect and T'Class for the
Type_Invariant'Class aspect.
Greetings,
Jacob
--
"Reality is that which, when you stop believing in it,
doesn't go away."
next reply other threads:[~2014-05-12 12:54 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-12 12:54 Jacob Sparre Andersen [this message]
2014-05-12 16:09 ` Shouldn't there be a paragraph like 7.3.2(5/3) in 3.2.4? Adam Beneschan
2014-05-12 22:26 ` Randy Brukardt
2014-05-13 8:53 ` Jacob Sparre Andersen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox