Glossary

From Liberty Eiffel Wiki
Revision as of 08:11, 8 July 2005 by Cadrian (talk | contribs) (live type)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


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


A

attribute: an attribute of an object is part of the memorized information of that object. In other words, using the attribute of some object does not involved computation. An attribute is either constant or variable. When not constant, attribute means exactely what instance variable means.

anchored type: bla bla bla ...

B

back-end: bla bla bla ...

C

contravariance: bla bla bla ...

compiler: bla bla bla...

covariance: bla bla bla ...

D

dynamic dispatch: bla bla bla ...

dynamic type: bla bla bla ...

E

expression: bla bla bla ...

F

feature: feature is used to denote either an attribute, a function or a procedure as well. Hence, feature also includes method.

function: bla bla bla ...

G

H

I

instance variable: one memory field of some object. As indicated, this memory field can be accessed for read or for write as well. An instance variable is another way to say writable attribute.

instruction: bla bla bla ...

J

K

L

language: bla bla bla...

library: bla bla bla...

live type : bla bla bla...

M

method: is the equivalent of routine, that is to say, a method can be a function or a procedure as well.

N

O

P

procedure: bla bla bla ...

Q

R

routine: routine is short-hand to say procedure or function. Hence routine is also the equivalent of method.

S

side-effect: bla bla bla ...

static type: bla bla bla ...

T

type prediction: bla bla bla ...

U

V

W

X

Y

Z