2006-08-17 Atsushi Enomoto <atsushi@ximian.com>
[mono.git] / mcs / mbas / parameter.cs
index a7db56b36a19e208dff57cbedaf3082f053e95c7..5350497e138d4b29c66f3900f85b5ac8eeeed952 100644 (file)
@@ -14,19 +14,21 @@ using System.Reflection;
 using System.Reflection.Emit;
 using System.Collections;
 
-namespace Mono.CSharp {
+namespace Mono.MonoBASIC {
 
 
        /// <summary>
        ///   Represents a single method parameter
        /// </summary>
-       public class Parameter {
+       public class Parameter : Attributable {
+               ParameterBuilder builder;
+               
                [Flags]
                public enum Modifier : byte {
                        NONE    = 0,
                        VAL     = 0,
                        REF     = 1,
-                       OUT     = 2,
+//                     OUT     = 2,
                        PARAMS  = 4,
                        // This is a flag which says that it's either REF or OUT.
                        ISBYREF = 8,
@@ -35,43 +37,56 @@ namespace Mono.CSharp {
 
                public readonly Expression TypeName;
                public readonly Modifier ModFlags;
-               public Attributes OptAttributes;
                public readonly string Name;
                public Type parameter_type;
-               public readonly Expression ParameterInitializer;
+               public Expression ParameterInitializer;
                public readonly bool IsOptional;
 
                public Parameter (Expression type, string name, Modifier mod, Attributes attrs)
+                       : base (attrs)
                {
                        Name = name;
                        ModFlags = mod;
                        TypeName = type;
-                       OptAttributes = attrs;
                        ParameterInitializer = null;
                        IsOptional = false;
                }
 
                public Parameter (Expression type, string name, Modifier mod, Attributes attrs, Expression pi)
+                       : base (attrs)
                {
                        Name = name;
                        ModFlags = mod;
                        TypeName = type;
-                       OptAttributes = attrs;
                        ParameterInitializer = pi;
                        IsOptional = false;
                }
-               
+
+               public override void ApplyAttributeBuilder (Attribute a, CustomAttributeBuilder cb)
+               {
+                       if (a.Type == TypeManager.marshal_as_attr_type) {
+                               UnmanagedMarshal marshal = UnmanagedMarshal.DefineUnmanagedMarshal (a.UnmanagedType);
+                               builder.SetMarshal (marshal);
+                       } else 
+                               builder.SetCustomAttribute (cb);
+               }
+
                public Parameter (Expression type, string name, Modifier mod, Attributes attrs, Expression pi, bool opt)
+                       : base (attrs)
                {
                        Name = name;
                        ModFlags = mod;
                        TypeName = type;
-                       OptAttributes = attrs;
                        ParameterInitializer = pi;
                        IsOptional = opt;
                }
-               
 
+               public override AttributeTargets AttributeTargets {
+                       get {
+                               return AttributeTargets.Parameter;
+                       }
+               }
+               
                // <summary>
                //   Resolve is used in method definitions
                // </summary>
@@ -108,14 +123,18 @@ namespace Mono.CSharp {
                
                public ParameterAttributes Attributes {
                        get {
-                               int flags = ((int) ModFlags) & ~((int) Parameter.Modifier.ISBYREF);
+                               int flags = ((int) ModFlags) & ~((int) Parameter.Modifier.ISBYREF | (int) Parameter.Modifier.REF);
                                switch ((Modifier) flags) {
                                case Modifier.NONE:
                                        return ParameterAttributes.None;
                                case Modifier.REF:
                                        return ParameterAttributes.None;
+/*
                                case Modifier.OUT:
                                        return ParameterAttributes.Out;
+*/
+                               case Modifier.OPTIONAL:
+                                       return ParameterAttributes.Optional;
                                case Modifier.PARAMS:
                                        return 0;
                                }
@@ -137,6 +156,49 @@ namespace Mono.CSharp {
 
                        return ExternalType (ds, loc).FullName;
                }
+
+               public bool DefineParameter (EmitContext ec, MethodBuilder mb, ConstructorBuilder cb, int index, Location loc)
+               {
+                       if (mb == null)
+                               builder = cb.DefineParameter (index, Attributes, Name);
+                       else 
+                               builder = mb.DefineParameter (index, Attributes, Name);
+
+                       if (ParameterInitializer != null) {
+                               if (ParameterInitializer is MemberAccess) {
+                                       MemberAccess ma = ParameterInitializer as MemberAccess;
+
+                                       ParameterInitializer = ma.Resolve(ec);
+                               } else 
+                                       ParameterInitializer = ParameterInitializer.Resolve (ec);
+
+                               if (ParameterInitializer == null) {
+                                       Report.Error(-1, "Internal error - Non supported argument type in optional parameter");
+                                       return false;
+                               }
+
+                               if (parameter_type != ParameterInitializer.Type) {
+                                       Expression conv = Expression.ConvertImplicit (ec, ParameterInitializer, parameter_type, loc);
+                                       if (conv == null) {
+                                               Report.Error (30439, loc, "Constant expression '" + ParameterInitializer + "' not representable in type '" + parameter_type + "'");
+                                               return false;
+                                       }
+                                       ParameterInitializer = conv;
+                               }
+
+                               if (!(ParameterInitializer is Constant)) {
+                                       Report.Error (30059, loc, "Constant expression is required");
+                                       return false;
+                               }
+
+                               builder.SetConstant (((Constant) ParameterInitializer).GetValue());
+
+                       }
+
+                       if (OptAttributes != null)
+                               OptAttributes.Emit (ec, this);
+                       return true;
+               }
        }
 
        /// <summary>
@@ -192,7 +254,9 @@ namespace Mono.CSharp {
                public int CountStandardParams()
                {
                        int res = 0;
-                       
+                       if (FixedParameters == null)
+                               return 0;
+
                        foreach (Parameter p in FixedParameters) {
                                if (!p.IsOptional)
                                        res++;
@@ -206,7 +270,9 @@ namespace Mono.CSharp {
                public int CountOptionalParams()
                {
                        int res = 0;
-                       
+                       if (FixedParameters == null)
+                               return 0;
+                                                       
                        foreach (Parameter p in FixedParameters) {
                                if (p.IsOptional)
                                        res++;
@@ -299,13 +365,13 @@ namespace Mono.CSharp {
                                string base_name = FixedParameters [i].Name;
                                
                                for (j = i + 1; j < count; j++){
-                                       if (base_name != FixedParameters [j].Name)
+                                       if (base_name.ToLower () != FixedParameters [j].Name.ToLower ())
                                                continue;
                                        Error_DuplicateParameterName (base_name);
                                        return false;
                                }
 
-                               if (base_name == array_par_name){
+                               if ((array_par_name != null) && (base_name.ToLower () == array_par_name.ToLower ())) {
                                        Error_DuplicateParameterName (base_name);
                                        return false;
                                }
@@ -337,7 +403,7 @@ namespace Mono.CSharp {
 
                        if (FixedParameters != null){
                                foreach (Parameter par in FixedParameters){
-                                       if (par.Name == name){
+                                       if (par.Name.ToLower() == name.ToLower()) {
                                                idx = i;
                                                return par;
                                        }
@@ -346,7 +412,7 @@ namespace Mono.CSharp {
                        }
 
                        if (ArrayParameter != null){
-                               if (name == ArrayParameter.Name){
+                               if (name.ToLower () == ArrayParameter.Name.ToLower ()) {
                                        idx = i;
                                        return ArrayParameter;
                                }
@@ -515,7 +581,7 @@ namespace Mono.CSharp {
                        Parameter p = FixedParameters [idx];
                        mod = p.ModFlags;
 
-                       if ((mod & (Parameter.Modifier.REF | Parameter.Modifier.OUT)) != 0)
+                       if ((mod & (Parameter.Modifier.REF )) != 0)
                                mod |= Parameter.Modifier.ISBYREF;
 
                        return p.ParameterType;
@@ -526,8 +592,43 @@ namespace Mono.CSharp {
                        // For now this is the only correc thing to do
                        return CallingConventions.Standard;
                }
-       }
-}
                
-       
+               public void LabelParameters (EmitContext ec, MethodBase builder, Location loc)
+               {
+                       //
+                       // Define each type attribute (in/out/ref) and
+                       // the argument names.
+                       //
+                       Parameter [] p = FixedParameters;
+                       int i = 0;
+                       
+                       MethodBuilder mb = null;
+                       ConstructorBuilder cb = null;
 
+                       if (builder is MethodBuilder)
+                               mb = (MethodBuilder) builder;
+                       else
+                               cb = (ConstructorBuilder) builder;
+                       
+                       if (p != null){
+                               for (i = 0; i < p.Length; i++) {
+                                       p [i].DefineParameter (ec, mb, cb, i + 1, loc);
+                               }
+                       }
+
+                       if (ArrayParameter != null) {
+                               ParameterBuilder pb;
+                               Parameter array_param = ArrayParameter;
+                               
+                               if (mb == null)
+                                       pb = cb.DefineParameter (i + 1, array_param.Attributes, array_param.Name);
+                               else
+                                       pb = mb.DefineParameter (i + 1, array_param.Attributes, array_param.Name);
+                                       
+                               CustomAttributeBuilder a = new CustomAttributeBuilder (TypeManager.cons_param_array_attribute, new object [0]);
+                               pb.SetCustomAttribute (a);
+                       }
+               }
+               
+       }
+}