* typemanager.cs: Property.GetGetMethod() does not return the method if it
[mono.git] / mcs / mbas / expression.cs
index a923a84013c709395cc9e27e51909ee8fcc01785..3a965aee11bb5fd8a6142c9d9a2e8d4526a8924f 100644 (file)
@@ -9,7 +9,7 @@
 //
 #define USE_OLD
 
-namespace Mono.CSharp {
+namespace Mono.MonoBASIC {
        using System;
        using System.Collections;
        using System.Reflection;
@@ -143,7 +143,7 @@ namespace Mono.CSharp {
                        Error (
                                23, "Operator " + OperName (Oper) +
                                " cannot be applied to operand of type '" +
-                               TypeManager.CSharpName (t) + "'");
+                               TypeManager.MonoBASIC_Name (t) + "'");
                }
 
                /// <remarks>
@@ -484,7 +484,7 @@ namespace Mono.CSharp {
                        }
 
                        Error (187, "No such operator '" + OperName (Oper) + "' defined for type '" +
-                              TypeManager.CSharpName (expr_type) + "'");
+                              TypeManager.MonoBASIC_Name (expr_type) + "'");
                        return null;
                }
 
@@ -692,7 +692,7 @@ namespace Mono.CSharp {
                        Error (
                                23, "Operator " + OperName (mode) + 
                                " cannot be applied to operand of type '" +
-                               TypeManager.CSharpName (t) + "'");
+                               TypeManager.MonoBASIC_Name (t) + "'");
                }
 
                /// <summary>
@@ -781,7 +781,7 @@ namespace Mono.CSharp {
                        }
 
                        Error (187, "No such operator '" + OperName (mode) + "' defined for type '" +
-                              TypeManager.CSharpName (expr_type) + "'");
+                              TypeManager.MonoBASIC_Name (expr_type) + "'");
                        return null;
                }
 
@@ -1074,13 +1074,13 @@ namespace Mono.CSharp {
                                        Warning (
                                                183,
                                                "The expression is always of type '" +
-                                               TypeManager.CSharpName (probe_type) + "'");
+                                               TypeManager.MonoBASIC_Name (probe_type) + "'");
                                else if (warning_never_matches){
                                        if (!(probe_type.IsInterface || expr.Type.IsInterface))
                                                Warning (
                                                        184,
                                                        "The expression is never of type '" +
-                                                       TypeManager.CSharpName (probe_type) + "'");
+                                                       TypeManager.MonoBASIC_Name (probe_type) + "'");
                                }
                        }
 
@@ -1113,8 +1113,8 @@ namespace Mono.CSharp {
                {
                        Report.Error (
                                39, loc, "as operator can not convert from '" +
-                               TypeManager.CSharpName (source) + "' to '" +
-                               TypeManager.CSharpName (target) + "'");
+                               TypeManager.MonoBASIC_Name (source) + "' to '" +
+                               TypeManager.MonoBASIC_Name (target) + "'");
                }
                
                public override Expression DoResolve (EmitContext ec)
@@ -1130,7 +1130,7 @@ namespace Mono.CSharp {
 
                        if (TypeManager.IsValueType (probe_type)){
                                Report.Error (77, loc, "The as operator should be used with a reference type only (" +
-                                             TypeManager.CSharpName (probe_type) + " is a value type");
+                                             TypeManager.MonoBASIC_Name (probe_type) + " is a value type)");
                                return null;
                        
                        }
@@ -1647,8 +1647,8 @@ namespace Mono.CSharp {
                        Report.Error (
                                34, loc, "Operator '" + OperName (oper) 
                                + "' is ambiguous on operands of type '"
-                               + TypeManager.CSharpName (l) + "' "
-                               + "and '" + TypeManager.CSharpName (r)
+                               + TypeManager.MonoBASIC_Name (l) + "' "
+                               + "and '" + TypeManager.MonoBASIC_Name (r)
                                + "'");
                }
 
@@ -1814,8 +1814,8 @@ namespace Mono.CSharp {
                {
                        Report.Error (19, loc,
                               "Operator " + name + " cannot be applied to operands of type '" +
-                              TypeManager.CSharpName (l) + "' and '" +
-                              TypeManager.CSharpName (r) + "'");
+                              TypeManager.MonoBASIC_Name (l) + "' and '" +
+                              TypeManager.MonoBASIC_Name (r) + "'");
                }
                
                void Error_OperatorCannotBeApplied ()
@@ -2752,8 +2752,8 @@ namespace Mono.CSharp {
                                        if (ConvertImplicit (ec, falseExpr, true_type, loc) != null){
                                                Error (172,
                                                       "Can not compute type of conditional expression " +
-                                                      "as '" + TypeManager.CSharpName (trueExpr.Type) +
-                                                      "' and '" + TypeManager.CSharpName (falseExpr.Type) +
+                                                      "as '" + TypeManager.MonoBASIC_Name (trueExpr.Type) +
+                                                      "' and '" + TypeManager.MonoBASIC_Name (falseExpr.Type) +
                                                       "' convert implicitly to each other");
                                                return null;
                                        }
@@ -2765,8 +2765,8 @@ namespace Mono.CSharp {
                                } else {
                                        Error (173, "The type of the conditional expression can " +
                                               "not be computed because there is no implicit conversion" +
-                                              " from '" + TypeManager.CSharpName (trueExpr.Type) + "'" +
-                                              " and '" + TypeManager.CSharpName (falseExpr.Type) + "'");
+                                              " from '" + TypeManager.MonoBASIC_Name (trueExpr.Type) + "'" +
+                                              " and '" + TypeManager.MonoBASIC_Name (falseExpr.Type) + "'");
                                        return null;
                                }
                        }
@@ -3422,7 +3422,7 @@ namespace Mono.CSharp {
                        string ret_type = "";
 
                        if (mb is MethodInfo)
-                               ret_type = TypeManager.CSharpName (((MethodInfo) mb).ReturnType) + " ";
+                               ret_type = TypeManager.MonoBASIC_Name (((MethodInfo) mb).ReturnType) + " ";
                        
                        StringBuilder sb = new StringBuilder (ret_type + mb.Name);
                        ParameterData pd = GetParameterData (mb);
@@ -3573,8 +3573,8 @@ namespace Mono.CSharp {
                                ~(Parameter.Modifier.OUT | Parameter.Modifier.REF);
 
                        if (a_mod == p_mod || (a_mod == Parameter.Modifier.NONE && p_mod == Parameter.Modifier.PARAMS)) {
-                               if (a_mod == Parameter.Modifier.NONE)
-                                       if (!ImplicitConversionExists (ec, a.Expr, ptype))
+                               if (a_mod == Parameter.Modifier.NONE)                                   
+                                       if (! (ImplicitConversionExists (ec, a.Expr, ptype) || RuntimeConversionExists (ec, a.Expr, ptype)) )
                                                return false;
                                
                                if ((a_mod & Parameter.Modifier.ISBYREF) != 0) {
@@ -3587,8 +3587,7 @@ namespace Mono.CSharp {
                                                return false;
                                }
                        } else
-                               return false;           
-                               
+                               return false;                                   
                        return true;                                    
                }
                
@@ -3909,10 +3908,15 @@ namespace Mono.CSharp {
                        for (int j = 0; j < argument_count; j++) {
                                Argument a = (Argument) Arguments [j];
                                Expression a_expr = a.Expr;
-                               Type parameter_type = pd.ParameterType (j);
-                               
+                               Type parameter_type = pd.ParameterType(j);
+                                       
+                               if (parameter_type == null)
+                               {
+                                       Error_WrongNumArguments(loc, (InvokingProperty == null)?((delegate_type == null)?FullMethodDesc (method):delegate_type.ToString ()):InvokingProperty, argument_count);
+                                       return false;   
+                               }
                                if (pd.ParameterModifier (j) == Parameter.Modifier.PARAMS &&
-                                   chose_params_expanded)
+                               chose_params_expanded)
                                        parameter_type = TypeManager.TypeToCoreType (parameter_type.GetElementType ());
 
                                if (a.Type != parameter_type){
@@ -3991,7 +3995,7 @@ namespace Mono.CSharp {
                        // trigger the invocation
                        //
                        Expression expr_to_return = null;
-               
+
                        if (expr is BaseAccess)
                                is_base = true;
 
@@ -4096,6 +4100,10 @@ namespace Mono.CSharp {
                                        expr_to_return = pe.DoResolve (ec);
                                        expr_to_return.eclass = ExprClass.PropertyAccess;
                                }
+                               else
+                               {
+                                       throw new Exception("Error resolving Property Access expression\n" + pe.ToString());
+                               }
                        }
 
                        if (expr is FieldExpr || expr is LocalVariableReference || expr is ParameterReference) {
@@ -4147,6 +4155,12 @@ namespace Mono.CSharp {
                        return expr_to_return;
                }
 
+        static void Error_WrongNumArguments (Location loc, String name, int arg_count)
+        {
+            Report.Error (1501, loc, "No overload for method `" + name + "' takes `" +
+                                      arg_count + "' arguments");
+        }
+
                // <summary>
                //   Emits the list of arguments as an array
                // </summary>
@@ -4511,8 +4525,8 @@ namespace Mono.CSharp {
 
                        if (type.IsInterface || type.IsAbstract){
                                Error (
-                                       144, "It is not possible to create instances of interfaces " +
-                                       "or abstract classes");
+                                       30376, "It is not possible to create instances of Interfaces " +
+                                       "or classes marked as MustInherit");
                                return null;
                        }
                        
@@ -4728,7 +4742,7 @@ namespace Mono.CSharp {
 
                void Error_IncorrectArrayInitializer ()
                {
-                       Error (178, "Incorrectly structured array initializer");
+                       Error (30567, "Incorrectly structured array initializer");
                }
                
                public bool CheckIndices (EmitContext ec, ArrayList probe, int idx, bool specified_dims)
@@ -5552,7 +5566,7 @@ namespace Mono.CSharp {
                                return null;
 
                        if (!TypeManager.IsUnmanagedType (type_queried)){
-                               Report.Error (208, "Cannot take the size of an unmanaged type (" + TypeManager.CSharpName (type_queried) + ")");
+                               Report.Error (208, "Cannot take the size of an unmanaged type (" + TypeManager.MonoBASIC_Name (type_queried) + ")");
                                return null;
                        }
                        
@@ -5678,12 +5692,16 @@ namespace Mono.CSharp {
                                                Enum en = TypeManager.LookupEnum (decl_type);
 
                                                Constant c;
-                                               if (en != null)
+                                               if (en != null) {
                                                        c = Constantify (o, en.UnderlyingType);
-                                               else 
+                                                       return new EnumConstant (c, en.UnderlyingType);
+                                               }
+                                               else {
                                                        c = Constantify (o, enum_member.Type);
+                                                       return new EnumConstant (c, enum_member.Type);
+                                               }
+                                               
                                                
-                                               return new EnumConstant (c, decl_type);
                                        }
                                        
                                        Expression exp = Constantify (o, t);
@@ -5756,10 +5774,10 @@ namespace Mono.CSharp {
                                                if (IdenticalNameAndTypeName (ec, left_original, loc))
                                                        return member_lookup;
 
-                                               if (left_is_explicit) {
+                                               /*if (left_is_explicit) {
                                                        error176 (loc, me.Name);
                                                        return null;
-                                               }
+                                               }*/
                                        }
 
                                        //
@@ -5838,22 +5856,21 @@ namespace Mono.CSharp {
                        
                        Type expr_type = expr.Type;
                        if ((expr is TypeExpr) && (expr_type.IsSubclassOf (TypeManager.enum_type))){
-                               
                                Enum en = TypeManager.LookupEnum (expr_type);
                                
                                if (en != null) {
                                        object value = en.LookupEnumValue (ec, Identifier, loc);
-
+                                       expr_type = TypeManager.int32_type;
                                        if (value != null){
                                                Constant c = Constantify (value, en.UnderlyingType);
-                                               return new EnumConstant (c, expr_type);
+                                               return new EnumConstant (c, en.UnderlyingType);
                                        }
                                }
                        }
 
                        if (expr_type.IsPointer){
                                Error (23, "The '.' operator can not be applied to pointer operands (" +
-                                      TypeManager.CSharpName (expr_type) + ")");
+                                      TypeManager.MonoBASIC_Name (expr_type) + ")");
                                return null;
                        }
 
@@ -5874,7 +5891,7 @@ namespace Mono.CSharp {
                                        BindingFlags.NonPublic, Identifier);
                                        
                                if (lookup == null)
-                                       Error (117, "'" + expr_type + "' does not contain a definition for '" + Identifier + "'");
+                                       Error (30456, "'" + expr_type + "' does not contain a definition for '" + Identifier + "'");
                                else
                                {
                                        if ((expr_type != ec.ContainerType) &&
@@ -5894,14 +5911,14 @@ namespace Mono.CSharp {
                                                if (lookup != null)
                                                        Error (1540, "Cannot access protected member '" +
                                                       expr_type + "." + Identifier + "' " +
-                                                      "via a qualifier of type '" + TypeManager.CSharpName (expr_type) + "'; the " +
-                                                      "qualifier must be of type '" + TypeManager.CSharpName (ec.ContainerType) + "' " +
+                                                      "via a qualifier of type '" + TypeManager.MonoBASIC_Name (expr_type) + "'; the " +
+                                                      "qualifier must be of type '" + TypeManager.MonoBASIC_Name (ec.ContainerType) + "' " +
                                                       "(or derived from it)");
                                                else
-                                                       Error (122, "'" + expr_type + "." + Identifier + "' " +
+                                                       Error (30390, "'" + expr_type + "." + Identifier + "' " +
                                                       "is inaccessible because of its protection level");
                                        } else
-                                               Error (122, "'" + expr_type + "." + Identifier + "' " +
+                                               Error (30390, "'" + expr_type + "." + Identifier + "' " +
                                               "is inaccessible because of its protection level");
                                }  
                                return null;
@@ -6587,7 +6604,7 @@ namespace Mono.CSharp {
                        }
 
                        Report.Error (21, loc,
-                                     "Type '" + TypeManager.CSharpName (lookup_type) +
+                                     "Type '" + TypeManager.MonoBASIC_Name (lookup_type) +
                                      "' does not have any indexers defined");
                        return null;
                }
@@ -6691,7 +6708,7 @@ namespace Mono.CSharp {
                        }
                        
                        if (set == null){
-                               Error (200, "indexer X.this [" + TypeManager.CSharpName (right_type) +
+                               Error (200, "indexer X.this [" + TypeManager.MonoBASIC_Name (right_type) +
                                       "] lacks a 'set' accessor");
                                return null;
                        }
@@ -6748,8 +6765,8 @@ namespace Mono.CSharp {
                                                      AllMemberTypes, AllBindingFlags, loc);
 
                        if (member_lookup == null) {
-                               Error (117,
-                                             TypeManager.CSharpName (base_type) + " does not " +
+                               Error (30456,
+                                             TypeManager.MonoBASIC_Name (base_type) + " does not " +
                                              "contain a definition for '" + member + "'");
                                return null;
                        }