Docsity
Docsity
Prepare for your exams
Prepare for your exams

Study with the several resources on Docsity

Earn points to download
Earn points to download

Earn points by helping other students or get them with a premium plan

Guidelines and tips
Guidelines and tips
Sell on Docsity
Sell on Docsity
Docsity AI
Docsity AI
Log inSign up

Prepare for your exams

Study with the several resources on Docsity

Find documents

Prepare for your exams with the study notes shared by other students like you on Docsity

Search for your university

Find the specific documents for your university's exams

Docsity AINEW

Summarize your documents, ask them questions, convert them into quizzes and concept maps

Explore questions

Clear up your doubts by reading the answers to questions asked by your fellow students

Earn points to download

Earn points by helping other students or get them with a premium plan

Share documents
download point icon20 Points

For each uploaded document

Answer questions
download point icon5 Points

For each given answer (max 1 per day)

All the ways to get free points
Get points immediately

Choose a premium plan with all the points you need

Study Opportunities

Choose your next study program

Get in touch with the best universities in the world. Search through thousands of universities and official partners

Community

Ask the community

Ask the community for help and clear up your study doubts

Free resources

Our save-the-student-ebooks!

Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors

Ada Programming: Implementing Predecessor and Successor Functions for an Enumeration Type, Exercises of Aeronautical Engineering

Biju Patnaik University of TechnologyAeronautical Engineering

An ada code example of implementing predecessor and successor functions for an enumeration type named day. The code includes package specification, implementation, and testing. The day type consists of seven enumerated values: monday through sunday.

Typology: Exercises

2011/2012

Uploaded on 07/20/2012

savitri_122
savitri_122 🇮🇳

4.6

(14)

184 documents

1 / 3

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
C9-1
Algorithm
Package Specification
1. Declare the type.
2. Create a new package within the package specification to provide predefined
functions for the enumeration type.
3. Declare the function prototypes for both the predecessor and successor functions.
Package Implementation
1. Successor function:
a. if the input_value = Type’Last then
return Type’First
b. else return Type’Succ(input_value);
2. Predecessor function:
a. if the input_value = Type’First then
return Type’Last
b. else return Type’Pred(input_value);
Code Listing
Checking: c:/docume~2/jk/desktop/16070/codeso~1/my_type_package.ads (source file time stamp: 2003-
09-24 01:59:20)
1. -----------------------------------------------------------
2. -- Package specified to declare the type and two functions
3. -- Specifier : Jayakanth Srinivasan
4. -- Date Last Modified : 09/23/2003
5. -----------------------------------------------------------
6.
7. with Ada.Text_Io;
8.
9. package My_Type_Package is
10.
11. type Day is
12. (Monday,
13. Tuesday,
14. Wednesday,
15. Thursday,
16. Friday,
17. Saturday,
18. Sunday);
docsity.com
pf3

Partial preview of the text

Download Ada Programming: Implementing Predecessor and Successor Functions for an Enumeration Type and more Exercises Aeronautical Engineering in PDF only on Docsity!

C9-

Algorithm

Package Specification

1. Declare the type.

2. Create a new package within the package specification to provide predefined

functions for the enumeration type.

3. Declare the function prototypes for both the predecessor and successor functions.

Package Implementation

1. Successor function:

a. if the input_value = Type’Last then

return Type’First

b. else

return Type’Succ(input_value);

2. Predecessor function:

a. if the input_value = Type’First then

return Type’Last

b. else

return Type’Pred(input_value);

Code Listing

Checking: c:/docume~2/jk/desktop/16070/codeso~1/my_type_package.ads (source file time stamp: 2003- 09-24 01:59:20)

  2. -- Package specified to declare the type and two functions
  3. -- Specifier : Jayakanth Srinivasan
  4. -- Date Last Modified : 09/23/
  7. with Ada.Text_Io;
  9. package My_Type_Package is
  11. type Day is
  12. (Monday,
  13. Tuesday,
  14. Wednesday,
  15. Thursday,
  16. Friday,
  17. Saturday,
  18. Sunday);
  1. package Day_Io is new Ada.Text_Io.Enumeration_Io(Enum => Day);
  3. function Successor (
  4. Day_In : Day )
  5. return Day;
  7. function Predecessor (
  8. Day_In : Day )
  9. return Day;
  10. end My_Type_Package;

28 lines: No errors

Compiling: c:/docume~2/jk/desktop/16070/codeso~1/my_type_package.adb (source file time stamp: 2003- 09-24 02:00:04)

  2. -- Package implementation of My_type package
  3. -- Implementer : Jayakanth Srinivasan
  4. -- Date Last Modified : 09/23/
  7. package body My_Type_Package is
  10. function Successor (
  11. Day_In : Day )
  12. return Day is
  13. begin
  14. if Day_In = Day'Last then
  15. return Day'First;
  16. else
  17. return Day'Succ(Day_In);
  18. end if;
  19. end Successor;
  22. function Predecessor (
  23. Day_In : Day )
  24. return Day is
  25. begin
  26. if Day_In = Day'First then
  27. return Day'Last;
  28. else
  29. return Day'Pred(Day_In);
  30. end if;
  31. end Predecessor;
  32. end My_Type_Package;

32 lines: No errors