add

Once the new feature dialog is displayed and procedure selected in feature type, follow the following steps:

1. Choose a feature clause
2. Type a name
3. Select formal parameters
4. Type a header comment
5. Enter precondition , local variable , body and postcondition

Once the new feature dialog is displayed and function selected in feature type, follow the following steps:

1. Choose a feature clause
2. Type a name
3. Select formal parameters
4. Select the type
5. Type a header comment
6. Enter precondition , local variable , body and postcondition

Once the new feature dialog is displayed and attribute selected in feature type, follow the following steps:

1. Choose a feature clause
2. Type a name
3. Select the type
4. Type a header comment
5. Select a class invariant
6. Select to create a set-procedure

A dialog window is dedicated to the creation of new classes.

A list of all the clusters of the system lets you to choose in which one the new class will be inserted. The name of the new class and the name of the corresponding file can be set thank to two text fields above the list. It is also possible to define whether the class should be deferred or expanded, what its creation feature is (if any), what its parents are and whether the default feature clauses should be generated.

It is possible to create new clusters from EiffelStudio. A dialog window has been designed to help you do so.

There are three ways to make this window appear. You can:

• Click in the standard toolbar .
• Click in the groups tool .
• Select New cluster in the Tools menu.

Using this dialog, you can either create a subcluster of an existing cluster or a top-level cluster.

A dialog window has been designed to help you to add a library to your project.

There are two ways to make this window appear. You can:

• Click in the groups tool .
• Select Add library in the Tools menu.

Using this dialog, you can either choose a library from a list or select your own library.