From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Ada in command / control systems Date: Sat, 09 Mar 2019 08:16:12 +0000 Organization: A noiseless patient Spider Message-ID: References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com> <72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com> <9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com> <520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="ee6e7f9d60dc1279687b9a36b74e86a4"; logging-data="12057"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19jMHyHWpCCWPH8IpkgxWOBEq8z4/jyrSU=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin) Cancel-Lock: sha1:ycAB7+d7p9smpa2L8tFLwFLGzYY= sha1:dLNYQVOpSZFRoTtB27anEXciDLk= Xref: reader01.eternal-september.org comp.lang.ada:55817 Date: 2019-03-09T08:16:12+00:00 List-Id: russ lyttle writes: > Which brings up a recurring debate. If there is a conflict between two > diagrams, which takes precedence? Neither, in my view (as a purist): there's a contradiction which needs to be resolved.