public interface ParameterData {
Type ParameterType (int pos);
+ Type [] Types { get; }
int Count { get; }
+ bool HasParams { get; }
string ParameterName (int pos);
string ParameterDesc (int pos);
Parameter.Modifier ParameterModifier (int pos);
+ string GetSignatureForError ();
}
public class ReflectionParameters : ParameterData {
ParameterInfo [] pi;
- bool last_arg_is_params = false;
- bool is_varargs = false;
-
+ Type [] types;
+ int params_idx = -1;
+ bool is_varargs;
+ 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 (count >= 0) {
- attrs = pi [count].GetCustomAttributes (TypeManager.param_array_type, true);
+ if (count == 0) {
+ types = Type.EmptyTypes;
+ return;
+ }
- if (attrs == null)
- return;
-
- if (attrs.Length == 0)
+ types = new Type [count];
+ for (int i = 0; i < count; i++)
+ types [i] = 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);
+ 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;
+ }
+
+ //
+ // 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;
+
+ object [] attrs = pi [i].GetCustomAttributes (TypeManager.param_array_type, true);
+ if (attrs.Length == 1) {
+ params_idx = i;
return;
+ }
+ }
+ }
- last_arg_is_params = true;
+ public override bool Equals (object obj)
+ {
+ ReflectionParameters rp = obj as ReflectionParameters;
+ if (rp == null)
+ return false;
+
+ 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 ()
+ {
+ StringBuilder sb = new StringBuilder ("(");
+ for (int i = 0; i < pi.Length; ++i) {
+ if (i != 0)
+ sb.Append (", ");
+ sb.Append (ParameterDesc (i));
}
+ if (is_varargs) {
+ if (pi.Length > 0)
+ sb.Append (", ");
+ sb.Append ("__arglist");
+ }
+ sb.Append (')');
+ return sb.ToString ();
}
-
+
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 pi [pos].ParameterType;
}
public string ParameterName (int pos)
{
- if (last_arg_is_params && pos >= pi.Length - 1)
- return pi [pi.Length - 1].Name;
- else if (is_varargs && pos >= pi.Length)
+ if (gpd != null)
+ return gpd.ParameterName (pos);
+
+ if (is_varargs && pos >= pi.Length)
return "__arglist";
- else
- return pi [pos].Name;
+
+ return pi [pos].Name;
}
public string ParameterDesc (int pos)
{
if (is_varargs && pos >= pi.Length)
- return "";
+ return "";
StringBuilder sb = new StringBuilder ();
sb.Append ("out ");
else
sb.Append ("ref ");
- }
+ }
- if (pos >= pi.Length - 1 && last_arg_is_params)
+ if (params_idx == pos)
sb.Append ("params ");
-
- sb.Append (TypeManager.CSharpName (partype));
+
+ sb.Append (TypeManager.CSharpName (partype).Replace ("&", ""));
return sb.ToString ();
-
}
public Parameter.Modifier ParameterModifier (int pos)
{
- int len = pi.Length;
-
- if (last_arg_is_params && pos >= pi.Length - 1)
+ if (pos == params_idx)
return Parameter.Modifier.PARAMS;
else if (is_varargs && pos >= pi.Length)
return Parameter.Modifier.ARGLIST;
-
+
+ if (gpd != null)
+ return gpd.ParameterModifier (pos);
+
Type t = pi [pos].ParameterType;
if (t.IsByRef){
- if ((pi [pos].Attributes & ParameterAttributes.Out) != 0)
- return Parameter.Modifier.ISBYREF | Parameter.Modifier.OUT;
+ if ((pi [pos].Attributes & (ParameterAttributes.Out|ParameterAttributes.In)) == ParameterAttributes.Out)
+ return Parameter.Modifier.OUT;
else
- return Parameter.Modifier.ISBYREF | Parameter.Modifier.REF;
+ return Parameter.Modifier.REF;
}
-
+
return Parameter.Modifier.NONE;
}
public int Count {
- get {
- return is_varargs ? pi.Length + 1 : pi.Length;
- }
- }
-
- }
-
- public class InternalParameters : ParameterData {
- Type [] param_types;
- bool has_varargs;
- int count;
-
- public readonly Parameters Parameters;
-
- public InternalParameters (Type [] param_types, Parameters parameters)
- {
- this.param_types = param_types;
- this.Parameters = parameters;
+ get { return is_varargs ? pi.Length + 1 : pi.Length; }
}
- public InternalParameters (DeclSpace ds, Parameters parameters)
- : this (parameters.GetParameterInfo (ds), parameters)
- {
- has_varargs = parameters.HasArglist;
-
- if (param_types == null)
- count = 0;
- else
- count = param_types.Length;
+ public bool HasParams {
+ get { return params_idx != -1; }
}
- public int Count {
- get {
- return has_varargs ? count + 1 : count;
- }
+ public Type[] Types {
+ get { return types; }
}
+ }
- Parameter GetParameter (int pos)
- {
- Parameter [] fixed_pars = Parameters.FixedParameters;
- if (fixed_pars != null){
- int len = fixed_pars.Length;
- if (pos < len)
- return Parameters.FixedParameters [pos];
- }
-
- return Parameters.ArrayParameter;
- }
+#if GMCS_SOURCE
+ public class ReflectionConstraints : GenericConstraints
+ {
+ GenericParameterAttributes attrs;
+ Type base_type;
+ Type class_constraint;
+ Type[] iface_constraints;
+ string name;
- public Type ParameterType (int pos)
+ public static GenericConstraints GetConstraints (Type t)
{
- if (has_varargs && pos >= count)
- return TypeManager.runtime_argument_handle_type;
-
- if (param_types == null)
+ Type [] constraints = t.GetGenericParameterConstraints ();
+ GenericParameterAttributes attrs = t.GenericParameterAttributes;
+ if (constraints.Length == 0 && attrs == GenericParameterAttributes.None)
return null;
-
- return GetParameter (pos).ExternalType ();
+ return new ReflectionConstraints (t.Name, constraints, attrs);
}
-
- public string ParameterName (int pos)
+ private ReflectionConstraints (string name, Type [] constraints, GenericParameterAttributes attrs)
{
- if (has_varargs && pos >= count)
- return "__arglist";
-
- return GetParameter (pos).Name;
+ this.name = name;
+ this.attrs = attrs;
+
+ if ((constraints.Length > 0) && !constraints [0].IsInterface) {
+ class_constraint = constraints [0];
+ iface_constraints = new Type [constraints.Length - 1];
+ Array.Copy (constraints, 1, iface_constraints, 0, constraints.Length - 1);
+ } else
+ iface_constraints = constraints;
+
+ if (HasValueTypeConstraint)
+ base_type = TypeManager.value_type;
+ else if (class_constraint != null)
+ base_type = class_constraint;
+ else
+ base_type = TypeManager.object_type;
}
- public string ParameterDesc (int pos)
- {
- if (has_varargs && pos >= count)
- return "__arglist";
-
- string tmp = String.Empty;
- Parameter p = GetParameter (pos);
-
- //
- // We need to and for REF/OUT, because if either is set the
- // extra flag ISBYREF will be set as well
- //
- if ((p.ModFlags & Parameter.Modifier.REF) != 0)
- tmp = "ref ";
- else if ((p.ModFlags & Parameter.Modifier.OUT) != 0)
- tmp = "out ";
- else if (p.ModFlags == Parameter.Modifier.PARAMS)
- tmp = "params ";
-
- Type t = ParameterType (pos);
-
- return tmp + TypeManager.CSharpName (t);
+ public override string TypeParameter {
+ get { return name; }
}
- public Parameter.Modifier ParameterModifier (int pos)
- {
- if (has_varargs && pos >= count)
- return Parameter.Modifier.ARGLIST;
+ public override GenericParameterAttributes Attributes {
+ get { return attrs; }
+ }
- Parameter.Modifier mod = GetParameter (pos).ModFlags;
+ public override Type ClassConstraint {
+ get { return class_constraint; }
+ }
- if ((mod & (Parameter.Modifier.REF | Parameter.Modifier.OUT)) != 0)
- mod |= Parameter.Modifier.ISBYREF;
+ public override Type EffectiveBaseClass {
+ get { return base_type; }
+ }
- return mod;
+ public override Type[] InterfaceConstraints {
+ get { return iface_constraints; }
}
-
}
+#endif
class PtrHashtable : Hashtable {
sealed class PtrComparer : IComparer {
private PtrComparer () {}
-
+
public static PtrComparer Instance = new PtrComparer ();
-
+
public int Compare (object x, object y)
{
if (x == y)
return 1;
}
}
-
+
public PtrHashtable ()
{
comparer = PtrComparer.Instance;
this.len = len;
comparer = new ArrComparer (len);
}
- }
-
- //
- // Compares member infos based on their name and
- // also allows one argument to be a string
- //
- class MemberInfoCompare : IComparer {
-
- public int Compare (object a, object b)
- {
- if (a == null || b == null){
- Console.WriteLine ("Invalid information passed");
- throw new Exception ();
- }
-
- if (a is string)
- return String.Compare ((string) a, ((MemberInfo)b).Name, false, CultureInfo.InvariantCulture);
-
- if (b is string)
- return String.Compare (((MemberInfo)a).Name, (string) b, false, CultureInfo.InvariantCulture);
-
- return String.Compare (((MemberInfo)a).Name, ((MemberInfo)b).Name, false, CultureInfo.InvariantCulture);
- }
}
struct Pair {
public object First;
public object Second;
-
+
public Pair (object f, object s)
{
First = f;
}
/// <summary>
- /// This is a wrapper around StreamReader which is seekable.
+ /// 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)
{
this.reader = reader;
- this.buffer = new char [DefaultCacheSize];
-
- // Compute the preamble size
-
+ this.buffer = new char [AverageReadLength * 3];
+
// Let the StreamWriter autodetect the encoder
reader.Peek ();
-
- reader.BaseStream.Position = 0;
- Encoding enc = reader.CurrentEncoding;
- // First of all, get at least a char
-
- byte[] auxb = new byte [50];
- int num_bytes = 0;
- int num_chars = 0;
- int br = 0;
- do {
- br = reader.BaseStream.Read (auxb, num_bytes, auxb.Length - num_bytes);
- num_bytes += br;
- num_chars = enc.GetCharCount (auxb, 0, num_bytes);
- }
- while (num_chars == 0 && br > 0);
-
- if (num_chars != 0)
- {
- // Now, check which bytes at the beginning have no effect in the
- // char count
-
- int p = 0;
- while (enc.GetCharCount (auxb, p, num_bytes-p) >= num_chars)
- p++;
-
- preamble_size = p - 1;
- reader.BaseStream.Position = 0;
- reader.DiscardBufferedData ();
-
- buffer_start = preamble_size;
- }
}
- public SeekableStreamReader (Stream stream, Encoding encoding, bool detect_encoding_from_bytemarks)
- : this (new StreamReader (stream, encoding, detect_encoding_from_bytemarks))
+ public SeekableStreamReader (Stream stream, Encoding encoding)
+ : this (new StreamReader (stream, encoding, true))
{ }
StreamReader reader;
- private const int DefaultCacheSize = 1024;
+ private const int AverageReadLength = 1024;
char[] buffer;
- int buffer_start; // in bytes
- int buffer_size; // in bytes
+ int buffer_start; // in chars
int char_count; // count buffer[] valid characters
int pos; // index into buffer[]
- int preamble_size;
/// <remarks>
- /// The difference to the StreamReader's BaseStream.Position is that this one is reliable; ie. it
- // always reports the correct position and if it's modified, it also takes care of the buffered data.
+ /// This value corresponds to the current position in a stream of characters.
+ /// The StreamReader hides its manipulation of the underlying byte stream and all
+ /// character set/decoding issues. Thus, we cannot use this position to guess at
+ /// the corresponding position in the underlying byte stream even though there is
+ /// a correlation between them.
/// </remarks>
public int Position {
- get {
- return buffer_start + reader.CurrentEncoding.GetByteCount (buffer, 0, pos);
- }
+ get { return buffer_start + pos; }
set {
- // This one is easy: we're modifying the position within our current
- // buffer.
- if ((value >= buffer_start) && (value < buffer_start + buffer_size)) {
- int byte_offset = value - buffer_start;
- pos = byte_offset;
- // encoded characters can take more than 1 byte length
- while (reader.CurrentEncoding.GetByteCount (buffer, 0, pos) > byte_offset)
- pos--;
-
- return;
- }
-
- if (value == 0) // Skip preamble
- value = preamble_size;
-
- // Ok, now we need to seek.
- reader.DiscardBufferedData ();
- reader.BaseStream.Position = buffer_start = value;
- char_count = buffer_size = pos = 0;
+ if (value < buffer_start || value > buffer_start + char_count)
+ throw new InternalErrorException ("can't seek that far back: " + (pos - value));
+ pos = value - buffer_start;
}
}
private bool ReadBuffer ()
{
- pos = 0;
- buffer_start += buffer_size;
- char_count = reader.Read (buffer, 0, buffer.Length);
- buffer_size = reader.CurrentEncoding.GetByteCount (buffer, 0, char_count);
- return buffer_size > 0;
+ int slack = buffer.Length - char_count;
+ if (slack <= AverageReadLength / 2) {
+ // shift the buffer to make room for AverageReadLength number of characters
+ int shift = AverageReadLength - slack;
+ Array.Copy (buffer, shift, buffer, 0, char_count - shift);
+ pos -= shift;
+ char_count -= shift;
+ buffer_start += shift;
+ slack += shift; // slack == AverageReadLength
+ }
+
+ int chars_read = reader.Read (buffer, char_count, slack);
+ char_count += chars_read;
+
+ return pos < char_count;
}
public int Peek ()
public class DoubleHash {
const int DEFAULT_INITIAL_BUCKETS = 100;
-
+
public DoubleHash () : this (DEFAULT_INITIAL_BUCKETS) {}
-
+
public DoubleHash (int size)
{
count = size;
buckets = new Entry [size];
}
-
+
int count;
Entry [] buckets;
int size = 0;
-
+
class Entry {
public object key1;
public object key2;
public int hash;
public object value;
public Entry next;
-
+
public Entry (object key1, object key2, int hash, object value, Entry next)
{
this.key1 = key1;
public bool Lookup (object a, object b, out object res)
{
int h = (a.GetHashCode () ^ b.GetHashCode ()) & 0x7FFFFFFF;
-
+
for (Entry e = buckets [h % count]; e != null; e = e.next) {
if (e.hash == h && e.key1.Equals (a) && e.key2.Equals (b)) {
res = e.value;
public void Insert (object a, object b, object value)
{
// Is it an existing one?
-
+
int h = (a.GetHashCode () ^ b.GetHashCode ()) & 0x7FFFFFFF;
-
+
for (Entry e = buckets [h % count]; e != null; e = e.next) {
if (e.hash == h && e.key1.Equals (a) && e.key2.Equals (b))
e.value = value;
}
-
+
int bucket = h % count;
buckets [bucket] = new Entry (a, b, h, value, buckets [bucket]);
-
+
// Grow whenever we double in size
if (size++ == count) {
count <<= 1;
count ++;
-
+
Entry [] newBuckets = new Entry [count];
foreach (Entry root in buckets) {
Entry e = root;
projects / mono.git / blobdiff