Ada Programming/Keywords/some

< Ada Programming < Keywords

Computing » Computer Science » Computer Programming » Ada Programming

Ada. Time-tested, safe and secure.

Quantified expressions

This language feature is only available in Ada 2012.

Existential quantification expression:

(for some var in range => predicate)

See also

Wikibook

Ada Reference Manual

4.5.8: Quantified Expressions (Annotated)

Ada Quality and Style Guide

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`	`pragma`	`terminate`
`body`		`private`	`then`
	`if`	`procedure`	`type`
`case`	`in`	`protected` (Ada 95)
`constant`	`interface` (Ada 2005)		`until` (Ada 95)
	`is`	`raise`	`use`
`declare`		`range`
`delay`	`limited`	`record`	`when`
`delta`	`loop`	`rem`	`while`
`digits`		`renames`	`with`
`do`	`mod`	`requeue` (Ada 95)	`xor`

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.