< Board Game II AutoProof Code Repository Command >

Closures

Category:

Source: FAC'07

Description

Closures (agents) in Eiffel can have open or closed arguments. This example shows direct applications of closures as well as passing closures with open and closed arguments to other routines.

download source

Code