!

<>

=

==

=>

\: =

ÐÐ

- A -

abstract

alias

alias: bracket ([])

alias: list of

alias: print

alias: readChar

alias: readInt

alias: readReal

alias: readStr

alias: str

Array

Array

Array

Array

array: boundaries

Array: class interface

array: example

array: index type

Array: literal

assertion

assignment

assignment

assignment attempt

assignment: multi-

- B -

blocks

Boolean

Boolean

Boolean

Boolean

Boolean

Boolean: class interface

builtin

- C -

case

case: of characters

character: and string

character: special

child

class

class: abstract

class: and type

class: and type

class: comment

class: dynamic

class: enumeration

class: example

class: example

class: general

class: generic

class: interface of predefined

class: invariant

class: manifest

class: manifest

class: predefined

class: predefined

class: predefined

class: user defined

comment

comment: implementation

comment: interface

comment: routine

comparison

concat

conditional

conformance

conformance

conformance

const

constant

constant: initialisation

constant: named

constrained genericity

control structures

conversion: Integer to Real

conversion: Integer to Real

conversion: to String

create

creation routine

current object

- D -

data: internal

deferred

deferred

defined

dynamic

dynamic type

dynamic type

- E -

EBNF

else

encapsulation

Enumeration

Enumeration

Enumeration: class interface

enumeration: example

enumeration: qualified

environment variables

equality

evaluation: partial

exit: from loop

exit: from routine

expression

- F -

FileHandle

FileSystem

format (predfined variable)

format (predfined variable)

format (predfined variable)

function

function call

- G -

genericity

genericity: constrained

genericity: eaxmple

genericity: unconstrained

GUI

- I -

I/O

I/O: file

identifier

if-statement

implementation dependent

implemetation comment

implies

in operator

In-operator

In-operator

in-operator: example

infix operators: user defined

information hiding

inheritance

inheritance: and uses

inheritance: multiple

initialisation: of objects

input

input (variable)

input: standard

Integer

Integer

Integer

Integer

Integer

Integer: class interface

interface

interface

interface comment

interface routine

interface routine

interface: and inheritance

interface: view

internal routine

internal: data

invariant

is-operator

iteration

- L -

literal

literal: Array

literal: Boolean

literal: Integer

literal: Real

literal: set

literal: String

loop

loop: pretest/posttest

- M -

manifest

MAXINT

MININT

multi-assignment

multi-assignment

- N -

nil

nil

nil

- O -

old

operations: general

operator: precedence

output (variable)

output: formatting

output: standard

OutputFormat

OutputFormat

overloading

- P -

parameter

parameter: formal generic

parameters: routines as

parent

pass by value

polymorphism

postcondition

postcondition

precondition

precondition

predefined: and uses

predefined: classes

predefined: classes

predefined: classes

predefined: objects

predefined: variables

print

procedure

procedure call

program

Programming Environment

programming environment

project

- R -

readChar

readInt

readReal

readStr

Real

Real

Real

Real

Real

Real: class interface

redefine

redefine

redefine

redefine

redefinition

repeat loop

return

return value

return value

return value

routine

routine

routine: builtin

routine: comment

routine: creation

routine: creation

routine: creation

routine: deferred

routine: example

routine: interface

routine: internal

routine: visibility

runtime error: assertion failure

runtime error: invariant violation

runtime error: missing loop exit

runtime error: pre/postcondition violation

runtime error: undefined result

runtime error: undefined variable

- S -

scope: of constants

scope: of routines

scope: of variables

selection

set constant

set constant

stable state

statement

static type

str

String

String

String

String

String

String

string: and characters

string: and manifest

String: class interface

string: long

subclass

super

super

superclass

superclass: calling

supertype

syntax: special

- T -

TextTerminal

TextTerminal

TextTerminal: class interface

this

toString

toString

type

type equality

type equality

type: and class

type: dynamic

type: formal generic

type: predefined

type: static

type: user defined

- U -

undefined

undefined

user interface

uses

- V -

variable

variable

variable

variable: and nil

variable: encapsulation

variable: lifetime

variable: state and value

visibility: of routines

- W -

while loop