Ada程序语言参考手册(Ada programming Language

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

资源信息： 中文名: Ada程序语言参考手册 原名: Ada programming Language_Reference Manual_ 作者: Intermetrics, Inc. 图书分类: 软件 资源格式: PDF 版本: 文字版 出版社: springer 书号: n/a 发行时间: 2005年 地区: 大陆,美国 语言: 简体中文,英文 概述:

内容介绍： 　　Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现 代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大大改善软件系统 的 清晰性， 可靠 性， 有效性， 可维护性。 　　Ada的出现，标志着软件工程成功地进入了国家和国际的规模。在一定意义上说，Ada还刺破了“冯.偌依曼思维模式” (Von Newman Mind-set) 的桎梏，连同Ada的 支持环境(APSE)一起，形成了新一派的所谓 Ada文化。它是迄今为止 最复杂，最完备的软件工具。 Ada语言是 美国国防部指定的 唯一的一种可用于 军用系统开发的语言，我国军方也将Ada做为军内开发标准（GJB 1383《程序设计语言Ada》）。 　　-------------------------------------------------------------------------------- -- 为什么称作 Ada -- 　　美国国防部之所以把这种语言取名为Ada，是为了纪念奥左斯特. 艾达.洛夫莱斯伯爵夫人 (Augusta Ada Lovlace 1815-1852),她是英格兰诗人拜伦(Byron)勋爵的女儿,曾对现代计算机技术之父查尔斯.巴贝奇(Charles Babage)的笔记，手稿进行了整理和修正。从某种意义上说，她是世界上第一位计算机程序员。 　　-------------------------------------------------------------------------------- -- 为什么使用 Ada? -- 　　在明白这个问题之前，需要了解 Ada 的一系列特性。Ada 最初设计就是一门大型语言，因此在很多编程的重要问题上都有所考虑，以下文字摘自《 Ada Reference Manual》： 　　Ada最初设计时关注于 3 个最重要的问题：程序的稳定性和可维护性，程序设计和人的行为接近，并且高效。这份语言的修订版是为了提供更大的灵活性和扩展性，存储管理的额外控制和同步，以及标准化的程序包以支持重要的应用程序领域，同时保留原来的重点：稳定性，可维护性，和高效。对于程序设计语言促进可靠性和简化维护难度的需求已被确立。因此程序可读性的重要性高于轻松地写代码。例如，语言规则要求程序变量应当明确声明并指定它们的类型。由于变量的数据类型是不变的，编译器可以确保对于变量的操作适用于该类型的对象。另外，有错误倾向的符号已经避免，并且语言语法避免了编码形式的使用，使更倾向于英语的结构。最后，Ada 语言提供了程序单元单独编译的功能，使程序开发和维护简便，同样也提供了在一个单元内多个单元之间的检测。考虑人类程序员的问题也在设计时被强调。总而言之，在继续避免过多复杂句型的缺陷的同时，尝试以一致系统的方式保持相对较少的底层概念。 　　------------------------------------------------------------------------------ ada的特性： 　　Ada语言最早是针对嵌入式和实时系统设计的，并且在今天依然在这方面使用广泛。Ada95版，是由INTERMETR ICS公司的塔克。塔夫特于92到95年间设计的，当时主要是希望改进对于系统，数字，财务软件编程的支持。 　　Ada语言的重要特征就是其键入式风格，模块化设计，编译检查，平行处理，异常处理及泛型编程。Ada在95年加入了对面向对象设计的支持，包括动态分配等。 　　Ada的编译检查主要是针对没有分配的内存读写的保护，堆栈溢出错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例如航空电子学，武器及航天飞行器的操作系统中。同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中在运行以前都不能被察觉到的，需要在源码中加入特殊的检查设置才能被发现。 　　Ada的动态内存管理非常安全和高规格，它类似于JAVA语言却不同于C语言的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数运行都不支持它。A da却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在编译时候就被发现。 　　Ada语言的定义同国际标准化组织（ISO）的标准有很大不同，因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档（普遍认为是Ada的参考使用手册（ARM））寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。 Ada语言由严格的巴斯特范式定义,但是不适合一般人阅读.它是第一种同时拥有IEC/ISO/美国军用标准认证的语言. 其编译器经过严格的审查,以确保同样的代码在任一编译器上产生同样的可执行效果.并且保证并行性在代码级可以在无操作系统下同样运行. 　　Ada语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type) 、对象(object)和操作(operation)的程序包(package)。程序包可以被参数化，数据类型可以被扩展以支持可重用库的构建。操作既可以使用方便的顺序控制结构，通过子程序(subprogram)来实现，也可以通过包含并发线程同步控制的入口(entry)来实现。 　　Ada也支持单独编译(separate compilation)，在物理层上支持模块性。 Ada包含了很复杂的功能以支持实时(real-time),并发程序设计(concurrent programming)。错误可以作为异常(exception)来标示，并可以被明确地处理。 　　Ada也覆盖了系统编程(system programming)；这需要对数据表示和系统特性访问的精确控制。最后，提供了预定义的标准程序包，包括输入输出、字符串处理、数值计算的基本函数和随机数生成来。 编辑本段 特点 易读性 　　专业人员往往要读很多程序，因此要避免像 APL 那种以过于简单的符号编程的语言，虽然它们的编程速度快，但基本上是不可读的。因此目前有种说法是：读一个程序比写类似的程序还要费时，这也是有一定道理的；特别是 C/C++ 的风格比较松散，很多语法都在滥用，使程序可读性相当低，由于 Ada 的语法接近人的语言，即使是初学者，也不会感到很难读懂。 　　强类型---保证了每个对象有明确定义的值域，并防止了不同概念的逻辑混淆。许多错误可以被编译器发现，而对于其它语言来说，则可能导致一个不正确的程序。 异常处理 　　实际中，一个程序不可能保证它的正确性；因此，通过异常机制及分块结构，将错误发生的影响控制在某一特定领域。 抽象数据类型 　　将数据描述的细节同基于该类型数据的操作相分离，以提高可移植性和可靠性。 　　多任务---使程序变成一系类的并发活动，而不是单一的顺序活动；这在很多领域，特别是对于服务器程序来说有重要意义，这比调用操作系统提供的功能更有易可移植性和可靠性。 类属单元 　　很多情况下，程序的某逻辑部份与运行时值的类型无关。因此，需要提供一种机制，从一个样板中产生多个相应的程序段，以提高代码的可重用性。 　　大型编译---封装机制，单独编译及程序包的分层机制等对于编写大规模的程序来说是必不可少的。 　　Ada语言的"HHello,world!" 示例程序 　　一个Ada语言编写的"你好世界"Hello world program程序： 　　with Ada.Text_IO; 　　procedure Hello isbegin 　　Ada.Text_IO.Put_Line("Hello, world!"); 　　end Hello; 　　在Ada.Text_IO.Put_Line处有一些快捷图标，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。 　　细节性的问题请参考Ada Programming/Basic。 Ada语言宏的使用 　　Ada语言自身并不支持宏。但是强大的GCC却同样的可以为Ada语言提供宏支持。我们可以使用GCC预处理程序CPP来先进行对包含宏的源文件进行处理，输出到文件，然后将该输出文件读取并除去以#开头的行即获得了标准的Ada代码。 　　CPP命令： 　　CPP SOURCE_FILE RECORD_FILE 　　接着需要自己写一个处理程序来去除CPP输出文件中的#开头的行。 　　--文件读取函数： 　　type LPSTR is access all string; 　　-- Load a file by file-name into memory,return pointer 　　function Load(fn:in string) return LPSTR is 　　use ada.streams; 　　use ada.streams.stream_io; 　　type LPSEA is access all STREAM_ELEMENT_ARRAY; 　　PRAGMA WARNINGS(OFF); 　　function UC is new ada.unchecked_conversion(LPSEA,LPSTR); 　　PRAGMA WARNINGS(ON); 　　FILE:FILE_TYPE; 　　SIZE:COUNT; 　　DATA:LPSEA:=NULL; 　　begin 　　open(FILE,IN_FILE,fn); 　　SIZE:=STREAM_IO.SIZE(FILE); 　　DATA:=NEW STREAM_ELEMENT_ARRAY(1..STREAM_ELEMENT_OFFSET(SIZE)); 　　READ(FILE,DATA.ALL,STREAM_ELEMENT_OFFSET(SIZE)); 　　CLOSE(FILE); 　　RETURN UC(DATA); 　　exception when NAME_ERROR=> 　　GNAT.IO.PUT_LINE("Error : Can not find the file: "&fn); 　　return null; 　　end Load; 　　_____________________________________________________________ 　　--去除#行函数：函数将指定文件名文件读出，除去#行并输出到指定文件名。 　　-- with ada.streams.stream_io; use ada.streams.stream_io; 　　-- with ada.unchecked_deallocation; 　　procedure clear(input_file:in string;output_file:in string) is 　　src:lpstr:=load(input_file); 　　procedure Free is new ada.unchecked_deallocation(string,LPSTR); 　　file:ada.streams.stream_io.file_type; 　　stream:ada.streams.stream_io.stream_access; 　　i:integer:=0; 　　begin 　　if src/=null then 　　loop 　　i:=i+1; 　　if src(i)='#' then 　　loop 　　src(i):=' '; 　　i:=i+1; 　　exit when i>src'last or src(i)=ASCII.LF; 　　end loop; 　　end if; 　　exit when i>=src'last; 　　end loop; 　　create(file,out_file,output_file); 　　stream:=ada.streams.stream_io.stream(file); 　　string'write(stream,SRC.all); 　　close(file); 　　Free(SRC); 　　end if; 　　end clear; 　　___________________________________________________________ 　　在经过除去#行获得最终处理过的文件后即可交由GNAT编译了。 [已通过安全检测]RISING.ANTIVIRUS.Personal.Edition.2008.Retail [病毒库发布日期]2012-05-27 [已通过安装测试]Windows XP Professional + Service Pack 3 共享服务时间:通常随机 共享服务器:通常Razorback 3.1/Razorback 3.0 图书版权归原作者及公司所有 如果你喜欢 请购买正版。 目录: # 压缩文件 G:\Drive(J)\计算机科学\Ada 编程语言 ,Ada Language\Ada programming Language_Reference Manual_2012-06-03.7z 2009-07-17 13:45 1063387 125824771 Ada programming Language\ada API\adadoc-v2.1.src.tar.bz2 2009-07-17 13:39 302638 0 Ada programming Language\ada API\adabindx-0.7.2.tar.gz 2009-07-17 13:37 852065 0 Ada programming Language\ada API\AdaSDL_20010504.tar.gz 2008-04-09 21:33 1448461 0 Ada programming Language\[MIT ADA]麻省理工大学 航空工程ADA教程.rar 2008-04-09 20:09 613053 0 Ada programming Language\Ada 95\Ada 95 The Craft of Object Oriented Programming.zip 2009-07-17 13:28 77259 0 Ada programming Language\ada API\adaopengl-0.12.zip 2009-07-17 13:58 101939 0 Ada programming Language\ada API\cbind6.zip 2009-07-17 14:08 1065489 0 Ada programming Language\ada API\glfw-2.6.zip 2008-04-09 19:48 102182 0 Ada programming Language\Ada 95\Introducing Ada 95.zip 2009-07-17 13:42 90 0 Ada programming Language\ada API\adabindx-0.7.2.txt 2009-07-17 13:50 127 0 Ada programming Language\ada API\AdaDoc.txt 2009-07-17 13:43 150 0 Ada programming Language\ada API\AdaSDL.txt 2009-07-17 14:06 166 0 Ada programming Language\ada API\An Ada-binding to OpenGL.txt 2009-07-17 14:03 4788 0 Ada programming Language\ada API\cbind.txt 2008-06-26 03:24 33792 0 Ada programming Language\优化Ada程序让它跑得比C快.doc 2012-05-25 16:43 2653142 0 Ada programming Language\Ada 95\(RUS) 2004 - Programming Ada-95. The GNAT Compiler.pdf 2008-07-17 13:37 4339531 0 Ada programming Language\Ada 95\AA-Final.pdf 2008-07-17 13:37 5056944 0 Ada programming Language\Ada 95\AA.pdf 2008-08-20 21:59 4475576 0 Ada programming Language\Ada 2005 Reference Manual. Language and Standard Libraries International Standard ISOIEC 86521995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science) .pdf 2005-08-29 22:30 1015402 0 Ada programming Language\Ada 95\Ada 95 Distilled.pdf 2008-04-09 20:04 1300773 0 Ada programming Language\Ada 95\Ada 95 Rationale The Language, The Standard Libraries.pdf 2009-04-05 01:19 2753219 0 Ada programming Language\Ada for Software Engineers (Second Edition with Ada 2005)[2009].pdf 2008-04-09 19:56 2793494 0 Ada programming Language\Ada for Software Engineers [Ben-Ari,2005].pdf 2008-04-09 19:54 2760338 0 Ada programming Language\Ada 95\Ada Reference Manual.pdf 2006-11-05 08:59 10509052 0 Ada programming Language\ADA 导引 程序设计语言ADA参考手册.pdf 2008-06-20 08:09 292756 0 Ada programming Language\Ada 编程语言.pdf 2008-04-08 22:28 5862630 0 Ada programming Language\Ada83.pdf 2006-06-14 02:36 1139923 0 Ada programming Language\Ada 95\AdaQuality.pdf 2008-06-20 08:05 194222 0 Ada programming Language\Ada_2005_and_GNAT.pdf 2008-06-20 08:09 71692 0 Ada programming Language\ada_c++.pdf 2006-11-05 08:46 7182310 0 Ada programming Language\ADA程序设计.pdf 2006-11-06 19:09 3155455 0 Ada programming Language\Ada程序设计2.pdf 2006-11-06 19:09 4273184 0 Ada programming Language\Ada程序设计导论.pdf 2006-11-05 09:01 7569927 0 Ada programming Language\Ada程序设计语言.pdf 2006-11-06 19:09 2943740 0 Ada programming Language\Ada程序设计语言2.pdf 2006-11-05 08:55 2034490 0 Ada programming Language\Ada程序设计风格与范例.pdf 2006-11-06 19:09 2831067 0 Ada programming Language\ADA语言.pdf 2006-11-05 08:57 2823899 0 Ada programming Language\Ada语言简明教程.pdf 2006-11-06 19:09 5701385 0 Ada programming Language\Ada软件开发技术.pdf 2012-05-27 07:35 5975036 0 Ada programming Language\Building Parallel, Embedded, and Real-Time Applications with Ada (Cambridge University, 2011, 0521197163).pdf 2008-06-16 23:23 3320610 0 Ada programming Language\Cambridge.Press.Concurrent.and.Real.Time.Programming.in.Ada.Jul.2007.eBook-BBL.pdf 2007-05-29 18:00 9766870 0 Ada programming Language\codecomplete.pdf 2008-07-07 14:25 4446407 0 Ada programming Language\Consolidated Ada Reference Manual 2005 Edition.pdf 2008-08-20 22:01 3271435 0 Ada programming Language\CUP,.Concurrent.and.Real.Time.Programming.in.Ada.(2007).BBL.[0521866979].pdf 2008-06-25 19:25 4590803 0 Ada programming Language\iso_iec_14519_ansi_ieee_std_1003_5b_posix_ada_language_interfaces_binding_for_system_api_realtime_extensions.pdf 2009-06-06 15:07 1442349 0 Ada programming Language\Ada 95\John English - Ada 95 The Craft Of Object-Oriented Programming.pdf 2008-06-20 08:11 213063 0 Ada programming Language\oa_unix.pdf 2008-04-09 19:59 1445626 0 Ada programming Language\Ada 95\Object-oriented Software in Ada 95 Second Edition - Mike Smith.pdf 2008-06-16 23:10 1442349 0 Ada programming Language\Ada 95\Prentice Hall - Ada 95 The Craft of Object-Oriented Programming.pdf 2008-07-17 13:37 2801356 0 Ada programming Language\Ada 95\RM-Bar.pdf 2007-05-29 17:59 2879935 0 Ada programming Language\Ada 95\RM-Final.pdf 2008-07-17 13:37 3115611 0 Ada programming Language\Ada 95\RM.pdf 2012-05-23 20:22 4068786 0 Ada programming Language\Springer - Reliable Software Technologies â Ada-Europe 2011.pdf 2008-06-16 23:10 1636823 0 Ada programming Language\The Big Online Book of Linux Ada Programming.pdf 2008-04-09 19:53 1092715 0 Ada programming Language\Understanding Programming Languages.pdf 2008-06-17 00:20 2503337 0 Ada programming Language\x Buzzard - Object-Based Computer Systems and the ADA Programming Language.pdf 2008-06-16 23:49 3215091 0 Ada programming Language\x Volz - Using ADA as a Programming Language for Robot-Based Manufacturing Cells.pdf 2008-07-05 22:26 2845543 0 Ada programming Language\x_Clapp_Distibuted_ADA_on_a_Loosely_Coupled_Multiprocessor.pdf 2008-06-23 10:24 4201514 0 Ada programming Language\Ada 95\[programming][ADA95][manual] Annotated_Ada_Reference_ManualISO1995_COR2000.pdf 2012-06-03 12:30 文件夹 文件夹 Ada programming Language\ada API 2012-06-03 12:30 文件夹 文件夹 Ada programming Language\Ada 95 2012-06-03 12:32 文件夹 文件夹 Ada programming Language # # 总计 大小 压缩后大小 文件数 # 153674996 125824771 62