dosdiosas_的博客

在这里值得注意的是，尽管根据原有的代码实例，定义BOX为一个limited类型的，但是我们知道limited关键字修饰的类型定义的对象，是不允许进行赋值以及其他的比较操作的，所以，原有的教程出现了纰漏，这里进行修正。shape.adspackage Shape is type BOX is -- limited record Length : INTEGER; Width : INTEGER; Height : INTEGER;

私有类型(Private Type)和有限专用类型（Limited Private Type)的区别在于在程序包外，对私有类型数据只能执行 := 和 = 操作如果嫌私有类型的 := 和 = 这两个默认操作也多余，则使用有限专用类型，也就是说被声明为 limitedprivate类型的话，其私有变量是不能进行 判等，赋值操作的three.ads-- This package uses a data structure composed of three INTEGER-- variables. I

three.adspackage Three istype DATA_STRUCTURE is private;function "+"(Data1, Data2 : DATA_STRUCTURE) return DATA_STRUCTURE;function "-"(Data1, Data2 : DATA_STRUCTURE) return DATA_STRUCTURE;function Build_Structure(Val1, Val2, Val3 : INTEGER) return

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Infix is type THREE_INTS is record Length,Height,Width:Integer; end record; Big,Medium,Sum:THREE_INTS; function "+"(Record1,Reco

procedure Variant1 is type POWER is (GAS,STEAM,DIESEL,NONE); type VEHICLE (Engine:POWER)is record Model_Year:Integer range 1888..1992; Wheels:Integer range 2..18; case Engine is when GAS=>

with Ada.Text_IO, Ada.Integer_Text_IO;use Ada.Text_IO, Ada.Integer_Text_IO;procedure Discrim4 is type SQUARE is array(INTEGER range <>, INTEGER range <>) of INTEGER; type LINEAR_TYPE is array(INTEGER range &lt

with Ada.Text_IO, Ada.Integer_Text_IO;use Ada.Text_IO, Ada.Integer_Text_IO;procedure Discrim3 is type SQUARE is array(INTEGER range <>, INTEGER range <>) of INTEGER; type LINEAR_TYPE is array(INTEGER range &lt

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Discrim2 is type SQUARE is array (Integer range<>,Integer range<>)of Integer; type LINEAR_TYPE is array (Integer range<>)of Positive; t

with Ada.Text_IO, Ada.Integer_Text_IO;use Ada.Text_IO, Ada.Integer_Text_IO;procedure Discrim1 is type SQUARE is array(INTEGER range <>, INTEGER range <>) of INTEGER; type LINEAR_TYPE is array(INTEGER range &lt

with Ada.Text_IO,Ada.Integer_Text_IO,Ada.Float_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO,Ada.Float_Text_IO;procedure UnaryOp is type ARY_INT is array(1..6) of INTEGER; Crowd, Group1, Group2 : ARY_INT; function "+"(In_Array1, In_Array2

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure ArrayOp2 is type ARY_INT is array(1..6) of Integer; Crowd,Group1,Group2:ARY_INT; function "+" (In_Array1,In_Array2:ARY_INT)return ARY_INT is Te

with Ada.Text_IO;use Ada.Text_IO;procedure ArrayOps is type ARY_INT is array(1..6) of Integer; type ARY_BOOL is array(4..7) of Boolean; Do_They_Compare:Boolean; Crowd,Group1,Group2:ARY_INT; Result,Answer1,Answer2:ARY_BOOL; beg

with Ada.Text_IO,Ada.Float_Text_IO;use Ada.Text_IO,Ada.Float_Text_IO;procedure EnumAry is type DAY is (MON, TUE, WED, THU, FRI, SAT, SUN); Hours : array(DAY) of FLOAT; -- array(DAY) 代指下标的取法 Total_Hours : FLOAT; Today : DAY;

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Summer is type MY_ARRAY is array (Positive range <>) of Integer; Dummy1:constant MY_ARRAY:=(27,14,13,33); Dummy2:constant MY_ARRAY:=(112=>24,113

shape.adspackage Shape is type BOX is record Length : INTEGER; Width : INTEGER; Height : INTEGER; end record; function Make_A_Box(In_Length, In_Width, In_Height : INTEGER)

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Revers is type MY_ARRAY is array(3..10) of Integer; Store_Here:MY_ARRAY:=(3,16,-5,6,12,66,-13,57); Another :MY_ARRAY; function Reverse_Array(Data:

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure FuncRecr is START :constant :=-2; STOP :constant :=5; Result:Integer; Data_Value:Integer; function Factorial_Possible(Number:Integer)return Boolea

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Recurson is Index:Integer; procedure Print_And_Decrement(Value:in Integer)is New_Value:Integer; begin Put("The value of the index is n

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Default2 is Index:Integer; Animal_Sum:Integer; function Cow_Constant return Integer is begin return 7; end Cow_Constant; function Pig_Cons

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Defaults is Index:Integer; Animal_Sum:Integer; procedure Animals(Total:in out Integer; Cows:in Integer :=0; Pigs:in

with Ada.Text_IO, Ada.Integer_Text_IO, Ada.Exceptions;use Ada.Text_IO, Ada.Integer_Text_IO;procedure Occur is Except_ID : Ada.Exceptions.EXCEPTION_OCCURRENCE; procedure Divide_Loop is Divide_Result : INTEGER; begin for Index in 1

stuff.adspackage Stuff is Funny_Add_Error : exception; procedure Add_One(Number : in out INTEGER); function Subtract_One(Number : INTEGER) return INTEGER;end Stuff;stuff.adbwith Ada.Text_IO;use Ada.Text_IO;package body Stuff is procedu

with Ada.Text_IO;use Ada.Text_IO;procedure Except4 is procedure Try_It is Value :constant :=8; subtype LIMIT_RANGE is Integer range 14..33; Funny :LIMIT_RANGE:=Value; begin Put_Line("We are in the try_it procedure ");

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Except3 is procedure Divide_By_Zero(Count:Integer)is Divide_Result:Integer; begin Put("Count is"); Put(Count,3); Put(" and the answer is

1. Constraint_Error - 如果某些内容超出其分配范围，将发生这种情况。2. Program_Error - 如果我们试图违反 Ada 控制结构（如在函数底部下降而不返回），就会发生这种情况。3. Storage_Error - 如果我们通过递归调用或存储分配调用耗尽存储空间，就会发生这种情况。4. Tasking_Error - 当尝试违反规则使用某种形式的任务时，将发生这种情况。...

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Except2 is procedure Divide_Loop(Index : in Integer)is Divide_Result:Integer; begin Put("Index is"); Put(Index,3); Put(" and the answer

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure Except1 is procedure Divide_Loop is Divide_Result:Integer; begin for Index in 1..8 loop Put("Index is"); Put(Index,3);

-- This program will calculate the number of days old you are.-- It is a rather dumb program, but illustrates some interesting-- programming techniques. It checks all input to see that they-- are in the correct range before continuing. Since the numbe

dynstrng.adbpackage body DynStrng is -- The display procedure overloads the existing -- Put procedures to output a dynamic string. Note -- that the existing Put is used in this new Put.procedure Put(Input_Str

charstack.adbpackage body CharStack is Maximum_Size : constant := 25; Stack_List : STRING(1..Maximum_Size); -- The stack itself, purposely -- defined very small. Top_Of_Stack : INTEGER := 0; -- This will always point to -- the top

with Ada.Text_IO, Ada.Float_Text_IO;use Ada.Text_IO, Ada.Float_Text_IO;procedure Adder2 is FIRST : constant := 2; LAST : constant := 7; Sum_Of_Values : FLOAT; -- Interface of Package1 package AdderPkg is type M

         多个子程序封装在一个文件里过于庞大，且分类不清，这时就使用了程序包(package),作为一种分组机制，将子程序归类封装成独立的单元。Ada 的程序包机制主要受 Pascal 及 70 年代时的软件工程技术影响。当时很主要的一项革新就是软件包的概念。软件包使一个大程序分离成了多个单元，使软件维护更加方便，可重用性也更高，是结构化编程思想中必不可少的一部份。   &nb.

-- interface of adder packagepackage AdderPkg is type MY_ARRAY is array(Integer range <>)of Float; procedure Add_Em_Up(In_Dat:in MY_ARRAY; Sum :out Float)end AdderPkg;-- implementation of adder packagepackage body

with Ada.Text_IO;use Ada.Text_IO;procedure CH14_1 is One_Char : CHARACTER;begin Put_Line("Input characters to display, enter Q to stop."); loop -- Read one character at a time a...

with Ada.Text_IO, Ada.Integer_Text_IO;use Ada.Text_IO, Ada.Integer_Text_IO;procedure PrintOut is Turkey : FILE_TYPE;begin -- First we create the file Create(Tu...

使用数字输入时还有一个细微的差别，系统不会读取行字符的末尾，因为它不知道如何跨越它。它被卡住试图读取下一个数据点，但从来没有得到它，因为行的末尾阻止它。当检测到行尾时，或在任何其他时间，可以发出函数Skip_Line，该函数告诉函数转到下一行的开头，以访问其下一个输入数据。with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Inte...

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;ProcedureStringIn is My_File:File_Type; My_String :String(1..10); begin Open(My_File,In_File,"C:\Users\...

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure CharIn is My_File:File_Type; One_Char:Character; begin Open(My_File,In_File,"C:\Users\dosdios...

with Ada.Text_IO,Ada.Integer_Text_IO;use Ada.Text_IO,Ada.Integer_Text_IO;procedure MultOut is Numbers,Some_Text,More_Text:File_Type; Index:Integer; begin Create(Numbers,Out...

在默认情况下Put_Line(Turkey,“This is a test of turkey”);指的是向已经声明好了的文件对象输出内容，一般情况下，默认的输出指的是控制台上的输出，但是如果想要将默认的输出修改为对文件的输出，那么只需要 Set_Output(<文件对象>);，于是，在这句话下面出现的所有的put等输出语句的目标就都是文件TEST.txt，要关闭这一设置，只需要在要...