Ada Programming/Keywords/interface - Wikibooks, open books for an open world

From Wikibooks, open books for an open world

This language feature is only available from Ada 2005 on.

Used to declare an interface. Interfaces are the most important innovation in Ada 2005. The basic semantic has been taken from the interface concept of the Java programming language. Interface inheritance is a reduced form of multiple inheritance.

There are various forms of interfaces available:

The normal interface is declared as:

 type Printable is interface;

Can be used as interface to limited tagged type.

 type Printable is limited interface;

type Printable is synchronized interface;

All synchronized interfaces are also limited.

Can be used as an interface to a task type.

type Printable is task interface;

All task interfaces are also synchronized.

Can be used as an interface to a protected type.

 type Printable is protected interface;

All protected interfaces are also synchronized.

3.9.4 Interface Types (Annotated)

3.1.3 Capitalization

Ada Keywords
`abort`	`else`	`new`	`return`
`abs`	`elsif`	`not`	`reverse`
`abstract` (Ada 95)	`end`	`null`
`accept`	`entry`		`select`
`access`	`exception`	`of`	`separate`
`aliased` (Ada 95)	`exit`	`or`	`some` (Ada 2012)
`all`		`others`	`subtype`
`and`	`for`	`out`	`synchronized` (Ada 2005)
`array`	`function`	`overriding` (Ada 2005)
`at`			`tagged` (Ada 95)
	`generic`	`package`	`task`
`begin`	`goto`	`parallel` (Ada 2022)	`terminate`
`body`		`pragma`	`then`
	`if`	`private`	`type`
`case`	`in`	`procedure`
`constant`	`interface` (Ada 2005)	`protected` (Ada 95)	`until` (Ada 95)
	`is`		`use`
`declare`		`raise`
`delay`	`limited`	`range`	`when`
`delta`	`loop`	`record`	`while`
`digits`		`rem`	`with`
`do`	`mod`	`renames`
		`requeue` (Ada 95)	`xor`