/[eiffelstudio]/trunk/eweasel/tests/incr403/tcf
ViewVC logotype

Contents of /trunk/eweasel/tests/incr403/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85257 - (show annotations)
Tue Jan 4 17:28:22 2011 UTC (8 years, 9 months ago) by dhollen
File size: 556 byte(s)
Added eweasel test incr403 for bug #17257, where changing the type of an
entity that is referenced by a qualified anchored type that is the (open)
target for an inline agent causes the compiler to miss an "agent with basic
target" validity error.

1
2 test_name qat-change-agent-target-type
3 test_description Changing the type of a entity that is referenced in a qualified anchored type that is the type for the target of an inline agent creates a NOT_SUPPORTED error but the compiler does not detect it
4
5 define ATTRIBUTE_TYPE "STRING"
6 copy_sub Ace $TEST Ace
7 copy_raw test.e $CLUSTER test.e
8 copy_sub test2.e $CLUSTER test2.e
9
10 compile_frozen
11 compile_result ok
12
13 define ATTRIBUTE_TYPE "DOUBLE"
14 copy_sub test2.e $CLUSTER test2.e
15
16 compile_melted
17 compile_result validity_error TEST NOT_SUPPORTED
18
19 test_end

Properties

Name Value
svn:eol-style native

  ViewVC Help
Powered by ViewVC 1.1.23