//
-// generic.cs: Support classes for generics
+// generic.cs: Support classes for generics to reduce differences from GMCS
//
// Author:
-// Miguel de Icaza (miguel@ximian.com)
+// Raja R Harinath <rharinath@novell.com>
//
-// (C) 2003 Ximian, Inc.
+// (C) 2006 Novell, Inc.
//
using System;
+using System.Reflection;
+using System.Reflection.Emit;
using System.Collections;
-namespace Mono.CSharp {
+namespace Mono.CSharp
+{
+ public abstract class GenericConstraints
+ {
+ public abstract string TypeParameter {
+ get;
+ }
+
+ public bool IsReferenceType {
+ get { throw new NotSupportedException (); }
+ }
+ }
+
+ public abstract class Constraints : GenericConstraints
+ {
+ public Constraints Clone ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public abstract Location Location {
+ get;
+ }
+
+ public abstract void VerifyClsCompliance ();
+ }
+
+ public class TypeParameter : MemberCore, IMemberContainer
+ {
+ public TypeParameter (DeclSpace parent, DeclSpace decl, string name,
+ Constraints constraints, Attributes attrs, Location loc)
+ : base (parent, new MemberName (name, loc), attrs)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public static string GetSignatureForError (TypeParameter[] tp)
+ {
+ throw new NotImplementedException ();
+ }
+
+ //
+ // MemberContainer
+ //
+
+ public override bool Define ()
+ {
+ return true;
+ }
+
+ public override void ApplyAttributeBuilder (Attribute a,
+ CustomAttributeBuilder cb)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override AttributeTargets AttributeTargets {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override string[] ValidAttributeTargets {
+ get {
+ return new string [] { "type parameter" };
+ }
+ }
+
+ public Constraints Constraints {
+ get {
+ return null;
+ }
+ }
+
+ public override string DocCommentHeader {
+ get { throw new NotImplementedException (); }
+ }
+
+ public bool Resolve (DeclSpace ds)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool DefineType (IResolveContext ec)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool DefineType (IResolveContext ec, MethodBuilder builder,
+ MethodInfo implementing, bool is_override)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool CheckDependencies ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool UpdateConstraints (IResolveContext ec, Constraints new_constraints)
+ {
+ throw new NotImplementedException ();
+ }
- //
- // Tracks the constraints for a type parameter
- //
- class Constraints {
- string type_parameter;
- ArrayList constraints;
-
//
- // type_parameter is the identifier, constraints is an arraylist of
- // Expressions (with types) or `true' for the constructor constraint.
- //
- public Constraints (string type_parameter, ArrayList constraints)
+ // IMemberContainer
+ //
+
+ Type IMemberContainer.Type {
+ get { throw new NotImplementedException (); }
+ }
+
+ string IMemberContainer.Name {
+ get { throw new NotImplementedException (); }
+ }
+
+ MemberCache IMemberContainer.BaseCache {
+ get { throw new NotImplementedException (); }
+ }
+
+ bool IMemberContainer.IsInterface {
+ get { throw new NotImplementedException (); }
+ }
+
+ MemberList IMemberContainer.GetMembers (MemberTypes mt, BindingFlags bf)
{
- this.type_parameter = type_parameter;
- this.constraints = constraints;
+ throw new NotImplementedException ();
+ }
+
+ MemberCache IMemberContainer.MemberCache {
+ get { throw new NotImplementedException (); }
+ }
+
+ public bool IsSubclassOf (Type t)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public MemberList FindMembers (MemberTypes mt, BindingFlags bf,
+ MemberFilter filter, object criteria)
+ {
+ throw new NotImplementedException ();
+ }
+ }
+
+ public class TypeParameterExpr : TypeExpr
+ {
+ public override string Name {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override string FullName {
+ get { throw new NotImplementedException (); }
+ }
+
+ public TypeParameterExpr (TypeParameter type_parameter, Location loc)
+ {
+ throw new NotImplementedException ();
+ }
+
+ protected override TypeExpr DoResolveAsTypeStep (IResolveContext ec)
+ {
+ return null;
}
}
- //
- // This type represents a generic type parameter reference.
- //
- // These expressions are born in a fully resolved state.
- //
- public class TypeParameterExpr : TypeExpr {
- string type_parameter;
+ public class TypeParameterName : SimpleName
+ {
+ Attributes attributes;
+
+ public TypeParameterName (string name, Attributes attrs, Location loc)
+ : base (name, loc)
+ {
+ attributes = attrs;
+ }
+
+ public Attributes OptAttributes {
+ get {
+ return attributes;
+ }
+ }
+ }
+
+ public class ConstructedType : TypeExpr
+ {
+ public ConstructedType (FullNamedExpression fname, TypeArguments args, Location l)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public ConstructedType (Type t, TypeParameter[] type_params, Location l)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public ConstructedType (Type t, TypeArguments args, Location l)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override string Name {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override string FullName {
+ get { throw new NotImplementedException (); }
+ }
+
+ protected override TypeExpr DoResolveAsTypeStep (IResolveContext ec)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool CheckConstraints (IResolveContext ec)
+ {
+ throw new NotImplementedException ();
+ }
+ }
+
+ public class GenericMethod : DeclSpace
+ {
+ public GenericMethod (NamespaceEntry ns, DeclSpace parent, MemberName name,
+ Expression return_type, Parameters parameters)
+ : base (ns, parent, name, null)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override TypeBuilder DefineType ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override bool Define ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public bool DefineType (EmitContext ec, MethodBuilder mb,
+ MethodInfo implementing, bool is_override)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public void EmitAttributes ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override bool DefineMembers ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override MemberList FindMembers (MemberTypes mt, BindingFlags bf,
+ MemberFilter filter, object criteria)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public override MemberCache MemberCache {
+ get { throw new NotImplementedException (); }
+ }
+
+ public override AttributeTargets AttributeTargets {
+ get {
+ return AttributeTargets.Method | AttributeTargets.ReturnValue;
+ }
+ }
+
+ public override string DocCommentHeader {
+ get { return "M:"; }
+ }
+
+ public new void VerifyClsCompliance ()
+ {
+ throw new NotImplementedException ();
+ }
+ }
+
+ public class TypeArguments
+ {
+ public TypeArguments (Location loc)
+ {
+ throw new NotImplementedException ();
+ }
- public TypeParameterExpr (string type_parameter, Location l)
- : base (typeof (object), l)
+ public TypeArguments (Location loc, params Expression[] types)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public void Add (Expression type)
{
- this.type_parameter = type_parameter;
+ throw new NotImplementedException ();
}
- public override string ToString ()
+ public void Add (TypeArguments new_args)
{
- return "TypeParameter[" + type_parameter + "]";
+ throw new NotImplementedException ();
}
- public void Error_CannotUseAsUnmanagedType (Location loc)
+ public bool Resolve (IResolveContext ec)
+ {
+ throw new NotImplementedException ();
+ }
+
+ public Type[] Arguments {
+ get { throw new NotImplementedException (); }
+ }
+
+ public int Count {
+ get { throw new NotImplementedException (); }
+ }
+
+ public bool IsUnbound {
+ get { throw new NotImplementedException (); }
+ }
+
+ public TypeParameterName[] GetDeclarations ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public string GetSignatureForError ()
+ {
+ throw new NotImplementedException ();
+ }
+
+ public TypeArguments Clone ()
+ {
+ throw new NotImplementedException ();
+ }
+ }
+
+ public class TypeInferenceContext
+ {
+ public void ExactInference (Type u, Type v)
{
- Report.Error (-203, loc, "Can not use type parameter as unamanged type");
+ throw new NotImplementedException ();
}
}
}