2010-02-14 Miguel de Icaza <miguel@novell.com>
[mono.git] / mcs / mcs / support.cs
index 5eff3d10dbbfb9c34b8a5dff1e3be1a959f073cc..bde81d0f9dc44bc48404553faff5e7fb3d1a44a8 100644 (file)
 //
 // Author:
 //   Miguel de Icaza (miguel@ximian.com)
+//   Marek Safar (marek.safar@gmail.com)
 //
-// (C) 2001 Ximian, Inc (http://www.ximian.com)
+// Copyright 2001 Ximian, Inc (http://www.ximian.com)
+// Copyright 2003-2009 Novell, Inc
 //
 
 using System;
 using System.IO;
 using System.Text;
 using System.Reflection;
-using System.Collections;
 using System.Reflection.Emit;
 using System.Globalization;
+using System.Collections.Generic;
 
 namespace Mono.CSharp {
 
-       public interface ParameterData {
-               Type ParameterType (int pos);
-               int  Count { get; }
-               bool HasParams { get; }
-               string ParameterName (int pos);
-               string ParameterDesc (int pos);
-               Parameter.Modifier ParameterModifier (int pos);
-       }
-
-       public class ReflectionParameters : ParameterData {
-               ParameterInfo [] pi;
-               bool last_arg_is_params = false;
-               bool is_varargs = false;
-               
-               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;
-
-                       if (count >= 0) {
-                               attrs = pi [count].GetCustomAttributes (TypeManager.param_array_type, true);
-
-                               if (attrs == null)
-                                       return;
-                               
-                               if (attrs.Length == 0)
-                                       return;
-
-                               last_arg_is_params = true;
-                       }
-               }
-                      
-               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)
-                               return TypeManager.runtime_argument_handle_type;
-                       else {
-                               Type t = pi [pos].ParameterType;
-
-                               return t;
-                       }
-               }
+       class ReferenceEquality<T> : IEqualityComparer<T> where T : class
+       {
+               public static readonly IEqualityComparer<T> Default = new ReferenceEquality<T> ();
 
-               public string ParameterName (int pos)
+               private ReferenceEquality ()
                {
-                       if (last_arg_is_params && pos >= pi.Length - 1)
-                               return pi [pi.Length - 1].Name;
-                       else if (is_varargs && pos >= pi.Length)
-                               return "__arglist";
-                       else 
-                               return pi [pos].Name;
                }
 
-               public string ParameterDesc (int pos)
+               public bool Equals (T x, T y)
                {
-                       if (is_varargs && pos >= pi.Length)
-                               return "";                      
-
-                       StringBuilder sb = new StringBuilder ();
-
-                       if (pi [pos].IsIn)
-                               sb.Append ("in ");
-
-                       Type partype = ParameterType (pos);
-                       if (partype.IsByRef){
-                               partype = TypeManager.GetElementType (partype);
-                               if (pi [pos].IsOut)
-                                       sb.Append ("out ");
-                               else
-                                       sb.Append ("ref ");
-                       } 
-
-                       if (pos >= pi.Length - 1 && last_arg_is_params)
-                               sb.Append ("params ");
-                       
-                       sb.Append (TypeManager.CSharpName (partype));
-
-                       return sb.ToString ();
-                       
+                       return object.ReferenceEquals (x, y);
                }
 
-               public Parameter.Modifier ParameterModifier (int pos)
+               public int GetHashCode (T obj)
                {
-                       if (last_arg_is_params && pos >= pi.Length - 1)
-                               return Parameter.Modifier.PARAMS;
-                       else if (is_varargs && pos >= pi.Length)
-                               return Parameter.Modifier.ARGLIST;
-                       
-                       Type t = pi [pos].ParameterType;
-                       if (t.IsByRef){
-                               if ((pi [pos].Attributes & ParameterAttributes.Out) != 0)
-                                       return Parameter.Modifier.ISBYREF | Parameter.Modifier.OUT;
-                               else
-                                       return Parameter.Modifier.ISBYREF | Parameter.Modifier.REF;
-                       }
-                       
-                       return Parameter.Modifier.NONE;
+                       return obj == null ? 0 : obj.GetHashCode ();
                }
-
-               public int Count {
-                       get {
-                               return is_varargs ? pi.Length + 1 : pi.Length;
-                       }
-               }
-
-               public bool HasParams {
-                       get {
-                               return this.last_arg_is_params;
-                       }
-               }
-               
        }
 
-       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;
-
-                       has_varargs = parameters.HasArglist;
-
-                       if (param_types == null)
-                               count = 0;
-                       else
-                               count = param_types.Length;
-               }
-
-               public int Count {
-                       get {
-                               return has_varargs ? count + 1 : count;
-                       }
-               }
-
-               public bool HasParams {
-                       get {
-                               return Parameters.ArrayParameter != null;
-                       }
-               }
-
-               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;
-               }
-
-               public Type ParameterType (int pos)
-               {
-                       if (has_varargs && pos >= count)
-                               return TypeManager.runtime_argument_handle_type;
-
-                       if (param_types == null)
-                               return null;
-
-                       return GetParameter (pos).ExternalType ();
-               }
-
-
-               public string ParameterName (int pos)
-               {
-                       if (has_varargs && pos >= count)
-                               return "__arglist";
-
-                       return GetParameter (pos).Name;
-               }
-
-               public string ParameterDesc (int pos)
+       class Tuple<T1, T2>
+       {
+               public Tuple (T1 item1, T2 item2)
                {
-                       if (has_varargs && pos >= count)
-                               return "__arglist";
-
-                       Type t = ParameterType (pos);
-                       return ModifierDesc (pos) + " " + TypeManager.CSharpName (t);
+                       Item1 = item1;
+                       Item2 = item2;
                }
 
-               public string ModifierDesc (int pos)
-               {
-                       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)
-                               return "ref";
-                       if ((p.ModFlags & Parameter.Modifier.OUT) != 0)
-                               return "out";
-                       if (p.ModFlags == Parameter.Modifier.PARAMS)
-                               return "params";
-
-                       return "";
-               }
-
-               public Parameter.Modifier ParameterModifier (int pos)
-               {
-                       if (has_varargs && pos >= count)
-                               return Parameter.Modifier.ARGLIST;
-
-                       Parameter.Modifier mod = GetParameter (pos).ModFlags;
+               public T1 Item1 { get; private set; }
+               public T2 Item2 { get; private set; }
+       }
 
-                       if ((mod & (Parameter.Modifier.REF | Parameter.Modifier.OUT)) != 0)
-                               mod |= Parameter.Modifier.ISBYREF;
+       public class Accessors {
+               public Accessor get_or_add;
+               public Accessor set_or_remove;
 
-                       return mod;
-               }
-               
-       }
+               // was 'set' declared before 'get'?  was 'remove' declared before 'add'?
+               public bool declared_in_reverse;
 
-       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 0;
-                               else
-                                       return 1;
-                       }
-               }
-               
-               public PtrHashtable ()
+               public Accessors (Accessor get_or_add, Accessor set_or_remove)
                {
-                       comparer = PtrComparer.Instance;
+                       this.get_or_add = get_or_add;
+                       this.set_or_remove = set_or_remove;
                }
        }
 
-       /*
-        * Hashtable whose keys are character arrays with the same length
-        */
-       class CharArrayHashtable : Hashtable {
-               sealed class ArrComparer : IComparer {
-                       private int len;
-
-                       public ArrComparer (int len) {
-                               this.len = len;
-                       }
-
-                       public int Compare (object x, object y)
-                       {
-                               char[] a = (char[])x;
-                               char[] b = (char[])y;
+       /// <summary>
+       ///   This is an arbitrarily seekable StreamReader wrapper.
+       ///
+       ///   It uses a self-tuning buffer to cache the seekable data,
+       ///   but if the seek is too far, it may read the underly
+       ///   stream all over from the beginning.
+       /// </summary>
+       public class SeekableStreamReader : IDisposable
+       {
+               const int buffer_read_length_spans = 3;
 
-                               for (int i = 0; i < len; ++i)
-                                       if (a [i] != b [i])
-                                               return 1;
-                               return 0;
-                       }
-               }
+               TextReader reader;
+               Stream stream;
 
-               private int len;
+               static char[] buffer;
+               int average_read_length;
+               int buffer_start;       // in chars
+               int char_count;         // count buffer[] valid characters
+               int pos;                // index into buffer[]
 
-               protected override int GetHash (Object key)
+               public SeekableStreamReader (Stream stream, Encoding encoding)
                {
-                       char[] arr = (char[])key;
-                       int h = 0;
-
-                       for (int i = 0; i < len; ++i)
-                               h = (h << 5) - h + arr [i];
+                       this.stream = stream;
 
-                       return h;
-               }
-
-               public CharArrayHashtable (int len)
-               {
-                       this.len = len;
-                       comparer = new ArrComparer (len);
+                       const int default_average_read_length = 1024;
+                       InitializeStream (default_average_read_length);
+                       reader = new StreamReader (stream, encoding, true);
                }
-       }                       
 
-       struct Pair {
-               public object First;
-               public object Second;
-               
-               public Pair (object f, object s)
+               public void Dispose ()
                {
-                       First = f;
-                       Second = s;
+                       // Needed to release stream reader buffers
+                       reader.Dispose ();
                }
-       }
 
-       /// <summary>
-       ///   This is a wrapper around StreamReader which is seekable.
-       /// </summary>
-       public class SeekableStreamReader
-       {
-               public SeekableStreamReader (StreamReader reader)
+               void InitializeStream (int read_length_inc)
                {
-                       this.reader = reader;
-                       this.buffer = new char [DefaultCacheSize];
-                       
-                       // Compute the preamble size
-                       
-                       // 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;
-                       }
-               }
+                       average_read_length += read_length_inc;
 
-               public SeekableStreamReader (Stream stream, Encoding encoding, bool detect_encoding_from_bytemarks)
-                       : this (new StreamReader (stream, encoding, detect_encoding_from_bytemarks))
-               { }
+                       int required_buffer_size = average_read_length * buffer_read_length_spans;
+                       if (buffer == null || buffer.Length < required_buffer_size)
+                               buffer = new char [required_buffer_size];
 
-               StreamReader reader;
-
-               private const int DefaultCacheSize = 1024;
-
-               char[] buffer;
-               int buffer_start;       // in bytes
-               int buffer_size;        // in bytes
-               int char_count;         // count buffer[] valid characters
-               int pos;                // index into buffer[]
-               int preamble_size;
+                       stream.Position = 0;                    
+                       buffer_start = char_count = pos = 0;
+               }
 
                /// <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 is an index into a char
-                                       // buffer so it might be
-                                       // greater than the buffer
-                                       // length now, if the buffer
-                                       // contains multibyte chars
-                                       pos = byte_offset;
-                                       
-                                       // encoded characters can take
-                                       // more than 1 byte length.
-                                       while ((pos > buffer.Length) ||
-                                              reader.CurrentEncoding.GetByteCount (buffer, 0, pos) > byte_offset) {
-                                               pos--;
-                                       }
-                                       
-                                       return;
+                               // If the lookahead was too small, re-read from the beginning.  Increase the buffer size while we're at it
+                               if (value < buffer_start)
+                                       InitializeStream (average_read_length / 2);
+
+                               while (value > buffer_start + char_count) {
+                                       pos = char_count;
+                                       if (!ReadBuffer ())
+                                               throw new InternalErrorException ("Seek beyond end of file: " + (buffer_start + char_count - value));
                                }
-                               
-                               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;
+
+                               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 <= average_read_length / 2) {
+                               // shift the buffer to make room for average_read_length number of characters
+                               int shift = average_read_length - slack;
+                               Array.Copy (buffer, shift, buffer, 0, char_count - shift);
+                               pos -= shift;
+                               char_count -= shift;
+                               buffer_start += shift;
+                               slack += shift;         // slack == average_read_length
+                       }
+
+                       char_count += reader.Read (buffer, char_count, slack);
+
+                       return pos < char_count;
                }
 
                public int Peek ()
@@ -451,26 +174,26 @@ namespace Mono.CSharp {
 
        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;
@@ -484,7 +207,7 @@ namespace Mono.CSharp {
                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;
@@ -498,22 +221,22 @@ namespace Mono.CSharp {
                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;
@@ -530,4 +253,536 @@ namespace Mono.CSharp {
                        }
                }
        }
+
+       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 (); }
+               }
+       }
+
+#if NET_4_0 || MS_COMPATIBLE
+       [System.Diagnostics.DebuggerDisplay ("Dynamic type")]
+#endif
+       class DynamicType : Type
+       {
+               public override Assembly Assembly {
+                       get { return CodeGen.Assembly.Builder; }
+               }
+
+               public override string AssemblyQualifiedName {
+                       get { throw new NotImplementedException (); }
+               }
+
+               public override Type BaseType {
+                       get { return null; }
+               }
+
+               public override string FullName {
+                       get { return UnderlyingSystemType.FullName; }
+               }
+
+               public override Guid GUID {
+                       get { throw new NotImplementedException (); }
+               }
+
+               protected override TypeAttributes GetAttributeFlagsImpl ()
+               {
+                       return UnderlyingSystemType.Attributes;
+               }
+
+               protected override ConstructorInfo GetConstructorImpl (BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override ConstructorInfo[] GetConstructors (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetElementType ()
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override EventInfo GetEvent (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override EventInfo[] GetEvents (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override FieldInfo GetField (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override FieldInfo[] GetFields (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetInterface (string name, bool ignoreCase)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type[] GetInterfaces ()
+               {
+                       return Type.EmptyTypes;
+               }
+
+               public override MemberInfo[] GetMembers (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override MethodInfo GetMethodImpl (string name, BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override MethodInfo[] GetMethods (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetNestedType (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type[] GetNestedTypes (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override PropertyInfo[] GetProperties (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override PropertyInfo GetPropertyImpl (string name, BindingFlags bindingAttr, Binder binder, Type returnType, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override bool HasElementTypeImpl ()
+               {
+                       return false;
+               }
+
+               public override object InvokeMember (string name, BindingFlags invokeAttr, Binder binder, object target, object[] args, ParameterModifier[] modifiers, System.Globalization.CultureInfo culture, string[] namedParameters)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override bool IsArrayImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsByRefImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsCOMObjectImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsPointerImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsPrimitiveImpl ()
+               {
+                       return false;
+               }
+
+               public override Module Module {
+                       get { return UnderlyingSystemType.Module; }
+               }
+
+               public override string Namespace {
+                       get { return UnderlyingSystemType.Namespace; }
+               }
+
+               public override Type UnderlyingSystemType {
+                       get { return TypeManager.object_type; }
+               }
+
+               public override object[] GetCustomAttributes (Type attributeType, bool inherit)
+               {
+                       return new object [0];
+               }
+
+               public override object[] GetCustomAttributes (bool inherit)
+               {
+                       return new object [0];
+               }
+
+               public override bool IsDefined (Type attributeType, bool inherit)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override string Name {
+                       get { return UnderlyingSystemType.Name; }
+               }
+
+               public override string ToString ()
+               {
+                       return UnderlyingSystemType.ToString ();
+               }
+
+               public override RuntimeTypeHandle TypeHandle {
+                       get { return UnderlyingSystemType.TypeHandle; }
+               }
+
+               public override Type MakeByRefType ()
+               {
+                       // TODO: Wrong, hides dynamic type
+                       return UnderlyingSystemType.MakeByRefType ();
+               }
+       }
+
+#if NET_4_0 || MS_COMPATIBLE
+       [System.Diagnostics.DebuggerDisplay ("Dynamic array type")]
+#endif
+       class DynamicArrayType : Type
+       {
+               readonly int rank;
+               Type reflection_type;
+
+               public DynamicArrayType (int rank)
+               {
+                       this.rank = rank;
+               }
+
+               public override Assembly Assembly {
+                       get { return UnderlyingSystemType.Assembly; }
+               }
+
+               public override string AssemblyQualifiedName {
+                       get { throw new NotImplementedException (); }
+               }
+
+               public override Type BaseType {
+                       get { return TypeManager.array_type; }
+               }
+
+               public override string FullName {
+                       get { return UnderlyingSystemType.FullName; }
+               }
+
+               public override Guid GUID {
+                       get { throw new NotImplementedException (); }
+               }
+
+               protected override TypeAttributes GetAttributeFlagsImpl ()
+               {
+                       return UnderlyingSystemType.Attributes;
+               }
+
+               public override int GetArrayRank ()
+               {
+                       return rank;
+               }
+
+               protected override ConstructorInfo GetConstructorImpl (BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override ConstructorInfo[] GetConstructors (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetElementType ()
+               {
+                       return InternalType.Dynamic;
+               }
+
+               public override EventInfo GetEvent (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override EventInfo[] GetEvents (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override FieldInfo GetField (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override FieldInfo[] GetFields (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetInterface (string name, bool ignoreCase)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type[] GetInterfaces ()
+               {
+                       return Type.EmptyTypes;
+               }
+
+               public override MemberInfo[] GetMembers (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override MethodInfo GetMethodImpl (string name, BindingFlags bindingAttr, Binder binder, CallingConventions callConvention, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override MethodInfo[] GetMethods (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type GetNestedType (string name, BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override Type[] GetNestedTypes (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override PropertyInfo[] GetProperties (BindingFlags bindingAttr)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override PropertyInfo GetPropertyImpl (string name, BindingFlags bindingAttr, Binder binder, Type returnType, Type[] types, ParameterModifier[] modifiers)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override bool HasElementTypeImpl ()
+               {
+                       return true;
+               }
+
+               public override object InvokeMember (string name, BindingFlags invokeAttr, Binder binder, object target, object[] args, ParameterModifier[] modifiers, System.Globalization.CultureInfo culture, string[] namedParameters)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               protected override bool IsArrayImpl ()
+               {
+                       return true;
+               }
+
+               protected override bool IsByRefImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsCOMObjectImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsPointerImpl ()
+               {
+                       return false;
+               }
+
+               protected override bool IsPrimitiveImpl ()
+               {
+                       return false;
+               }
+
+               public override Module Module {
+                       get { return UnderlyingSystemType.Module; }
+               }
+
+               public override string Namespace {
+                       get { return UnderlyingSystemType.Namespace; }
+               }
+
+               public override Type UnderlyingSystemType {
+                       get {
+                               if (reflection_type == null) {
+                                       reflection_type = rank == 1 ?
+                                               TypeManager.object_type.MakeArrayType () :
+                                               TypeManager.object_type.MakeArrayType (rank);
+                               }
+
+                               return reflection_type;
+                       }
+               }
+
+               public override object[] GetCustomAttributes (Type attributeType, bool inherit)
+               {
+                       return new object [0];
+               }
+
+               public override object[] GetCustomAttributes (bool inherit)
+               {
+                       return new object [0];
+               }
+
+               public override bool IsDefined (Type attributeType, bool inherit)
+               {
+                       throw new NotImplementedException ();
+               }
+
+               public override string Name {
+                       get { return UnderlyingSystemType.Name; }
+               }
+
+               public override string ToString ()
+               {
+                       return UnderlyingSystemType.ToString ();
+               }
+
+               public override RuntimeTypeHandle TypeHandle {
+                       get { return UnderlyingSystemType.TypeHandle; }
+               }
+       }
+
+       public class UnixUtils {
+               [System.Runtime.InteropServices.DllImport ("libc", EntryPoint="isatty")]
+               extern static int _isatty (int fd);
+                       
+               public static bool isatty (int fd)
+               {
+                       try {
+                               return _isatty (fd) == 1;
+                       } catch {
+                               return false;
+                       }
+               }
+       }
+
+       /// <summary>
+       ///   An exception used to terminate the compiler resolution phase and provide completions
+       /// </summary>
+       /// <remarks>
+       ///   This is thrown when we want to return the completions or
+       ///   terminate the completion process by AST nodes used in
+       ///   the completion process.
+       /// </remarks>
+       public class CompletionResult : Exception {
+               string [] result;
+               string base_text;
+               
+               public CompletionResult (string base_text, string [] res)
+               {
+                       if (base_text == null)
+                               throw new ArgumentNullException ("base_text");
+                       this.base_text = base_text;
+
+                       result = res;
+                       Array.Sort (result);
+               }
+
+               public string [] Result {
+                       get {
+                               return result;
+                       }
+               }
+
+               public string BaseText {
+                       get {
+                               return base_text;
+                       }
+               }
+       }
 }