2 // Permission is hereby granted, free of charge, to any person obtaining
3 // a copy of this software and associated documentation files (the
4 // "Software"), to deal in the Software without restriction, including
5 // without limitation the rights to use, copy, modify, merge, publish,
6 // distribute, sublicense, and/or sell copies of the Software, and to
7 // permit persons to whom the Software is furnished to do so, subject to
8 // the following conditions:
10 // The above copyright notice and this permission notice shall be
11 // included in all copies or substantial portions of the Software.
13 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
14 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
15 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
16 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
17 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
18 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
19 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
21 // Copyright (C) Lluis Sanchez Gual, 2004
25 using System
.Reflection
;
26 using System
.Reflection
.Emit
;
27 using Mono
.CodeGeneration
;
29 namespace Mono
.CodeGeneration
31 public class CodeCast
: CodeExpression
36 public CodeCast (Type type
, CodeExpression exp
)
42 public override void Generate (ILGenerator gen
)
46 Type typeObj
= exp
.GetResultType ();
48 if (type
.IsAssignableFrom (typeObj
)) {
49 if (typeObj
.IsValueType
)
50 gen
.Emit (OpCodes
.Box
, typeObj
);
53 else if (type
.IsValueType
&& typeObj
== typeof(object)) {
55 gen
.Emit (OpCodes
.Unbox
, type
);
56 CodeGenerationHelper
.LoadFromPtr (gen
, type
);
59 else if (typeObj
.IsAssignableFrom (type
)) {
61 gen
.Emit (OpCodes
.Castclass
, type
);
64 else if (CodeGenerationHelper
.IsNumber (type
) && CodeGenerationHelper
.IsNumber (typeObj
)) {
65 switch (Type
.GetTypeCode (type
))
68 gen
.Emit (OpCodes
.Conv_U1
);
71 gen
.Emit (OpCodes
.Conv_R8
);
74 gen
.Emit (OpCodes
.Conv_I2
);
77 gen
.Emit (OpCodes
.Conv_I4
);
80 gen
.Emit (OpCodes
.Conv_I8
);
83 gen
.Emit (OpCodes
.Conv_I1
);
86 gen
.Emit (OpCodes
.Conv_R4
);
89 gen
.Emit (OpCodes
.Conv_U2
);
92 gen
.Emit (OpCodes
.Conv_U4
);
95 gen
.Emit (OpCodes
.Conv_U8
);
100 MethodInfo imp
= type
.GetMethod ("op_Implicit", new Type
[] { typeObj }
);
102 gen
.Emit (OpCodes
.Call
, imp
);
106 foreach (MethodInfo m
in typeObj
.GetMember ("op_Explicit"))
107 if (m
.ReturnType
== type
) {
108 gen
.Emit (OpCodes
.Call
, m
);
112 throw new InvalidOperationException ("Can't cast from " + typeObj
+ " to " + type
);
115 public override void PrintCode (CodeWriter cp
)
117 Type typeObj
= exp
.GetResultType ();
118 if (type
.IsAssignableFrom (typeObj
)) {
123 cp
.Write ("((" + type
.FullName
+ ") ");
128 public override Type
GetResultType ()