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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,3ad432aa4eef81c3,start
X-Google-Attributes: gid103376,public
From: rlove@antispam.neosoft.com (Robert B. Love )
Subject: Extending Nested Tagged Records
Date: 1999/12/06
Message-ID: 
 <84E639D0D9829A88.356169F32CD3866A.7936C8200D458BB1@lp.airnews.net>#1/1
X-Deja-AN: 557120621
Content-Transfer-Encoding: 7bit
X-Orig-Message-ID: <82fea3$1rd@library2.airnews.net>
Content-Type: text/plain; charset=us-ascii
NNTP-Posting-Time: Sun Dec  5 22:33:07 1999
Organization: Neosoft (using Airnews.net!)
NNTP-Proxy-Relay: library2.airnews.net
Mime-Version: 1.0
Abuse-Reports-To: abuse at airmail.net to report improper postings
Newsgroups: comp.lang.ada
Date: 1999-12-06T00:00:00+00:00
List-Id: <comp.lang.ada>


Can a tagged record owning a tagged record type have the inner
record extended?  In trying to understand how the type extension
mechanism in Ada 95 works I'm replacing nested variant records with 
tagged types.  Does this even make sense?  Or is a complete redesign
the better way to go?

Here is a code snippet--

type telemetry_type is tagged 
	record
		speed: real;
		error_flag: boolean;
	end record;


type motorized_device is tagged
	record
		speed: real;
		torque : real;
		current_cmd : cmd_type;
		telemetry: telemetry_type;   -- this is what I want 
	end record;                         -- to extend

type device_1 is new motorized_device with
	record
		shaft_position: real;
		shaft_load : real;
	end record;

type device_2 is new motorized_device with
	record
		latch_angle: real;
		end_of_travel_switch: boolean;
	end record

In the definitions of device_1 and device_2 how can I extend the
telemetry type?



--
----------------------------------------------------------------
 Bob Love                                   
 rlove@neosoft.com                            
----------------------------------------------------------------