' 
' Visual Basic.Net Compiler
' Copyright (C) 2004 - 2010 Rolf Bjarne Kvinge, RKvinge@novell.com
' 
' This library is free software; you can redistribute it and/or
' modify it under the terms of the GNU Lesser General Public
' License as published by the Free Software Foundation; either
' version 2.1 of the License, or (at your option) any later version.
' 
' This library is distributed in the hope that it will be useful,
' but WITHOUT ANY WARRANTY; without even the implied warranty of
' MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
' Lesser General Public License for more details.
' 
' You should have received a copy of the GNU Lesser General Public
' License along with this library; if not, write to the Free Software
' Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
' 

Public MustInherit Class ConversionExpression
    Inherits Expression

    Private m_Expression As Expression

    Public Overrides ReadOnly Property AsString() As String
        Get
            Return "CType (" & m_Expression.AsString & ", " & ExpressionType.FullName & ")"
        End Get
    End Property

    Shared Function GetTypeConversion(ByVal Parent As ParsedObject, ByVal fromExpr As Expression, ByVal DestinationType As Mono.Cecil.TypeReference) As Expression

        If Helper.CompareType(fromExpr.ExpressionType, DestinationType) Then
            Return fromExpr
        End If

        Select Case Helper.GetTypeCode(Parent.Compiler, DestinationType)
            Case TypeCode.Boolean
                Return New CBoolExpression(Parent, fromExpr)
            Case TypeCode.Byte
                Return New CByteExpression(Parent, fromExpr)
            Case TypeCode.Char
                Return New CCharExpression(Parent, fromExpr)
            Case TypeCode.DateTime
                Return New CDateExpression(Parent, fromExpr)
            Case TypeCode.Decimal
                Return New CDecExpression(Parent, fromExpr)
            Case TypeCode.Double
                Return New CDblExpression(Parent, fromExpr)
            Case TypeCode.Int16
                Return New CShortExpression(Parent, fromExpr)
            Case TypeCode.Int32
                Return New CIntExpression(Parent, fromExpr)
            Case TypeCode.Int64
                Return New CLngExpression(Parent, fromExpr)
            Case TypeCode.SByte
                Return New CSByteExpression(Parent, fromExpr)
            Case TypeCode.Single
                Return New CSngExpression(Parent, fromExpr)
            Case TypeCode.String
                Return New CStrExpression(Parent, fromExpr)
            Case TypeCode.UInt16
                Return New CUShortExpression(Parent, fromExpr)
            Case TypeCode.UInt32
                Return New CUIntExpression(Parent, fromExpr)
            Case TypeCode.UInt64
                Return New CULngExpression(Parent, fromExpr)
            Case Else
                If CecilHelper.IsByRef(DestinationType) AndAlso CecilHelper.IsByRef(fromExpr.ExpressionType) = False Then
                    Dim elementType As Mono.Cecil.TypeReference = CecilHelper.GetElementType(DestinationType)
                    Dim result As Boolean = True
                    Dim tmp As Expression
                    tmp = GetTypeConversion(Parent, fromExpr, elementType)
                    result = tmp.ResolveExpression(ResolveInfo.Default(Parent.Compiler)) AndAlso result
                    tmp = New GetRefExpression(Parent, tmp)
                    result = tmp.ResolveExpression(ResolveInfo.Default(Parent.Compiler)) AndAlso result
                    If result = False Then Throw New InternalException
                    Return tmp
                Else
                    Return New CTypeExpression(Parent, fromExpr, DestinationType)
                End If
        End Select
    End Function

    Public Overrides Function ResolveTypeReferences() As Boolean
        Return m_Expression.ResolveTypeReferences
    End Function

    ReadOnly Property Expression() As Expression
        Get
            Return m_Expression
        End Get
    End Property

    Sub New(ByVal Parent As ParsedObject, ByVal Expression As Expression)
        MyBase.New(Parent)
        m_Expression = Expression
    End Sub

    Sub New(ByVal Parent As ParsedObject)
        MyBase.New(Parent)
    End Sub

    Sub Init(ByVal Expression As Expression)
        m_Expression = Expression
    End Sub

    Public Overrides ReadOnly Property IsConstant() As Boolean
        Get
            If m_Expression.IsConstant = False Then
                Return False
            Else
                Dim value As Object
                value = m_Expression.ConstantValue
                Dim result As Object = Nothing
                If Compiler.TypeResolution.CheckNumericRange(value, result, ExpressionType) Then
                    Return True
                Else
                    Return False
                End If
            End If
        End Get
    End Property

    Protected Overrides Function ResolveExpressionInternal(ByVal Info As ResolveInfo) As Boolean
        Dim result As Boolean = True

        If m_Expression.IsResolved = False Then
            result = m_Expression.ResolveExpression(Info) AndAlso result
        End If

        If result = False Then Return result

        result = Helper.VerifyValueClassification(m_Expression, Info) AndAlso result
        Classification = New ValueClassification(Me)

        Return result
    End Function
End Class
