A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

Index

A

abstract classes  67

access

has relationship (Ada 83)  87

provide to components (Ada 83)  79

Access Array Of Access Type Name (Ada 95)

code generation class properties  102

Access Array Of Type Name (Ada 95)

code generation class properties  102

Access Class Wide

code generation class properties  95

Access Type Definition (Ada 95)

code generation class properties  101

Access Type Name (Ada 95)

code generation class properties  100

Access Type Visibility (Ada 95)

code generation class properties  101

accessors  54

example for has relationship  32

never overridden  57

not generated for the task implementation  17

Set not generated for an association  38

See also association classes, associations, attributes, has relationships, operations

Ada constructs

abstract subprogram  56,  61

abstract type  11,  61

access discriminant  17,  18,  22,  28

access parameter  54,  55

access type  29

access-to-class-wide type  30

actual parameters of an instantiation  23

barrier  18

child of a generic unit  21,  24

class-wide subprogram  26

constant  26

constrained type  20

context clause  46

controlled type  58

discriminant  17,  18,  22,  28

discriminant constraint  24

entry  16,  18

enumeration type  11

general access type  30

generic formal package  21,  24

generic formal part  20

generic instantiation  20,  23

generic package instantiation  47

generic unit  20,  25

limited type  10,  28

non-private type  10

overriding subprogram declaration  57

package  25

package body  26

package private part  18,  26,  46,  57

package visible part  16,  18,  26,  46,  57

pragma Import  56

pragma Inline  38,  56

pragma Interface  56

private extension  46

private type  10

private type with discriminants  28

protected function  18

protected procedure  18

protected type  18

record component  27

renaming-as-body  56

subprogram body  56,  58

subprogram body stub  56

subtype  24

tagged type  11

task type  16

type derivation  46

unconstrained type  20

unknown discriminant part  29

variable  26

variant record  11

with clause  46

Ada type used for By Reference class instances (Ada 83)  99

Ada.Finalization.Controlled

See Ada constructs (controlled type)

Ada.Finalization.Limited_Controlled

See Ada constructs (controlled type)

Add Classes command (Ada 83)  87

Additional Withs

code generation module body properties  132

code generation module spec properties  130

Apex Model

code generation module spec properties  129

Array Index Definition (Ada 95)

code generation class properties  103

Array Of Access Type (Ada 95)

code generation class properties  102

Array Of Type Name (Ada 95)

code generation class properties  102

As Booch command  65

assignment

user-defined  58

See also equality operator, finalization, initialization

Associate

See association classes, associations

Associate Name

code generation association properties  128

association classes  41,  66

data structures  42

integrity of  41

subprograms

accessors  43

Associate  43

Dissociate  43

for many-to-many associations  45

for one-to-many associations  44

for one-to-one associations  44

See also associations, roles

association properties

see code generation association properties

Association Relationships  66

association role properties

see code generation association role properties

associations  33,  34

data structures

for many-to-many associations  37

for one-to-many associations  36

for one-to-one associations  35

integrity of  38

subprograms

Associate  38

Dissociate  38

for many-to-many associations  40

for one-to-many associations  39

for one-to-one associations  38

with finite multiplicity  40

See also association classes, roles

attribute properties

see code generation attribute properties

attributes  27

created by reverse engineering (Ada 95)  87

entering metaclass attributes  73

entering static attributes  73

of a metaclass  26,  27

static  27

B

basic operations

reverse engineering  83

bidirectional associations  66

data structures  35

subprograms generated for  38

See also associations, association classes

Body File Backup Extension

code generation model properties  90

Body File Extension

code generation model properties  90

Body File Temporary Extension

code generation model properties  90

Bound Classes  64

bound classes  23

and parameterized classes  20

entering parameters for  73

generic implementation  23

unconstrained type implementation  24

See also parameterized classes

bound utilities  25

entering parameters for  73

See also parameterized utilities, utilities

bounded containers (Ada 83)  80

By Reference

determine name of type  99

by-reference

has relationships  29

roles  34

by-reference has relationship  65

by-value

has relationships  29

by-value has relationship  65

C

cardinality

of has relationships  30

of roles  34,  35

See also multiplicity

class

define as task type (Ada 83)  108

define as variant record (Ada 83)  116

definition  63

Class Access (Ada 83)

code generation class properties  96

Class Equality Name (Ada 83)

code generation class properties  107

class handles

equality function (Ada 83)  107

class handles (Ada 83)  107

Class Name (Ada 83)

code generation class properties  95

Class Operations  64

Class Parameter Mode (Ada 83)

code generation operation properties  110

Class Parameter Name (Ada 83)

code generation class properties  103

class properties

see code generation class properties

classes  10

abstract  11,  56

created by reverse engineering (Ada 83)  86

mixin implementation  15

protected implementation  18

record implementation  11

multiple types  14

single type  12

tagged implementation  11

task implementation  16

See also bound classes, bound utilities, metaclasses, parameterized classes, parameterized utilities, utilities

class-like type

reverse engineering (Ada 83)  86

code generation association properties

Associate Name  128

Dissociate Name  128

Generate Associate  127

Generate Dissociate  128

Generate Get (Ada 95)  126

Generate Set (Ada 95)  127

Get Name  126

Inline Associate  128

Inline Dissociate  128

Inline Get  127

Inline Set  127

Name If Unlabeled  126

Set Name  127

code generation association role properties

Code Name  122

Container Declarations  125

Container Generic  125

Container Implementation (Ada 95)  125

Container Type  125

Data Member Name (Ada 95)  123

Generate Access Get (Ada 95)  123

Generate Get (Ada 95)  123

Generate Set (Ada 95)  124

Get Name  124

Initial Value  125

Inline Get  124

Inline Set  124

Is Aliased  122

Is Constant  122

Name If Unlabeled  122

Record Field Implementation  122

Record Field Name (Ada 95)  123

Set Name  124

code generation attribute properties

Code Name  119

Data Member Name (Ada 83)  119

Generate Access Get (Ada 95)  120

Generate Access Set (Ada 95)  121

Generate Get (Ada 95)  119

Generate Set (Ada 95)  120

Get Name  120

Initial Value  118

Inline Set  121

InlineGet  120

Is Aliased  119

Is Constant  118

Record Field Implementation (Ada 95)  119

Record Field Name (Ada 95)  119

Representation  118

Set Name  121

code generation class properties  98

Access Array Of Access Type Name (Ada 95)  102

Access Array Of Type Name (Ada 95)  102

Access Class Wide  95

Access Type Definition (Ada 95)  101

Access Type Name (Ada 95)  100

Access Type Visibility (Ada 95)  101

Array Index Definition (Ada 95)  103

Array Of Access Type Name (Ada 95)  102

Array Of Type Name (Ada 95)  102

Class Access (Ada 83)  96

Class Equality Name (Ada 83)  107

Class Name (Ada83)  95

Class Parameter Name (Ada 83)  103

Code Name  95

Copy Constructor Kind (Ada 83)  105

Copy Constructor Name (Ada 95)  105

Default Constructor Kind (Ada 83)  104

Destructor Name  106

Enumeration Literal Prefix  102

Generate Access Type (Ada 95)  100

Generate Accessor Operations  95

Generate Copy Constructor (Ada 95)  105

Generate Default Constructor (Ada 95)  104

Generate Destructor (Ada 95)  106

Generate Standard Operations  103

Generate Type Equality (Ada 95)  107

Implementation Type (Ada 83)  97

Implicit Parameter  103

Implicit Parameter Name (Ada 95)  103

Inline Copy Constructor  106

Inline Default Constructor  105

Inline Destructor  107

InlineEquality  108

Is Limited (Ada 95)  98

Is Subtype  98

Maybe Aliased (Ada 95)  101

Parameterized Implementation (Ada 95)  101

Parent Class Name (Ada 95)  102

Record Field Prefix  102

Record Implementation (Ada 95)  98

Record Kind Package Name (Ada 95)  98

Representation  94

Type Control (Ada 95)  97

Type Control Name (Ada 95)  97

Type Definition (Ada 95)  97

Type Equality Name (Ada 95)  107

Type Implementation (Ada 95)  96

Type Name (Ada 95)  95

Type Visibility (Ada 95)  96

code generation has properties

CodeName  112

Container Declarations  117

Container Generic  117

Container Implementation (Ada 95)  117

Container Type  117

Data Member Name (Ada 83)  113

Generate Access Get (Ada 95)  114

Generate Access Set (Ada 95)  115

Generate Get (Ada 95)  113

Generate Set (Ada 95)  114

Get Name  114

Initial Value  115

Inline Get  114

InlineSet  115

Is Aliased  112

Is Constant  112

Name If Unlabeled  112

Record Field Implementation (Ada 95)  113

Record Field Name (Ada 95)  113

Set Name  115

code generation model properties

Body File Backup Extension  90

Body File Extension  90

Body File Temporary Extension  90

Create Missing Directories  91

Directory  93

Error Limit  92

File Name Format  92

Generate Bodies  91

Generate Standard Operations  91

Implicit Parameter  92

Spec File Backup Extension  90

Spec File Extension  90

Spec File Temporary Extension  90

Stop On Error  92

code generation module body properties

Additional Withs  132

Copyright Notice  131

Generate  131

Is Private  131

Is Subunit  131

Return Type  132

code generation module spec properties

Additional Withs  130

Apex Model  129

Copyright Notice  129

Generate  129

Generic Formal Parameters  130

Return Type  129

code generation operation properties

Class Parameter Mode (Ada 83)  110

Code Name  109

Entry Barrier Condition  111

Entry Barrier Condition (Ada 95)  111

Entry Code  111

Exit Code  111

Generate Access Operation (Ada 95)  111

Generate Accessor Operations  109

Generate Overriding (Ada 95)  110

Implicit Parameter Class Wide  108

Implicit Parameter Mode (Ada 95)  110

Renames (Ada 95)  110

Representation  109

Subprogram Implementation  110

Use Colon Notation  109

Use File Name  109

code generation properties

AccessArrayOfAccessTypeName  31

AccessArrayOfTypeName  31

AccessTypeDefinition  30,  34

AccessTypeName  30,  34

AccessTypeVisibility  30,  34

AdditionalWiths  81

ApexSubsystem  77

ArrayIndexDefinition  31

ArrayOfAccessTypeName  31

ArrayOfTypeName  31

AssociateName  38

ContainerDeclarations  34

ContainerGeneric  31,  34

ContainerImplementation  31,  34

ContainerType  31,  34

CopyConstructorName  55

DefaultConstructorName  55

DestructorName  55

DissociateName  38

EntryBarrierCondition  18

EntryCode  58

EnumerationLiteralPrefix  13,  15

ExitCode  58

GenerateAccessGet  55

GenerateAccessOperation  54

GenerateAccessSet  55

GenerateAccessType  30

GenerateAssociate  38

GenerateCopyConstructor  55

GenerateDefaultConstructor  55

GenerateDestructor  55

GenerateDissociate  38

GenerateGet  34,  38,  43,  54,  61

GenerateOverriding  57

GenerateSet  34,  43,  54,  61

GenerateTypeEquality  55

GetName  34,  38,  43

ImplicitParameter  54

ImplicitParameterMode  54

ImplicitParameterName  16,  18,  54

Inline  56

InlineAssociate  38

InlineCopyConstructor  56

InlineDefaultConstructor  56

InlineDestructor  56

InlineDissociate  38

InlineEquality  56

InlineGet  34,  38,  43

InlineSet  34,  43

IsLimited  10,  50

IsSubtype  12,  24

MaybeAliased  30,  34

NameIfUnlabeled  34

ParameterizedImplementation  20,  23

ParentClassName  22

RecordFieldImplementation  17,  18,  28

RecordFieldName  27,  34

RecordFieldPrefix  15

RecordImplementation  11

RecordKindPackageName  15

Renames  56

SetName  34,  43

SubprogramImplementation  56

TypeControl  58

TypeDefinition  10

TypeEqualityName  55

TypeImplementation  10,  20,  47,  49,  58

TypeName  7

TypeVisibility  10,  46

code generation UML package properties

Directory  128

Code Name

code generation association role properties  122

code generation attribute properties  119

code generation class properties  95

code generation has properties  112

code generation operation properties  109

code regions

See protected regions

colon notation  6

used in associations  34

See also naming

component type

complex (Ada 83)  80

simple (Ada 83)  80

component type (Ada 83)  80

consistency

of code generation properties  9

See also dominance

constructor  55

See also copy constructor, destructor, equality operator

Container Declarations

code generation has properties  117

codegeneration association role properties  125

Container Generic

code generation association role properties  125

code generation has properties  117

Container Implementation (Ada 95)

code generation association role properties  125

code generation has properties  117

Container Type

code generation association role properties  125

code generation has properties  117

container type

for has relationships  31

for roles  34

copy constructor  55

See also constructor, destructor, equality operator

copy constructor (Ada 83)  79

Copy Constructor Kind (Ada 83)

code generation class properties  105

Copy Constructor Name (Ada 95)

code generation class properties  105

Copyright Notice

code generation module body properties  131

code generation module spec properties  129

Create Missing Directories

code generation model properties  91

D

Data Member Name (Ada 83)

code generation attribute properties  119

code generation has properties  113

Data Member Name (Ada 95)

code generation association role properties  123

decl

associate type with enclosing package (Ada 83)  87

declaration

type mapping (Ada 83)  87

type mapping (Ada 95)  86

default constructor (Ada 83)  79

Default Constructor Kind(Ada 83)

code generation class properties  104

define

class as task type (ADa 83)  108

class as variant record (Ada 83)  116

definitions

refine class (Ada 83)  78

Dependency Relationships  65

dependency relationships  46

created by reverse engineering  88

representing "pseudo-inheritance" for bound classes  24

destructor  55

See also constructor, copy constructor, equality operator

destructor (Ada 83)  79

Destructor Name

code generation class properties  106

dialog box

reverse engineering  84

Directory

code generation model properties  93

code generation UML package properties  128

display

implementation types (Ada 83)  87

Dissociate

See association classes, associations

Dissociate Name

code generation association properties  128

dominance

definition of  9

AccessTypeDefinition dominates  30

CopyConstructorName dominated  61

DefaultConstructorName dominated  61

DestructorName dominated  61

GenerateCopyConstructor dominated  61

GenerateDefaultConstructor dominated  61

GenerateDestructor dominated  61

GenerateGet dominated  17

GenerateSet dominated  17,  55

GenerateTypeEquality dominated  61

ImplicitParameter dominated  16,  18

IsLimited dominated  11,  22,  28

ParameterizedImplementation dominated  20

RecordFieldImplementation dominated  28

SubprogramImplementation dominated  16

TypeEqualityName dominated  61

TypeVisibility dominated  13

E

Entry Barrier Condition

code generation operation properties  111

Entry Barrier Condition (Ada 95)

code generation operation properties  111

Entry Code

code generation operation properties  111

Enumeration Literal Prefix

code generation class properties  102

equality function  107

class handles (Ada 83)  107

equality operation (Ada 83)  79

equality operator  55

user-defined  58

See also assignment, constructor, copy constructor, destructor, finalization, initialization

Error Limit

code generation model properties  92

errors

due to abstract subprogram in a non-abstract class  56

due to access discriminant for by-value relationship  31

due to ambiguities in name resolution  8

due to association involving non-tagged, non-record classes  33

due to by-value role in a bidirectional association  35

due to controlled type involved in multiple inheritance relationship  58

due to has relationship targeting a mixin  31

due to inconsistency in visibility or defaults of attributes  28

due to inconsistent module for a parameterized class  20

due to inheritance inconsistency for mixins  49

due to keys with the same name but different types  35

due to protected implementation and generalization relationships  20

due to task implementation and generalization relationships  18

due to violating restrictions on multiple views inheritance  50

See also warnings

Exit Code

code generation operation properties  111

F

File Name Format

code generation model properties  92

finalization

user-defined  58

See also assignment, equality operator, initialization

free text  7

See also naming

friendship  67

G

generalization hierarchy

access discriminants and  28

parameters inherited from  24

represented by a single record type  12

represented by multiple record types  14

See also generalization relationships

generalization relationships  46

not supported for the protected implementation  20

not supported for the task implementation  18

visibility  52

See also generalization hierarchy

Generalization Relationships (Inheritance)  65

Generate

code generation module body properties  131

code generation module spec properties  129

Generate Access Get (Ada 95)

code generation association role properties  123

code generation attribute properties  120

code generation has properties  114

Generate Access Operation (Ada 95)

code generation operation properties  111

Generate Access Set (Ada 95)

code generation attribute properties  121

code generation has properties  115

Generate Access Type (Ada 95)

code generation class properties  100

Generate Accessor Operations

code generation class properties  95

code generation operation properties  109

Generate Associate

code generation association properties  127

Generate Bodies

code generation model properties  91

Generate Copy Constructor (Ada 95)

code generation class properties  105

Generate Default Constructor (Ada 95)

code generation class properties  104

Generate Destructor (Ada 95)

code generation class properties  106

Generate Dissociate

code generation association properties  128

Generate Get (Ada 95)

code generation association properties  126

code generation association role properties  123

code generation attribute  119

code generation has properties  113

Generate Overriding (Ada 95)

code generation operation properties  110

Generate Set (Ada 95)

code generation association properties  127

code generation association role properties  124

code generation attribute properties  120

code generation has properties  114

Generate Standard Operations

code generation class properties  103

codegeneration model properties  91

Generate Type Equality (Ada 95)

code generation class properties  107

Generic Formal Parameters

code generation module spec properties  130

generic instantiation

bound class  64

generic package

parameterized class  64

Get

See accessors

Get Name

code generation association properties  126

code generation association role properties  124

code generation attribute properties  120

code generation has properties  114

get operations (Ada 83)  79

H

Handle Access (Ada 83) property  99

Handle Equality Operation (Ada 83) property  107

Handle Name (Ada 83) property  99

Handle Name property (Ada 83)  87

has properties

seecode generation has properties

has relationship

constant declaration (Ada 83)  115

details (Ada 83)  87

multiplicity and access (Ada 83)  87

has Relationships  65

has relationships  29

by-reference  29

by-value  29

created by reverse engineering (Ada 95)  87

of a metaclass  26,  29

static  29

I

Implementation Type (Ada 83)

code generation class properties  97

Implementation Type property (Ada 83)  87

implementation types (Ada 83)  87

Implicit Parameter

code generation class properties  103

code generation model properties  92

Implicit Parameter Class Wide

code generation operation properties  108

Implicit Parameter Mode (Ada 95)

code generation operation properties  110

Implicit Parameter Name (Ada 95)

code generation class properties  103

inheritance  65

inherited operations (Ada 83)  80

Initial Value

code generation association role properties  125

code generation attribute properties  118

code generation has properties  115

initialization

user-defined  58

See also assignment, equality operator, finalization

Inline Associate

code generation association properties  128

Inline Copy Constructor

code generation class  106

Inline Default Constructor

code generation class properties  105

Inline Destructor

code generation class properties  107

Inline Dissociate

code generation association properties  128

Inline Equality

code generation class properties  108

Inline Get

code generation association properties  127

code generation association role properties  124

code generation attribute properties  120

code generation has properties  114

inline pragma  111

Inline property  111

Inline Set

code generation association properties  127

code generation association role properties  124

code generation attribute properties  121

code generation has properties  115

Is Aliased

code generation association role properties  122

code generation attribute properties  119

code generation has properties  112

Is Constant

code generation association role properties  122

code generation attribute properties  118

code generation has properties  112

Is Constant (Ada 83) property  115

Is Limited (Ada 95)

code generation class properties  98

Is Private

code generation module body properties  131

Is Subtype

code generation class properties  98

Is Subunit

code generation module body properties  131

Is Task (Ada 83) property  108

K

keys  35

M

map

package specifications (Ada 83)  86

package specifications (Ada 95)  86

type declarations (Ada 83)  87

type declarations (Ada 95)  86

Mapping Classes  63

Mapping Relationships  64

Maybe Aliased (Ada 95)

code generation class properties  101

metaclasses  26,  67

entering attributes  73

model properties

see code generation model properties

module

associated with a bound class  23

associated with a parameterized class  20

associated with a utility  25

created by reverse engineering (Ada 95)  86

mapping to modules in an association  34

must not be associated with a metaclass  26

module body properties

see code generation module body properties

module spec properties

see code generation module spec properties

multiple inheritance  46,  67

mixin inheritance  16,  47

multiple views inheritance  49

multiplicity

has relationship (Ada 83)  87

of has relationships  29

of roles  34,  35

See also cardinality

N

Name If Unlabeled

code generation association properties  126

code generation association role properties  122

code generation has properties  112

naming

Ada declarations  6

legality of names  6

package name  7

resolution of names in free text  7

type name  7

UML entities  6

navigable roles  33

non-navigable roles  33

O

object

declarations (Ada 83)  80

definition  63

object oriented development  63

OOD  63

operation properties

see code generation operation properties

operations  54

created by reverse engineering (Ada 95)  87

implicit parameter  16,  18

overriding  57

standard  55

See also accessors

P

package

Ada acceptation  6

differences in UML and Ada  63

UML acceptation  6

package specifications

mapping (Ada 83)  86

mapping (Ada 95)  86

Parameterized Classes  64

parameterized classes  20

entering parameters for  72

generic implementation  20

unconstrained type implementation  22

See also bound classes

Parameterized Implementation (Ada 95)

code generation class properties  101

parameterized utilities  25

entering parameters for  72

See also bound utilities, utilities

Parent Class Name (Ada 95)

code generation class properties  102

polymorphic class  98

Polymorphic Unit (Ada 83) property  98

Polymorphism with Ada  66

protected regions  69,  75

Q

Query

Add Classes (Ada 83)  87

R

Record Field Implementation

code generation association role properties  122

Record Field Implementation (Ada 95)

code generation attribute properties  119

code generation has properties  113

Record Field Name (Ada 95)

code generation association role properties  123

code generation attribute properties  119

code generation has properties  113

Record Field Prefix

code generation class properties  102

record fields (Ada 83)  80

Record Implementation (Ada 95)

code generation class properties  98

Record Kind Package Name (Ada 95)  98

refine

class definitions class (Ada 83)

refine definitions (Ada 83)  78

Renames (Ada 95)

code generation operation properties  110

Representation

code generation attribute properties  118

code generation class properties  94

code generation operation properties  109

Return Type

code generation module body properties  132

code generation module spec properties  129

reverse engineering

attributes (Ada 95)  87

classes (Ada 83)  86

dependency rrelationships  88

dialog box  84

has relationships (Ada 95)  87

mapping object declarations  88

mapping with clauses  88

module (Ada 95)  86

operations (Ada 95)  87

special handling for the $APEX_BASE directory  88

static attribute  88

using  83

utilities (Ada 95)  86

roles  33

accessors  38

by-reference  34

of a metaclass  26

S

Set

See accessors

Set Name

code generation association properties  127

code generation association role properties  124

code generation attribute properties  121

code generation has properties  115

set operations (Ada 83)  79

single variant for discriminated record  99

Spec File Backup Extension

code generation model properties  90

Spec File Extension

code generation model properties  90

Spec File Temporary Extension

code generation model properties  90

specifications

package mapping (Ada 83)  86

package mapping (Ada 95)  86

specify

discriminant of Ada type (Ada 83)  99

Standard Classes  63

standard operations  55

class  64

standard operations (Ada 83)  79

static

attributes  27

entering  73

has relationships  29

Stop On Error

code generation model properties  92

Subprogram Implementation  110

System.Assertion_Error

raised by Associate  40,  45

T

Type Control (Ada 95)

code generation class properties  97

Type Control Name (Ada 95)

code generation class properties  97

type declaration

mapping (Ada 83)  87

mapping (Ada 95)  86

type declarations

mapping (Ada 83)  86

Type Definition (Ada 95)

clde generation class properties  97

Type Equality Name (Ada 95)

code generation class properties  107

Type Implementation (Ada 95)

code generation class properties  96

Type Name (Ada 95)

code generation class properties  95

Type Visibility (Ada 95)

code generation class properties  96

U

UML notation

mapping to Ada  63

UML package properties

see code generation UML package properties

unbounded containers (Ada 83)  80

unidirectional associations  66

code generated for  34

definition  34

See also associations, association classes

unmapped elements  67

Use Colon Notation

code generation operation properties  109

Use File Name

code generation operation properties  109

user-defined operations (Ada 83)  79

Utilities  64

utilities  25

created by reverse engineering (ada 95)  86

See also bound utilities, parameterized utilities

V

Variant (Ada 83) property  99,  116

variant record (Ada 83)  116

view

As Booch  65

W

warnings

due to a unidirectional association  34

due to dominated code generation properties  10

See also errors

with clauses

reverse engineering  88