Improved a few ecf file for tests.

Cosmetic.
This commit is contained in:
Jocelyn Fiat
2017-10-17 13:39:59 +02:00
parent ccf108a35e
commit 375b53c677
6 changed files with 29 additions and 30 deletions

View File

@@ -8,8 +8,7 @@
<exclude>/EIFGENs$</exclude> <exclude>/EIFGENs$</exclude>
</file_rule> </file_rule>
<capability> <capability>
<concurrency support="none" use="none"/> <concurrency use="none"/>
<void_safety support="transitional" use="transitional"/>
</capability> </capability>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
<library name="config" location="..\config.ecf" readonly="false"/> <library name="config" location="..\config.ecf" readonly="false"/>

View File

@@ -1,14 +1,13 @@
<?xml version="1.0" encoding="ISO-8859-1"?> <?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="test" uuid="8E9CF931-93CE-4C5A-BF1A-6FD7D850C5FB"> <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="gcse_tests" uuid="8E9CF931-93CE-4C5A-BF1A-6FD7D850C5FB">
<target name="test"> <target name="gcse_tests">
<root class="APPLICATION" feature="make"/> <root class="APPLICATION" feature="make"/>
<option warning="true"> <option warning="true">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> <assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
</option> </option>
<setting name="console_application" value="true"/> <setting name="console_application" value="true"/>
<capability> <capability>
<concurrency support="none"/> <concurrency use="none"/>
<void_safety support="transitional" use="transitional"/>
</capability> </capability>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
<library name="gcse" location="..\gcse.ecf" readonly="false"/> <library name="gcse" location="..\gcse.ecf" readonly="false"/>

View File

@@ -1,13 +1,13 @@
<?xml version="1.0" encoding="ISO-8859-1"?> <?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="tests" uuid="FCC2264E-784F-4ACF-9262-E348904FDBA5"> <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="store_mysql_tests" uuid="FCC2264E-784F-4ACF-9262-E348904FDBA5">
<target name="tests"> <target name="store_mysql_tests">
<root class="APPLICATION" feature="make"/> <root class="APPLICATION" feature="make"/>
<option warning="true" > <option warning="true">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> <assertions supplier_precondition="true"/>
</option> </option>
<capability> <capability>
<concurrency support="thread" use="thread"/> <concurrency support="thread" use="thread"/>
<void_safety support="conformance" use="conformance"/> <void_safety support="conformance"/>
</capability> </capability>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
<library name="cms" location="..\..\..\..\cms.ecf" readonly="false"/> <library name="cms" location="..\..\..\..\cms.ecf" readonly="false"/>

View File

@@ -3,11 +3,11 @@
<target name="tests_store_odbc"> <target name="tests_store_odbc">
<root class="APPLICATION" feature="make"/> <root class="APPLICATION" feature="make"/>
<option warning="true"> <option warning="true">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> <assertions supplier_precondition="true"/>
</option> </option>
<capability> <capability>
<concurrency support="thread" use="thread"/> <concurrency support="thread" use="thread"/>
<void_safety support="conformance" use="conformance"/> <void_safety support="conformance"/>
</capability> </capability>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>
<library name="cms" location="..\..\..\..\cms.ecf" readonly="false"/> <library name="cms" location="..\..\..\..\cms.ecf" readonly="false"/>

View File

@@ -1,14 +1,13 @@
<?xml version="1.0" encoding="ISO-8859-1"?> <?xml version="1.0" encoding="ISO-8859-1"?>
<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="test" uuid="CE9FCE69-EE0A-4028-AA02-BD9F8ABA7586"> <system xmlns="http://www.eiffel.com/developers/xml/configuration-1-16-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-16-0 http://www.eiffel.com/developers/xml/configuration-1-16-0.xsd" name="recaptcha_tests" uuid="CE9FCE69-EE0A-4028-AA02-BD9F8ABA7586">
<target name="test"> <target name="recaptcha_tests">
<root class="APPLICATION" feature="make"/> <root class="APPLICATION" feature="make"/>
<option warning="true"> <option warning="true">
<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/> <assertions supplier_precondition="true"/>
</option> </option>
<setting name="console_application" value="true"/> <setting name="console_application" value="true"/>
<capability> <capability>
<concurrency support="none"/> <concurrency use="none"/>
<void_safety support="transitional" use="transitional"/>
</capability> </capability>
<precompile name="base_pre" location="$ISE_PRECOMP\base-safe.ecf"/> <precompile name="base_pre" location="$ISE_PRECOMP\base-safe.ecf"/>
<library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/> <library name="base" location="$ISE_LIBRARY\library\base\base.ecf"/>

View File

@@ -731,6 +731,8 @@ feature -- Status Report
string_representation_of_errors: STRING_32 string_representation_of_errors: STRING_32
-- String representation of all error(s). -- String representation of all error(s).
require
has_error: has_error
do do
Result := error_handler.as_string_representation Result := error_handler.as_string_representation
end end