Type ParameterType (int pos);
Type [] Types { get; }
int Count { get; }
+ Type ExtensionMethodType { get; }
bool HasParams { get; }
string ParameterName (int pos);
string ParameterDesc (int pos);
+
Parameter.Modifier ParameterModifier (int pos);
string GetSignatureForError ();
+
+#if MS_COMPATIBLE
+ ParameterData InflateTypes (Type[] genArguments, Type[] argTypes);
+#endif
}
public class ReflectionParameters : ParameterData {
ParameterInfo [] pi;
Type [] types;
- bool last_arg_is_params = false;
- bool is_varargs = false;
+ int params_idx = int.MaxValue;
+ bool is_varargs;
+ bool is_extension;
ParameterData gpd;
public ReflectionParameters (MethodBase mb)
{
- object [] attrs;
-
ParameterInfo [] pi = mb.GetParameters ();
is_varargs = (mb.CallingConvention & CallingConventions.VarArgs) != 0;
this.pi = pi;
- int count = pi.Length-1;
+ int count = pi.Length;
- if (pi.Length == 0) {
+ if (count == 0) {
types = Type.EmptyTypes;
- } else {
- types = new Type [pi.Length];
- for (int i = 0; i < pi.Length; i++)
- types [i] = pi [i].ParameterType;
+ return;
}
- if (count < 0)
- return;
+ types = new Type [count];
+ for (int i = 0; i < count; i++)
+ types [i] = TypeManager.TypeToCoreType (pi [i].ParameterType);
+ // TODO: This (if) should be done one level higher to correctly use
+ // out caching facilities.
MethodBase generic = TypeManager.DropGenericMethodArguments (mb);
if (generic != mb) {
gpd = TypeManager.GetParameterData (generic);
- last_arg_is_params = gpd.HasParams;
+ if (gpd.HasParams) {
+ for (int i = gpd.Count; i != 0; --i) {
+ if ((gpd.ParameterModifier (i-1) & Parameter.Modifier.PARAMS) != 0) {
+ this.params_idx = i-1;
+ break;
+ }
+ }
+ }
return;
}
- attrs = pi [count].GetCustomAttributes (TypeManager.param_array_type, true);
- if (attrs == null)
- return;
+ //
+ // So far, the params attribute can be used in C# for the last
+ // and next to last method parameters.
+ // If some other language can place it anywhere we will
+ // have to analyze all parameters and not just last 2.
+ //
+ --count;
+ for (int i = count; i >= 0 && i > count - 2; --i) {
+ if (!pi [i].ParameterType.IsArray)
+ continue;
+
+ if (pi [i].IsDefined (TypeManager.param_array_type, false)) {
+ params_idx = i;
+ break;
+ }
+ }
- if (attrs.Length == 0)
- return;
+ if (TypeManager.extension_attribute_type != null && mb.IsStatic &&
+ (mb.DeclaringType.Attributes & Class.StaticClassAttribute) == Class.StaticClassAttribute &&
+ mb.IsDefined (TypeManager.extension_attribute_type, false))
+ is_extension = true;
+ }
+
+ public override bool Equals (object obj)
+ {
+ ReflectionParameters rp = obj as ReflectionParameters;
+ if (rp == null)
+ return false;
- last_arg_is_params = true;
+ if (Count != rp.Count)
+ return false;
+
+ for (int i = 0; i < Count; ++i) {
+ if (!types [i].Equals (rp.types [i]))
+ return false;
+ }
+ return true;
+ }
+
+ public override int GetHashCode ()
+ {
+ return base.GetHashCode ();
}
public string GetSignatureForError ()
return sb.ToString ();
}
+#if MS_COMPATIBLE
+ public ParameterData InflateTypes (Type[] genArguments, Type[] argTypes)
+ {
+ ReflectionParameters p = (ReflectionParameters)MemberwiseClone ();
+
+ for (int i = 0; i < types.Length; ++i) {
+ if (types[i].IsGenericParameter) {
+ for (int ii = 0; ii < genArguments.Length; ++ii) {
+ if (types[i] != genArguments[ii])
+ continue;
+
+ p.types[i] = argTypes[ii];
+ break;
+ }
+ continue;
+ }
+
+ if (types[i].IsGenericType) {
+ Type[] gen_arguments_open = types[i].GetGenericTypeDefinition ().GetGenericArguments ();
+ Type[] gen_arguments = types[i].GetGenericArguments ();
+ for (int ii = 0; ii < gen_arguments_open.Length; ++ii) {
+ if (gen_arguments [ii].IsGenericParameter) {
+ for (int iii = 0; iii < genArguments.Length; ++iii) {
+ if (gen_arguments [ii] != genArguments [iii])
+ continue;
+
+ gen_arguments_open [ii] = argTypes [iii];
+ break;
+ }
+ } else {
+ gen_arguments_open [ii] = gen_arguments [ii];
+ }
+ }
+
+ p.types[i] = types[i].GetGenericTypeDefinition ().MakeGenericType (gen_arguments_open);
+ }
+ }
+ return p;
+ }
+#endif
+
public Type ParameterType (int pos)
{
- if (last_arg_is_params && pos >= pi.Length - 1)
- return pi [pi.Length - 1].ParameterType;
- else if (is_varargs && pos >= pi.Length)
+ if (is_varargs && pos >= pi.Length)
return TypeManager.runtime_argument_handle_type;
- else {
- Type t = pi [pos].ParameterType;
- return t;
- }
+ return types [pos];
}
public string ParameterName (int pos)
if (gpd != null)
return gpd.ParameterName (pos);
- if (last_arg_is_params && pos >= pi.Length - 1)
- return pi [pi.Length - 1].Name;
- else if (is_varargs && pos >= pi.Length)
+ if (is_varargs && pos >= pi.Length)
return "__arglist";
- else
- return pi [pos].Name;
+
+ return pi [pos].Name;
}
public string ParameterDesc (int pos)
sb.Append ("ref ");
}
- if (pos >= pi.Length - 1 && last_arg_is_params)
+ if (params_idx == pos)
sb.Append ("params ");
+ if (pos == 0 && ExtensionMethodType != null)
+ sb.Append ("this ");
+
sb.Append (TypeManager.CSharpName (partype).Replace ("&", ""));
return sb.ToString ();
public Parameter.Modifier ParameterModifier (int pos)
{
- if (last_arg_is_params && pos >= pi.Length - 1)
+ if (pos >= params_idx)
return Parameter.Modifier.PARAMS;
- else if (is_varargs && pos >= pi.Length)
+ if (is_varargs && pos >= pi.Length)
return Parameter.Modifier.ARGLIST;
if (gpd != null)
return gpd.ParameterModifier (pos);
- Type t = pi [pos].ParameterType;
+ Type t = types [pos];
if (t.IsByRef){
if ((pi [pos].Attributes & (ParameterAttributes.Out|ParameterAttributes.In)) == ParameterAttributes.Out)
return Parameter.Modifier.OUT;
get { return is_varargs ? pi.Length + 1 : pi.Length; }
}
+ public Type ExtensionMethodType {
+ get {
+ if (!is_extension)
+ return null;
+
+ return types [0];
+ }
+ }
+
public bool HasParams {
- get { return last_arg_is_params; }
+ get { return params_idx != int.MaxValue; }
}
public Type[] Types {
}
}
+ public class Accessors {
+ public Accessor get_or_add;
+ public Accessor set_or_remove;
+
+ // was 'set' declared before 'get'? was 'remove' declared before 'add'?
+ public bool declared_in_reverse;
+
+ public Accessors (Accessor get_or_add, Accessor set_or_remove)
+ {
+ this.get_or_add = get_or_add;
+ this.set_or_remove = set_or_remove;
+ }
+ }
+
/// <summary>
/// This is a wrapper around StreamReader which is seekable backwards
/// within a window of around 2048 chars.
/// </summary>
public class SeekableStreamReader
{
- public SeekableStreamReader (StreamReader reader)
+ const int AverageReadLength = 1024;
+ TextReader reader;
+ Stream stream;
+ Encoding encoding;
+
+ char[] buffer;
+ int buffer_start; // in chars
+ int char_count; // count buffer[] valid characters
+ int pos; // index into buffer[]
+
+ public SeekableStreamReader (Stream stream, Encoding encoding)
{
- this.reader = reader;
+ this.stream = stream;
+ this.encoding = encoding;
+
+ this.reader = new StreamReader (stream, encoding, true);
this.buffer = new char [AverageReadLength * 3];
// Let the StreamWriter autodetect the encoder
reader.Peek ();
}
- public SeekableStreamReader (Stream stream, Encoding encoding)
- : this (new StreamReader (stream, encoding, true))
- { }
-
- StreamReader reader;
-
- private const int AverageReadLength = 1024;
-
- char[] buffer;
- int buffer_start; // in chars
- int char_count; // count buffer[] valid characters
- int pos; // index into buffer[]
-
/// <remarks>
/// This value corresponds to the current position in a stream of characters.
/// The StreamReader hides its manipulation of the underlying byte stream and all
get { return buffer_start + pos; }
set {
- if (value < buffer_start || value > buffer_start + char_count)
- throw new InternalErrorException ("can't seek that far back: " + (pos - value));
+ if (value > buffer_start + char_count)
+ throw new InternalErrorException ("can't seek that far forward: " + (pos - value));
+
+ if (value < buffer_start){
+ // Reinitialize.
+ stream.Position = 0;
+ reader = new StreamReader (stream, encoding, true);
+ buffer_start = 0;
+ char_count = 0;
+ pos = 0;
+ Peek ();
+
+ while (value > buffer_start + char_count){
+ pos = char_count+1;
+ Peek ();
+ }
+ pos = value - buffer_start;
+ }
+
pos = value - buffer_start;
}
}
}
}
}
+
+ class PartialMethodDefinitionInfo : MethodInfo
+ {
+ MethodOrOperator mc;
+ MethodAttributes attrs;
+
+ public PartialMethodDefinitionInfo (MethodOrOperator mc)
+ {
+ this.mc = mc;
+ if ((mc.ModFlags & Modifiers.STATIC) != 0)
+ attrs = MethodAttributes.Static;
+ }
+
+ public override MethodInfo GetBaseDefinition ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override ICustomAttributeProvider ReturnTypeCustomAttributes
+ {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override MethodAttributes Attributes
+ {
+ get { return attrs; }
+ }
+
+ public override MethodImplAttributes GetMethodImplementationFlags ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override ParameterInfo [] GetParameters ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override object Invoke (object obj, BindingFlags invokeAttr, Binder binder, object [] parameters, CultureInfo culture)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override RuntimeMethodHandle MethodHandle
+ {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override Type DeclaringType
+ {
+ get { return mc.Parent.TypeBuilder; }
+ }
+
+ public override object [] GetCustomAttributes (Type attributeType, bool inherit)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override object [] GetCustomAttributes (bool inherit)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override Type ReturnType {
+ get {
+ return mc.MemberType;
+ }
+ }
+
+ public override bool IsDefined (Type attributeType, bool inherit)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override string Name
+ {
+ get { return mc.Name; }
+ }
+
+ public override Type ReflectedType
+ {
+ get { throw new NotImplementedException (); }
+ }
+ }
+
}