mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-06 23:02:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:manus

Browse Source 
Date:2008-12-02T21:50:10.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@115 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
manus
2008-12-02 21:50:10 +00:00
parent fe2bb8d0c7
commit 555926c212
12 changed files with 174 additions and 120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

25
documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-62-and-ise-eiffel-63.wiki Normal file
View File

@@ -0,0 +1,25 @@
[[Property:title|Major changes between ISE Eiffel 6.2 and ISE Eiffel 6.3]]
[[Property:link_title|6.3]]
[[Property:weight|-10]]
[[Property:uuid|55a1c34d-5313-1bcc-924e-3a3a68905665]]
==What's new==
{{seealso|[[Differences between standard ECMA-367 and Eiffel Software implementation|Differences between standard ECMA-367 and Eiffel Software implementation]] }}
==Improvements==
==Changes==
==Bug fixes==
===Language issues===
===Compiler issues===
===Runtime/code generation issues===
===Store/Retrieve issues===

41
documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-63.wiki Normal file
View File

@@ -0,0 +1,41 @@
[[Property:title|Release notes for EiffelStudio 6.3]]
[[Property:link_title|6.3]]
[[Property:weight|-10]]
[[Property:uuid|524a2b27-872c-1fd9-8de1-651128f11155]]
==Graphical environment==
===What's new===
===Improvements===
===Changes===
===Bug fixes===
==Compiler==
* Click [[Major changes between ISE Eiffel 6.2 and ISE Eiffel 6.3|here]] for the compiler release notes.
==Debugger==
* Click [[Release notes for EiffelStudio 6.3 related to the debugger|here]] for the EiffelStudio debugger release notes.
==EiffelBuild==
* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes.
==Libraries==
===EiffelBase===
===EiffelNet===
===EiffelTime===
===EiffelVision2===
* [[Revisions and Bug Fixes|Click here for EiffelVision2 release notes.]]
===EiffelVision2===
[[EiffelStudio release notes|Click here to check out what was new in other versions]]

6
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-freebsd.wiki
View File

@@ -28,7 +28,7 @@
| Keyboard and mouse or compatible pointing device.
|-
| '''ISE_PLATFORM'''
| '''freebsd-x86''' for x86 based CPU.
| '''freebsd-x86''' for x86 based CPU and '''freebsd-x86-64''' for x64 based CPU.
|}
@@ -40,10 +40,10 @@ The command should succeed and the version number of GTK+ should appear. If it i
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tgz, where XX corresponds to the EiffelStudio version number):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX corresponds to the EiffelStudio version number):
<code>
cd /usr/local
tar xvfz /tmp/EiffelXX.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for FreeBSD|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.

32
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-tru64-unix.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for HP Tru64 UNIX]]
[[Property:title|EiffelStudio for HP Tru64 UNIX]]
[[Property:link_title|HP Tru64 UNIX]]
[[Property:weight|4]]
[[Property:uuid|f9ef1897-fa95-1c62-d905-54111ad234f1]]
@@ -34,53 +34,53 @@
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for HP Tru64 UNIX|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for HP Tru64 UNIX|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for HP Tru64 UNIX|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for HP Tru64 UNIX|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to alpha.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=alpha
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM alpha
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for HP Tru64 UNIX|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for HP Tru64 UNIX|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for HP Tru64 UNIX|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for HP Tru64 UNIX|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for HP Tru64 UNIX|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for HP Tru64 UNIX|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -106,7 +106,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for HP Tru64 UNIX|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for HP Tru64 UNIX|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==
@@ -123,5 +123,3 @@ Now everything should be properly installed and you should be able to run the co
EiffelStudio for Unix uses the GTK+ theme engine to allow for custom appearance such as changing the default font size and color of windows, etc. If you do not have a theme manager (such as that provided with Gnome) you can copy the .gtkrc-2.0 file from $'''ISE_EIFFEL'''/eifinit/studio/spec/gtk directory to your $'''HOME''' directory.

32
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-hp-ux.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for HP-UX]]
[[Property:title|EiffelStudio for HP-UX]]
[[Property:link_title|HP-UX]]
[[Property:weight|3]]
[[Property:uuid|c1982828-16bf-8984-bd8a-18df4b48cf27]]
@@ -34,53 +34,53 @@
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version number):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for HP-UX|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for HP-UX|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for HP-UX|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for HP-UX|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to hpux-11.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=hpux-11
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM hpux-11
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for HP-UX|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for HP-UX|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for HP-UX|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for HP-UX|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for HP-UX|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for HP-UX|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -94,6 +94,8 @@ The first time you launch EiffelStudio, you will be asked for an activation key
<center> [[Image:56--unix-registration|Registration dialog]] </center>
By clicking on the [http://activate.eiffel.com http://activate.eiffel.com] URL, a new web browser will appear with the requested fields automatically filled in with the appropriate information. Simply click '''Activate''' and a new page with an activation code will appear. Copy and paste the activation code in the first field and the '''Activate''' button should be enabled to let you activate your copy.
You can activate your copy up to three times. Once you have reached this threshold and need to reinstall your copy, contact Eiffel Software to request one more activation.
@@ -106,7 +108,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for HP-UX|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for HP-UX|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==

34
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linux.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for Linux]]
[[Property:title|EiffelStudio for Linux]]
[[Property:link_title|Linux]]
[[Property:weight|5]]
[[Property:uuid|db132d4c-7c65-59c0-6f9f-731b81c37373]]
@@ -28,59 +28,59 @@
| Keyboard and mouse or compatible pointing device.
|-
| '''ISE_PLATFORM'''
| '''linux-x86''' for x86 based CPU, '''linux-x86-64''' for amd64 based CPU.
| '''linux-x86''' for x86 based CPU, '''linux-x86-64''' for x64 based CPU.
|}
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for Linux|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for Linux|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for Linux|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for Linux|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to linux-x86 for the 32 bits version or linux-x86-64 for the 64 bits version. We will be using '''linux-x86''' in the examples below.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=linux-x86
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM linux-x86
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for Linux|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for Linux|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for Linux|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for Linux|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for Linux|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for Linux|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -106,7 +106,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for Linux|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for Linux|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==
@@ -123,5 +123,3 @@ Now everything should be properly installed and you should be able to run the co
EiffelStudio for Unix uses the GTK+ theme engine to allow for custom appearance such as changing the default font size and color of windows, etc. If you do not have a theme manager (such as that provided with Gnome) you can copy the .gtkrc-2.0 file from $'''ISE_EIFFEL'''/eifinit/studio/spec/gtk directory to your $'''HOME''' directory.

32
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-linuxppc.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for LinuxPPC]]
[[Property:title|EiffelStudio for LinuxPPC]]
[[Property:link_title|LinuxPPC]]
[[Property:weight|6]]
[[Property:uuid|6b1c2e2b-9512-3f71-9007-63f45be705aa]]
@@ -34,53 +34,53 @@
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for LinuxPPC|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for LinuxPPC|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for LinuxPPC|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for LinuxPPC|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to linux-ppc.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=linux-ppc
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM linux-ppc
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for LinuxPPC|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for LinuxPPC|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for LinuxPPC|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for LinuxPPC|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for LinuxPPC|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for LinuxPPC|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -106,7 +106,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for LinuxPPC|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for LinuxPPC|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==
@@ -123,5 +123,3 @@ Now everything should be properly installed and you should be able to run the co
EiffelStudio for Unix uses the GTK+ theme engine to allow for custom appearance such as changing the default font size and color of windows, etc. If you do not have a theme manager (such as that provided with Gnome) you can copy the .gtkrc-2.0 file from $'''ISE_EIFFEL'''/eifinit/studio/spec/gtk directory to your $'''HOME''' directory.

2
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-mac-os-x.wiki
View File

@@ -42,7 +42,7 @@ You also need to install the latest Apple Developer Tools (XCode) available as p
==Installing the Free Edition==
After downloading the '''EiffelXX.dmg''' installation package (where XX corresponds to the version number of EiffelStudio), double click on it to mount the disk image. Then double click on the '''EiffelXX.pkg''' file to launch the installation procedure. Follow the steps indicated in the dialogs to complete the installation.
After downloading the '''EiffelXX.dmg''' installation package (where XX stands for the EiffelStudio version), double click on it to mount the disk image. Then double click on the '''EiffelXX.pkg''' file to launch the installation procedure. Follow the steps indicated in the dialogs to complete the installation.
==Installing the Enterprise Edition==

33
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-sgi-irix.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for SGI Irix]]
[[Property:title|EiffelStudio for SGI Irix]]
[[Property:link_title|SGI Irix]]
[[Property:weight|8]]
[[Property:uuid|f8de85e3-0786-071c-3ece-bbde6656dc20]]
@@ -37,53 +37,53 @@
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for SGI Irix|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for SGI Irix|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for SGI Irix|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for SGI Irix|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to irix-mips for the 32 bits version or irix-mips-64 for the 64 bits version. We will be using '''irix-mips''' in the examples below.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=irix-mips
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM irix-mips
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for SGI Irix|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for SGI Irix|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for SGI Irix|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for SGI Irix|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for SGI Irix|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for SGI Irix|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -109,7 +109,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for SGI Irix|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for SGI Irix|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==
@@ -125,6 +125,3 @@ Now everything should be properly installed and you should be able to run the co
EiffelStudio for Unix uses the GTK+ theme engine to allow for custom appearance such as changing the default font size and color of windows, etc. If you do not have a theme manager (such as that provided with Gnome) you can copy the .gtkrc-2.0 file from $'''ISE_EIFFEL'''/eifinit/studio/spec/gtk directory to your $'''HOME''' directory.

32
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/eiffelstudio-solaris.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for Solaris]]
[[Property:title|EiffelStudio for Solaris]]
[[Property:link_title|Solaris]]
[[Property:weight|9]]
[[Property:uuid|3b85b8dc-c2b8-021a-f4bc-a8d19ad63b81]]
@@ -34,53 +34,53 @@
==Checking your environment==
EiffelStudio 6.2 requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
EiffelStudio requires GTK+ 2.4.0 or above to function properly. You can check that you have this installed correctly by typing the following command:
<code>pkg-config --modversion gtk+-2.0</code>
The command should succeed and the version number of GTK+ should appear. If it is not 2.4.0 or above then you cannot continue the installation of EiffelStudio. You first need to install GTK+ 2.4.0.
==Installing EiffelStudio from the Web==
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/Eiffel62.tgz):
After downloading the installation package, you should manually extract its contents to your hard drive. For example, you can extract it into /usr/local using the following commands (assuming that you have permission to /usr/local and that the installation package was saved in /tmp/EiffelXX.tar.bz2, where XX stands for the EiffelStudio version):
<code>
cd /usr/local
tar xvfz /tmp/Eiffel62.tgz</code>
tar xvfj /tmp/EiffelXX.tar.bz2</code>
This will install EiffelStudio 6.2 files into /usr/local/Eiffel62. Once this is done, jump to the [[EiffelStudio 6.2 for Solaris|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
This will install EiffelStudio files into /usr/local/EiffelXX. Once this is done, jump to the [[EiffelStudio for Solaris|Setting up EiffelStudio]] section in order to complete the installation of EiffelStudio.
==Installing EiffelStudio from a CD-ROM==
Insert the CD into your CD-ROM drive. You should manually extract its contents to your hard drive. For example you can extract it in /usr/local using the following commands (assuming that you have permission to /usr/local and that the CD is mounted on /mnt/cdrom):
<code>cd /usr/local
cp -r /mnt/cdrom/Eiffel62 .</code>
cp -r /mnt/cdrom/EiffelXX .</code>
This will install the EiffelStudio 6.2 files into /usr/local/Eiffel62. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio 6.2 for Solaris|Setting up EiffelStudio]] .
This will install the EiffelStudio files into /usr/local/EiffelXX. To complete the installation of EiffelStudio, jump to the next section, [[EiffelStudio for Solaris|Setting up EiffelStudio]] .
<span id="setting_up"></span>
==Setting up EiffelStudio==
Once the files have been installed, you should define the following environment variables in order to run EiffelStudio:
* '''ISE_EIFFEL''' to /usr/local/Eiffel62
* '''ISE_EIFFEL''' to /usr/local/EiffelXX
* '''ISE_PLATFORM''' to solaris-sparc for the 32 bits version or solaris-sparc-64 for the 64 bits version, respectively solaris-x86 and solaris-x86-64 for Solaris on Intel processors. We will be using '''solaris-sparc''' in the examples below.
and add $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin to your '''PATH''' environment variable.
Using sh or bash as a shell, it suffices to type the following commands:
<code>
export ISE_EIFFEL=/usr/local/Eiffel62
export ISE_EIFFEL=/usr/local/EiffelXX
export ISE_PLATFORM=solaris-sparc
export PATH=$PATH:$'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin</code>
export PATH=$PATH:$ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin</code>
Using csh or tcsh as a shell, it suffices to type the following commands:
<code>
setenv ISE_EIFFEL /usr/local/Eiffel62
setenv ISE_EIFFEL /usr/local/EiffelXX
setenv ISE_PLATFORM solaris-sparc
set path = ($path $'''ISE_EIFFEL'''/studio/spec/$'''ISE_PLATFORM'''/bin)</code>
set path = ($path $ISE_EIFFEL/studio/spec/$ISE_PLATFORM/bin)</code>
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio 6.2 for Solaris|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio 6.2 for Solaris|Using EiffelStudio]] section at the end of this document.
If you are using the Enterprise edition, please follow the instructions of the next section, [[EiffelStudio for Solaris|Registering the Enterprise Edition]] , otherwise jump to the [[EiffelStudio for Solaris|Using EiffelStudio]] section at the end of this document.
<span id="registering"></span>
==Registering the Enterprise Edition==
This step assumes you have followed the instructions in the [[EiffelStudio 6.2 for Solaris|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
This step assumes you have followed the instructions in the [[EiffelStudio for Solaris|Setting up EiffelStudio]] section. Perform the following commands to start the registration process:
<code>cd $ISE_EIFFEL
./register</code>
@@ -106,7 +106,7 @@ You may receive the following dialog when launching EiffelStudio:
This probably means that the '''register''' program was not launched or did not succeed in storing data to the following file $'''ISE_EIFFEL'''/install/limand/.ec_license. To solve this, rerun the '''register''' program with a user account that has permissions to write at $'''ISE_EIFFEL'''/install/limand and enter your '''Username''' and '''CD Key'''.
Once this is done, you can jump to the next section, [[EiffelStudio 6.2 for Solaris|Using EiffelStudio]] .
Once this is done, you can jump to the next section, [[EiffelStudio for Solaris|Using EiffelStudio]] .
<span id="using"></span>
==Using EiffelStudio==
@@ -123,5 +123,3 @@ Now everything should be properly installed and you should be able to run the co
EiffelStudio for Unix uses the GTK+ theme engine to allow for custom appearance such as changing the default font size and color of windows, etc. If you do not have a theme manager (such as that provided with Gnome) you can copy the .gtkrc-2.0 file from $'''ISE_EIFFEL'''/eifinit/studio/spec/gtk directory to your $'''HOME''' directory.

9
documentation/current/eiffelstudio/software-installation/software-installation-eiffelstudio/windows.wiki
View File

@@ -1,4 +1,4 @@
[[Property:title|EiffelStudio 6.2 for Windows]]
[[Property:title|EiffelStudio for Windows]]
[[Property:link_title|Windows]]
[[Property:weight|7]]
[[Property:uuid|d177e0bc-63e6-63b3-7fdb-5e7136945e21]]
@@ -34,11 +34,11 @@
==Installing EiffelStudio from the Web==
After downloading the '''Eiffel62.msi''' installation package, right click on it and select '''Install'''. This will launch the installation procedure. Follow the steps indicated in the dialogs to complete the installation.
After downloading the '''EiffelXX.msi''' installation package, right click on it and select '''Install'''. This will launch the installation procedure. Follow the steps indicated in the dialogs to complete the installation.
==Installing the Enterprise Edition.==
Insert the CD into your CD-ROM drive. If you have the autorun facility enabled, the installation process will automatically be launched. Otherwise you can launch it by executing '''Eiffel62.msi''' located at the root of the CD. During the installation you will be asked for your '''Username''' and '''CD Key'''
Insert the CD into your CD-ROM drive. If you have the autorun facility enabled, the installation process will automatically be launched. Otherwise you can launch it by executing '''EiffelXX.msi''' located at the root of the CD. During the installation you will be asked for your '''Username''' and '''CD Key'''
Enter the information located inside the box that contains your copy of the EiffelStudio Enterprise Edition, or that you will have received via email. Once the information is correct, the '''Next''' button will be enabled. Click '''Next''' and follow the steps indicated in the dialogs to complete the installation.
@@ -68,6 +68,3 @@ EiffelStudio will not run on Windows 95, 98 and Me. Contact Eiffel Software dire
Now everything should be properly installed and you should be able to run the compiler. You can now launch EiffelStudio from the Start menu or from the EiffelStudio shortcut on your desktop. If you are a new user to EiffelStudio, we recommend that you follow [[EiffelStudio: A Guided Tour|the guided tour]] .

16
documentation/current/solutions/networking/eiffelnet/eiffelnet-tutorial/obtaining-finer-degree-control.wiki
View File

@@ -66,7 +66,7 @@ Here is the server class based on these principles. The actual processing has be
soc1, soc2: UNIX_STREAM_SOCKET
make is
make
-- Accept communication with client and exchange messages
local
count: INTEGER
@@ -86,7 +86,7 @@ Here is the server class based on these principles. The actual processing has be
soc1.cleanup
end
process is
process
-- Receive a message, extend it, and send it back
local
our_new_list: OUR_MESSAGE
@@ -128,7 +128,7 @@ Here now is the client class:
soc1: UNIX_STREAM_SOCKET
make is
make
-- Establish communication with server, and exchange messages
do
create soc1.make_client ("/tmp/here")
@@ -139,7 +139,7 @@ Here now is the client class:
soc1.cleanup
end
process is
process
-- Build a message to server, receive answer, build
-- modified message from that answer, and print it.
local
@@ -192,14 +192,14 @@ The rest of the classes is as before.
soc1, soc2: NETWORK_STREAM_SOCKET
make is
make
-- Accept communication with client and exchange messages.
do
create soc1.make_server_by_port (2000)
... The rest as before...
end
process is
process
... As before ...
end
@@ -219,13 +219,13 @@ The rest of the classes is as before.
soc1: NETWORK_STREAM_SOCKET
make is
make
do
create soc1.make_client_by_port (2000, "serverhost")
... The rest as before ...
end
process is
process
... As before ...
end