KS X ISO 8652-2009 Information technology－Programming languages－Ada(ENDORSEMENT OF ANSI STANDARD 1815A～1983)《信息技术 电子计算机程序设计语言 Ada》.pdf

1、 KSKSKSKSKSKSKSK KSKSKS KSKSK KSKS KSK KS KS X ISO 8652 AdaKS X ISO 8652:2009 2009 12 29 http:/www.kats.go.krKS X ISO 8652:2009 : ( ) ( ) ( ) ( )SJ ( ) : (JTC1/SC22) () ( ) ( ) : (http:/www.standard.go.kr) ： ：1993 12 13 ：2009 12 29 2009-0928 ： ： (JTC1/SC22) ( 02-509-7262) (http:/www.kats.go.kr). 10

2、5 , . KS X ISO 8652： 2009 i . iv 1 1 1.1 .1 1.2 2 1.3 .2 1.4 Ada .4 1.5 6 1.6 7 2 8 2.1 8 2.2 , 9 2.3 .10 2.4 11 2.5 12 2.6 12 2.7 .13 2.8 .13 2.9 .14 2.10 15 3 .16 3.1 .16 3.2 .17 3.3 20 3.4 .24 3.5 .26 3.6 .39 3.7 .44 3.8 .50 3.9 .53 4 .54 4.1 .54 4.2 .59 4.3 .59 4.4 63 4.5 .64 4.6 .73 4.7 .75 4.8

3、 .76 4.9 .78 4.10 .78 5 .79 5.1 80 5.2 .81 KS X ISO 8652:2009 ii 5.3 If 82 5.4 case .83 5.5 loop .85 5.6 .86 5.7 exit .87 5.8 return .88 5.9 goto .89 6 .89 6.1 .90 6.2 .91 6.3 .92 6.4 .95 6.5 .97 6.6 .98 6.7 .99 7 100 7.1 100 7.2 101 7.3 102 7.4 103 7.5 .109 7.6 110 8 .112 8.1 .113 8.2 .114 8.3 .114

4、 8.4 use 117 8.5 .119 8.6 STANDARD .121 8.7 122 9 123 9.1 124 9.2 .126 9.3 .127 9.4 128 9.5 , accept 130 9.6 delay , .132 9.7 select .134 9.8 .138 9.9 138 9.10 abort 139 9.11 140 9.12 141 10 .142 10.1 .142 10.2 147 KS X ISO 8652:2009 iii 10.3 150 10.4 152 10.5 152 10.6 .153 11 153 11.1 153 11.2 155

5、11.3 raise .156 11.4 156 11.5 159 11.6 .160 11.7 161 12 .163 12.1 163 12.2 168 12.3 .169 12.4 176 13 177 13.1 177 13.2 .179 13.3 .181 13.4 .181 13.5 183 13.6 .185 13.7 SYSTEM.185 13.8 .189 13.9 .190 13.10 .191 14 192 14.1 .193 14.2 .194 14.3 .201 14.4 .222 14.5 IO_EXCEPTIONS 223 14.6 223 14.7 224 A(

6、 ) .226 B( ) .232 C( ) .235 D( ) 240 E( ) .246 F( ) 271 KS X ISO 8652:2009 .272 KS X ISO 8652:2009 iv . ISO/IEC 2 1995 2 ISO/IEC 8652, Information technology Programming languages Ada . . ISO IEC . ISO/IEC JTC1/SC22( ) . KS X ISO 8652:2009 Ada Information technology Programming languagesAda(ENDORSEM

7、ENT OF ANSI STANDARD 1815A 1983) 1 Ada , Steelman . , . , Ada Pascal . Ada , . , , . , . Ada . , . . 1.1 Ada . Ada . . KS X ISO 1003, ( ) 1.1.1 . a) Ada b) c) Ada d) e) f) KS X ISO 8652:2009 2 g) . h) Ada i) j) , k) . l) m) Ada , , . Ada , . . . , 1.1.2 . a) Ada . , . b) . c) . d) . e) . f) , . 1.2

8、14 , 4 ( ), 2 ( ) . . , . , . . . . Ada 14 4 ( ) . , , Ada . 1.3 KS X ISO 8652:2009 3 Ada 3 , , , . . . Ada . . . Ada . . . . . . . Ada . , . . , , , . Ada . . . . . Ada , Steelman . Steelman , . Pascal . Euclid, Lis, Mesa, Modula Suc . Ada . Algol 68, Simula Alphard, Clu Ada , Pascal . (Green ) (Re

9、d , Blue Yellow ) , , Ada ANSI( ) 15 . KS X ISO 8652:2009 4 1.4 Ada Ada 1 . ( .) , ( .) , ( .) ( .) 4 . 2 . 1 . . , . Ada . Ada . . . 2 . . . . . , . . , , 1 . . . , . . 2 . , . , . . , , . , , . . ( , exit , return goto ). KS X ISO 8652:2009 5 . . case if . loop Ada . loop , . , exit . . . delay .

10、. . accept . accept . . select . select . . . . raise . Ada . . ( ), , 4 . ( ) . BOOLEAN CHARACTER . . . . , . INTEGER, FLOAT DURATION . . . , . STRING . . . , . , . . KS X ISO 8652:2009 6 , . ( ) . . . , . . . . . Ada . . . Ada . ( .) . 1.5 Ada . Ada . ( ). . Backus-Naur . a) ( .) . return . b) . a

11、rray c) . 2 . return : = return ； return : = return； 1 return ； KS X ISO 8652:2009 7 d) . . . . : = : = 1 e) . , . : = 1 : 1 = f) , . . “ ” “ ” “ ” . “ ” “ ” . , . . if . if : = if then elsif then else end if ； . . ( , ). . . 1.6 . a) Ada b) c) . “ ”, “ ”, “ ” “ ” 1 . Ada . , . b) Ada . Ada . , ( ). KS X ISO 8652:2009 8 c) Ada Ada . “ ” .