EiffelStudio

エッフェルソフトウェアは、企業がソフトウェアを生成する方法で、具体的かつ即時の違いを作る開発ツールを提供しています。
 
 同社の主力製品、EiffelStudioは、デュアルライセンスで利用することができます：オープンソースと商用のどちらかを選択します。
 
 エッフェルは広く、高速、堅牢でスケーラブルなアプリケーションを作成するための最適な言語​​と見なされているが、EiffelStudioTMはエッフェル開発FrameworkTMのフルパワーを実現するための唯一のツールです。
 
 EiffelStudioは単なるIDE以上のものです。
 
 要件やエッフェルでの思考プロセスをキャプチャする - あなたが思うようにあなたのシステムをモデル化することができることを想像してみてください。あなたがデザインする準備ができているときに、あなたはまだエッフェルで、先ほど作成したモデルに基づいて構築します。それから、あなたはエッフェルに、実装されています。あなたが何かを投げ、最初からやり直す必要はありません。あなたが戻って安全にアーキテクチャの変更を行うことができるように余分なツールを必要としません。ラウンドトリップエンジニアリング？これは、設計によってで構築されています。テスト、メトリックと生産性向上ツール？これらを内蔵しています。
 
 とデバッグ？ ContractTMによるエッフェルのネイティブデザインは、これまで最初の場所で発生したバグの90％を阻止する - とどのようなバグは、容易に追跡し、修理、一般的に10分以内にされたままです。
 
 あなたが統合する複数のプラットフォームを持っている場合は、和解や、問題なく通信します。エッフェルは、Windows、UNIX、Linuxでは、組み込み、さらにはVMSシステム上で実行されます。あなたは（たとえ出発点として、既存のアプリケーションのインポート）エッフェル塔でアプリケーションを作成し、エッフェルはにコンパイル他のプラットフォームに移行することができます。

このリリースの新機能：ます。

このバージョン13.11.9.3542:

New機能の新機能です。
コンパイラ：のような規則的な機能の呼び出しを探すために引数を取りませんエンティティの引数を持つ機能の呼び出しを処理できるようにサポートされている括弧の別名。これは、例えば、エージェントオブジェクトの呼び出しを行うのに特に便利です代わりmy_agent.call（X）のそれはmy_agent（X）を使用することも可能です。ブラケットの別名とは異なり、括弧エイリアスはクエリとコマンドの両方で使用することができますが、ブラケットの別名と同様に、対応する特徴は、少なくとも一つの引数を持つ必要があります。
コンパイラ：ときタプルに最後の引数、そのラップを呼び出す機能に実引数を処理するための新しいルールをサポート：実引数の数が仮引数の数を超えるか、実引数の数が仮引数の数に等しいときが、最後の実引数は、型互換性の最後の仮引数とのタプルに包まれていない限りではありません。これは、明示的なマニフェストタプル表記を避けエージェントオブジェクトの呼び出しを行うのに特に便利です。 my_agent（123、＆QUOTとして、括弧の別名と組み合わされた場合、または例えば、my_agent.call（[123、＆QUOT; ABC＆QUOT ;,値]）my_agent.call（ABC＆QUOT ;,値123、＆QUOT）のように書くことができます。 ; ABC＆QUOT ;,値）。
コンパイラ：いくつかの条件に応じて値を計算するために、異なる表現を使ってできるようにサポートされている条件式：X＆LT場合。 yとx＆LT; Zその後のxのelseif Y＆LT; Z他には、y zの終わり。
コンパイラ：ECFリダイレクションのサポート - ＆GT; （リンクと同様に）別の.ecfからリダイレクトを作成する方法を提供し
改善点：
ライブラリ：追加PROCEDURE.callとFUNCTION.itemため括弧エイリアスエージェントへのコールfoo.callように（1、2、3）とx：= bar.item（＆QUOT;かんぬん＆QUOT;）がfooに置き換えることができる（1、 2、3）とx：=バー（＆QUOT;かんぬん＆QUOT;）。
ライブラリ：御坊市のボイド·セーフ·バージョンが追加されましたが、引数のみ、テスト、ツール、およびXMLはまだ空隙セーフではありません。
バグ修正：
コンパイラ：バグ＃18266（テスト＃のsvalid031は） - ブラケットの別名と名前が変更機能の存在しないエラーを報告するバグを修正します。
コンパイラ：バグ＃18282（テスト＃のmulticon062は） - 複数の正式な汎用的な制約で指定されたブラケットの別名を持つ機能の誤ったエラーレポートの原因となったバグを修正しました。
コンパイラ：テスト＃のattach108は - conjuctionsと含意式の中で使用される読み取り専用変数のスコープの計算を修正しました。

このバージョンは何7.1.8.8986:

Thisバージョンで新しく追加されたことは、新たなエッフェルWebフレームワークを追加する複数の実行中のプロセッサを可能にするために、SCOOPの実装を改善し、GTK 3.4とそのHTML5のサポートが追加されますバックエンドは、エッフェル情報システムツールを改善し、様々なバグ修正や改良が追加されます。

このバージョンは何7.0.8.8074:

Thisバージョンで新しく追加されたことは、それが簡単に移行できるようにすることで、（SCOOP技術を介して）並行性とボイドの安全性の分野で大幅な改善が含まれていますボイド安全コード。
また、より多くの外部の貢献を含んで使用することEiffelStudioを容易にするために、多くの小さな改善があります。
試験設備を使用するときに

このバージョンは何6.7.8.5049:

Thisリリースで新しく追加されましたことは、いくつかのincrementalityの問題を解決します。
新しい全体の構築物で、いくつかの表示の問題が解決されました。

この機能のバージョンで6.6.8.2636:

New新機能です。
ベースはSEDシリアライゼーションクラスタ内の正しいミスマッチのサポートが追加されました。
改善点：
ランタイム `容量が '`カウントに設定」新しいコピーがその `能力を持つことになります」その`カウントよりはるかに高い「SPECIALインスタンスを姉妹提携します。
スタジオには、新しいエラーリストツールの好み＆QUOTを追加しました。tools.error_list.show_tooltip＆QUOT ;,豊富なので、ツールチップウィンドウがエラー一覧ツールに自動的に表示するかどうかをユーザーが指定することができます終了します。
機能は削除します
バグ修正：
コンパイラは、新しいファイルがシステムにそれを参照した後に予想されるクラスが含まれていないことを検出しなかった場合、コンパイラは、バグ＃16545を修正しました（incr340テスト＃を参照してください）​​。
子クラスは、不変のままのアサーションを使用した機能は、親クラスから削​​除されたときのケースのためのいくつかの再コンパイルのバグ（バグ＃16546、バグ＃16547、バグ＃16553）を修正コンパイラ（テスト＃のincr341、テスト＃のincr342、テスト＃のincr343を参照してください。 ）。
マウスEiffelStudioの外点滅スタジオバグ修正＃15788（バグ＃16209、バグ＃16278）エラーのツールチップ
特徴実装者や子孫での検索スタジオバグ修正＃16543は、一致を示すようにスクロールしません
（再）されている機能を指すクライアントの継承されたコードをチェックするときに移動し、コンパイラがクラッシュしたり、不正なエラーメッセージの原因となったコンパイラを修正し、再コンパイルのバグ（バグ＃14525、バグ＃16052）（テスト＃のincr293を参照して、テスト＃incr338）。
ユーザーの変更：
実験モードが今なくなっているスタジオには、それがデフォルトになっています。 6.5のデフォルトモードへのアクセス権を持つためには、互換性のあるバージョンを使用する必要があります。

このEiffelStudio配信に加えたバージョン6.5.8.524:

The EiffelBase拡張ライブラリの新機能。
このライブラリは、項目がハッシュ可能ですセット、およびスローアウェイの子孫のためにいくつかの新しいソート機能である新しいクラスSEARCH_TABLEを、提供します。
PART_SORTED_SETとBINARY_SEARCH_TREE_SETでいくつかの問題が修正されました。
様々なEiffelStudioバグが修正されました。文字列クラスとHASH_TABLEの「clear_allは '' wipe_out」の賛成で廃止されました。
STRING.resizeでの動作の変更は、より小さなサイズの「サイズ変更」を呼び出す防ぐために行われました。

この我々はライブラリの2つのバージョンを含めている下位互換性の問題6.4.7.9263:

Forバージョンの新機能です。デフォルトでは、下位互換性のあるバージョンを使用します。新しいライブラリを使用するには、 `-experiment 'スイッチを使用する必要があります。それは限り、いくつかの小さな変更がコードになっている、どちらのバージョンに対してコンパイルするコードを作成することが可能です。

この追加されたエッフェルでは、iPhoneアプリケーションのバージョン6.4.7.8984:

Developmentの新機能。現在のところ、唯一のコマンドラインアプリケーションをサポートしていますが、グラフィカルアプリケーションのサポートはすぐに来るべきです。動的ライブラリのAPIラッパー、エンコードライブラリと国際化ライブラリ：以下のライブラリは、配達に追加されました。 GTKのいくつかの問題が修正されました。スレッドまたはシリアル化に関連するいくつかの実行時のバグが修正されました。 Mac OS Xでプリコンパイルのバグが修正されました。

このバージョン6.4.7.8382:

Bugフィックスの新機能です。
デバッガ：固定最近導入されたバグ＃15610：EiffelStudioで{} DBG_EXPRESSION_EVALUATOR_B .is_boolean_expressionにボイドターゲット上の特徴コール。
デバッガ：{} AST_DEBUGGER_BREAKABLE_STRATEGY .initialize_current_contextにボイドターゲット上の固定バグ＃15669機能の呼び出し
デバッガ：オブジェクトテスト地元の人々のための改良されたサポート
ランタイム：Linux上でマルチスレッドアプリケーションでスタックオーバーフローの非検出を修正しました。
ユーザーの変更：
コンパイラ：増加ECF XMLスキーマのバージョンが最新の変更が反映されます。
コンパイラ：3つの値のいずれかを含む文字列型の構文で整数型のECFスキーマ属性syntax_levelを置き換え。
コンパイラ： - ボイドの安全性をチェックし、すべての - すべての空隙安全点検、初期化 - の3つの値（なしのいずれかを含む文字列型のvoid_safetyとboolean型の置き換えECFスキーマ属性is_void_safeオンデマンドボイド安全性チェック、すなわち、接続されているエンティティの場合のみ）。
コンパイラ：アプリケーションオプションは、オプションを使用するアプリケーションのオプションがtrueに設定されているライブラリーで指定されたオプションを適用した後に適用されます。
コンパイラ： 'の代わりに `エイリアスの'`中置/プレフィックスを使用してコードを認識するための互換性が追加されました。

この要件：

このGTK +