GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
EXAMPLE7
+
Point of view
All features
ANY
All features
class EXAMPLE7
Summary
top
This example demonstrates creating and calling agents.
Direct parents
Insert list:
ANY
Overview
top
Creation features
{}
make
Features
{}
f1
:
FUNCTION
[
TUPLE
,
INTEGER_32
]
f1 is a function that takes no argument and that returns an INTEGER
f2
:
FUNCTION
[
TUPLE 1
[
STRING
],
STRING
]
f2 is a function that takes a
STRING
argument and returns a
STRING
p1
:
PROCEDURE
[
TUPLE
]
p1 is a procedure that takes no argument
p2
:
PROCEDURE
[
TUPLE 2
[
STRING
,
INTEGER_32
]]
p2 is a procedure that takes a
STRING
and an INTEGER argument
{}
make
f1
:
FUNCTION
[
TUPLE
,
INTEGER_32
]
writable attribute
{}
top
f1 is a function that takes no argument and that returns an INTEGER
f2
:
FUNCTION
[
TUPLE 1
[
STRING
],
STRING
]
writable attribute
{}
top
f2 is a function that takes a
STRING
argument and returns a
STRING
p1
:
PROCEDURE
[
TUPLE
]
writable attribute
{}
top
p1 is a procedure that takes no argument
p2
:
PROCEDURE
[
TUPLE 2
[
STRING
,
INTEGER_32
]]
writable attribute
{}
top
p2 is a procedure that takes a
STRING
and an INTEGER argument
make
effective procedure
{}
top