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

Annotation of /trunk/eweasel/tests/incr403/tcf

Parent Directory Parent Directory | Revision Log Revision Log


Revision 85257 - (hide 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 dhollen 85257
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