| 1 |
<?xml version="1.0" encoding="ISO-8859-1"?><system xmlns="http://www.eiffel.com/developers/xml/configuration-1-0-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-0-0 http://www.eiffel.com/developers/xml/configuration-1-0-0.xsd" name="test" uuid="a7b0f595-f8e9-47bd-9b01-5602ef63493a"> |
| 2 |
<target name="test"> |
| 3 |
<description>--| Copyright (c) 1993-2006 University of Southern California and contributors. |
| 4 |
--| All rights reserved. |
| 5 |
--| Your use of this work is governed under the terms of the GNU General |
| 6 |
--| Public License version 2. |
| 7 |
-- To reproduce error: |
| 8 |
-- Compile with Ace as is, without precompilation. |
| 9 |
-- Compiler reports VTCT on class INDEXABLE. |
| 10 |
-- Comment out kernel cluster. Resume. Compiler reports VD23. |
| 11 |
-- Uncomment kernel cluster and access cluster. Resume. |
| 12 |
-- Compiler exception trace in pass 1. |
| 13 |
</description> |
| 14 |
<root cluster="root_cluster" class="test" feature="make"/> |
| 15 |
<option warning="true"> |
| 16 |
<assertions precondition="true" postcondition="false" check="false" invariant="false" loop="false"/> |
| 17 |
<warning name="syntax" enabled="false"/> |
| 18 |
</option> |
| 19 |
$EWEASEL_DOTNET_SETTING |
| 20 |
<mapping old_name="STRING" new_name="STRING_8"/> |
| 21 |
<mapping old_name="INTEGER" new_name="INTEGER_32"/> |
| 22 |
<mapping old_name="NATURAL" new_name="NATURAL_32" /> |
| 23 |
<mapping old_name="CHARACTER" new_name="CHARACTER_8" /> |
| 24 |
<mapping old_name="WIDE_CHARACTER" new_name="CHARACTER_32" /> |
| 25 |
<mapping old_name="REAL" new_name="REAL_32" /> |
| 26 |
<mapping old_name="DOUBLE" new_name="REAL_64" /> |
| 27 |
<mapping old_name="INTEGER_REF" new_name="INTEGER_32_REF" /> |
| 28 |
<mapping old_name="CHARACTER_REF" new_name="CHARACTER_8_REF" /> |
| 29 |
<mapping old_name="WIDE_CHARACTER_REF" new_name="CHARACTER_32_REF" /> |
| 30 |
<mapping old_name="REAL_REF" new_name="REAL_32_REF" /> |
| 31 |
<mapping old_name="DOUBLE_REF" new_name="REAL_64_REF" /> |
| 32 |
|
| 33 |
<assembly name="mscorlib" location="$ISE_DOTNET_FRAMEWORK\mscorlib.dll"/> |
| 34 |
<assembly name="system_" location="$ISE_DOTNET_FRAMEWORK\System.dll" prefix="SYSTEM_DLL_"/> |
| 35 |
<assembly name="system_xml" location="$ISE_DOTNET_FRAMEWORK\System.Xml.dll" prefix="XML_"/> |
| 36 |
<assembly name="eiffelsoftware_runtime" location="$ISE_EIFFEL\studio\spec\$ISE_PLATFORM\lib\EiffelSoftware.Runtime.dll"/> |
| 37 |
<cluster name="iteration" location="$ITERATION\"/> |
| 38 |
<cluster name="kernel" location="$KERNEL\"/> |
| 39 |
<cluster name="kernel_classic" location="$KERNEL_CLASSIC\"/> |
| 40 |
<cluster name="list" location="$LIST\"/> |
| 41 |
<cluster name="root_cluster" location="$CLUSTER\"/> |
| 42 |
<cluster name="storage" location="$STORAGE\"/> |
| 43 |
<cluster name="traversing" location="$TRAVERSING\"/> |
| 44 |
</target> |
| 45 |
</system> |
Parent Directory
| 
Revision Log