View source for Interfacing the Debugger

You do not have permission to edit this page, for the following reasons:

The action you have requested is limited to users in one of the groups: Autoconfirmed users, emailconfirmed, editors.
You must confirm your email address before editing pages. Please set and validate your email address through your user preferences.

You can view and copy the source of this page:

[[Category:Compiler]]
{{Warning|'''Warning''': Article under development}}

==Introduction==
This article discusses issues recently discovered for the following two validity rules:

8.15.7 Validity: ''Conversion Procedure rule'', Validity code: '''VYCP'''<br>
8.15.8 Validity: ''Conversion Query rule'', Validity code: '''VYCQ'''

==Examples==
For the following examples eweasel tests have been created. Their named 
====Example 1====
eweasel test: convert-to-current-type
<code>[eiffel,N]
class A[G]
convert
   to_a: {A[G]}
feature
   to_a: A[G]
end
</code>
The conversion to '''A[G]''' should indeed not be valid because they are conform.

The only rule that matters in our case is '''VYCQ(3)'''.

What VYCQ(3) asks is the following

 Is A[ANY] conform to A[G]?

As we answer this question clearly with '''no''', the conversion is valid because all the other rules do not object either.

====Example 2====
eweasel test: convert-to-current-type
<code>[eiffel,N]
class A[G]
convert
   to_a: {A[STRING]}
feature
   to_a: A[STRING]
end
</code>
In the case where G's actual type parameter is a subtype of STRING the two types are conform again.

The interesting rule is again '''VYCQ(3)''':

 Is A[ANY] conform to A[STRING]?

This question is answered with '''no''' too. Therefore the conversion is valid.

Template used on this page:

Template:UnderConstruction (view source)

Return to Interfacing the Debugger.

Retrieved from "https://dev.eiffel.com/Interfacing_the_Debugger"

View source for Interfacing the Debugger

Navigation

Development

Wiki

Search

Tools