From: "mbrk.uk@googlemail.com" <mbrk.uk@googlemail.com>
Subject: Refinement & Abstraction question
Date: Sat, 14 Nov 2009 13:18:07 -0800 (PST)
Date: 2009-11-14T13:18:07-08:00 [thread overview]
Message-ID: <c5a32ebf-0349-4a9b-8c20-84eb2e1b6945@d21g2000yqn.googlegroups.com> (raw)
Hello everbody,
in SPARK.
General question , what is the deference between keeping inherit
statement in ADS file rather than moving it to the ADB file.
Is there a rule ? or it is against the hiding principle?
next reply other threads:[~2009-11-14 21:18 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-11-14 21:18 mbrk.uk [this message]
2009-11-15 9:35 ` Refinement & Abstraction question Phil Thornley
2009-11-15 17:45 ` mbrk.uk
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox