Changed "Inspector Eiffel" into "Eiffel Inspector" as the former might have a negative connotation (think Inspector Clouseau).


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94953 8089f293-4706-0410-a29e-feb5c42a2edf
Changed "Inspector Eiffel" into "Eiffel Inspector" as the former might have a negative connotation (think Inspector Clouseau).


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94954 8089f293-4706-0410-a29e-feb5c42a2edf
Updated to use `start_selection' and `end_selection' instead of obsolete and incorrect `selection_start' and `selection_end'.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94955 8089f293-4706-0410-a29e-feb5c42a2edf
Added a new test case showing a failure of the parser when parsing a file without calling `start' on the input stream.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94956 8089f293-4706-0410-a29e-feb5c42a2edf
Provided a workaround for a bug in the XML parser library where if you do not call `start' on the input stream before calling `parse_from_stream' it will not work properly and report a syntax error on the first character of the XML file. This prevented the our contract editor to function properly.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94957 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed a precondition violation when calling `tabbify_unicode' in `format_contract' if a line from the contract editor is empty which happens when user press twice the enter key when editing the contract. We simply check that the line is not empty.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94958 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed obsolete calls to `is_service_available'.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94959 8089f293-4706-0410-a29e-feb5c42a2edf
Do not violate a check violation if there are no more templates, simply gray out the menu entry.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94960 8089f293-4706-0410-a29e-feb5c42a2edf
* Changed "Inspector Eiffel" into "Eiffel Inspector" as the former might have a negative connotation (think Inspector Clouseau).
* Labeled the Eiffel Inspector tool experimental since there is no documentation and there are a few shortcomings.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94961 8089f293-4706-0410-a29e-feb5c42a2edf
Made `string' obsolete and added `string_32' to replace it.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94962 8089f293-4706-0410-a29e-feb5c42a2edf
Merged all changes from trunk/Src/library to the experimental branch.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94963 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed a bug because using `put_i_th' on an ARRAYED_LIST is not allowed if the list is not filled up to the index we are inserting. Instead we are now using `extend' and an across loop to iterate over `a_type' in `process_gen_type'. This was reproducible by opening class PRIMES and EXECUTION_ENVIRONMENT and then choosing `Generate tests for open classes...' in the AutoTest tab and then clicking Launch.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94964 8089f293-4706-0410-a29e-feb5c42a2edf
Removed svn:ignore which is useless since now `Delivery' is part of `Src' and we do not have a `Documentation' folder and `free_add_ons' doesn't have to be checked out inside `Src'.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94965 8089f293-4706-0410-a29e-feb5c42a2edf
Added detection of obvious VWEQ in the compiler which triggers more VWEQ errors than before.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94966 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed updated eweasel tests test#valid275, test#exec338 and test#incr383 were the compiler failed to report warnings on comparison of a = b when `a' and `b' do not have the same type. Currently it will still not report a warning if you compare Void with a formal generic parameter or a reference (attached or not), but will if compared against an expanded type.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94967 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed issue in `on_validate_type' where previous commit at rev#94928 to remove the explicit tuple creation introduced a bug since `Result' is now created at the very end of the routine. So we have replaced `Result.valid' by `l_message = Void' which is semantically equivalent.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94968 8089f293-4706-0410-a29e-feb5c42a2edf
Fixed invalid postcondition of `set_time_out' that was comparing INTEGER with NATURAL and thus always returning False.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94969 8089f293-4706-0410-a29e-feb5c42a2edf
Updated ECF to latest format.
Removed non-used locals.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94970 8089f293-4706-0410-a29e-feb5c42a2edf
Updated to latest ECF format.
Enabled warnings.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94971 8089f293-4706-0410-a29e-feb5c42a2edf
Partial fix for bug#18838 by preventing a crash when no executable is present (case of compiling an ECF as a library instead of an application). Now the next step will be to disable the menu entries when we have such as system.


git-svn-id: https://svn.eiffel.com/eiffelstudio/trunk@94972 8089f293-4706-0410-a29e-feb5c42a2edf