mcs/mcs/complete.cs

   1 //
   2 // complete.cs: Expression that are used for completion suggestions.
   3 //
   4 // Author:
   5 //   Miguel de Icaza (miguel@ximian.com)
   6 //   Marek Safar (marek.safar@gmail.com)
   7 //
   8 // Copyright 2001, 2002, 2003 Ximian, Inc.
   9 // Copyright 2003-2009 Novell, Inc.
  10 // Copyright 2011 Xamarin Inc
  11 //
  12 // Completion* classes derive from ExpressionStatement as this allows
  13 // them to pass through the parser in many conditions that require
  14 // statements even when the expression is incomplete (for example
  15 // completing inside a lambda
  16 //
  17 using System.Collections.Generic;
  18 using System.Linq;
  19
  20 namespace Mono.CSharp {
  21
  22         //
  23         // A common base class for Completing expressions, it
  24         // is just a very simple ExpressionStatement
  25         //
  26         public abstract class CompletingExpression : ExpressionStatement
  27         {
  28                 public static void AppendResults (List<string> results, string prefix, IEnumerable<string> names)
  29                 {
  30                         foreach (string name in names) {
  31                                 if (name == null)
  32                                         continue;
  33
  34                                 if (prefix != null && !name.StartsWith (prefix))
  35                                         continue;
  36
  37                                 if (results.Contains (name))
  38                                         continue;
  39
  40                                 if (prefix != null)
  41                                         results.Add (name.Substring (prefix.Length));
  42                                 else
  43                                         results.Add (name);
  44                         }
  45                 }
  46
  47                 public override bool ContainsEmitWithAwait ()
  48                 {
  49                         return false;
  50                 }
  51
  52                 public override Expression CreateExpressionTree (ResolveContext ec)
  53                 {
  54                         return null;
  55                 }
  56
  57                 public override void EmitStatement (EmitContext ec)
  58                 {
  59                         // Do nothing
  60                 }
  61
  62                 public override void Emit (EmitContext ec)
  63                 {
  64                         // Do nothing
  65                 }
  66         }
  67
  68         public class CompletionSimpleName : CompletingExpression {
  69                 public string Prefix;
  70
  71                 public CompletionSimpleName (string prefix, Location l)
  72                 {
  73                         this.loc = l;
  74                         this.Prefix = prefix;
  75                 }
  76
  77                 protected override Expression DoResolve (ResolveContext ec)
  78                 {
  79                         var results = new List<string> ();
  80
  81                         ec.CurrentMemberDefinition.GetCompletionStartingWith (Prefix, results);
  82
  83                         throw new CompletionResult (Prefix, results.Distinct ().Select (l => l.Substring (Prefix.Length)).ToArray ());
  84                 }
  85
  86                 protected override void CloneTo (CloneContext clonectx, Expression t)
  87                 {
  88                         // Nothing
  89                 }
  90         }
  91
  92         public class CompletionMemberAccess : CompletingExpression {
  93                 Expression expr;
  94                 string partial_name;
  95                 TypeArguments targs;
  96
  97                 public CompletionMemberAccess (Expression e, string partial_name, Location l)
  98                 {
  99                         this.expr = e;
 100                         this.loc = l;
 101                         this.partial_name = partial_name;
 102                 }
 103
 104                 public CompletionMemberAccess (Expression e, string partial_name, TypeArguments targs, Location l)
 105                 {
 106                         this.expr = e;
 107                         this.loc = l;
 108                         this.partial_name = partial_name;
 109                         this.targs = targs;
 110                 }
 111
 112                 protected override Expression DoResolve (ResolveContext rc)
 113                 {
 114                         var sn = expr as SimpleName;
 115                         const ResolveFlags flags = ResolveFlags.VariableOrValue | ResolveFlags.Type;
 116
 117                         if (sn != null) {
 118                                 expr = sn.LookupNameExpression (rc, MemberLookupRestrictions.ReadAccess | MemberLookupRestrictions.ExactArity);
 119
 120                                 //
 121                                 // Resolve expression which does have type set as we need expression type
 122                                 // with disable flow analysis as we don't know whether left side expression
 123                                 // is used as variable or type
 124                                 //
 125                                 if (expr is VariableReference || expr is ConstantExpr || expr is Linq.TransparentMemberAccess) {
 126                                         expr = expr.Resolve (rc);
 127                                 } else if (expr is TypeParameterExpr) {
 128                                         expr.Error_UnexpectedKind (rc, flags, sn.Location);
 129                                         expr = null;
 130                                 }
 131                         } else {
 132                                 expr = expr.Resolve (rc, flags);
 133                         }
 134
 135                         if (expr == null)
 136                                 return null;
 137
 138                         TypeSpec expr_type = expr.Type;
 139                         if (expr_type.IsPointer || expr_type.Kind == MemberKind.Void || expr_type == InternalType.NullLiteral || expr_type == InternalType.AnonymousMethod) {
 140                                 expr.Error_OperatorCannotBeApplied (rc, loc, ".", expr_type);
 141                                 return null;
 142                         }
 143
 144                         if (targs != null) {
 145                                 if (!targs.Resolve (rc))
 146                                         return null;
 147                         }
 148
 149                         var results = new List<string> ();
 150                         if (expr is Namespace) {
 151                                 Namespace nexpr = expr as Namespace;
 152                                 string namespaced_partial;
 153
 154                                 if (partial_name == null)
 155                                         namespaced_partial = nexpr.Name;
 156                                 else
 157                                         namespaced_partial = nexpr.Name + "." + partial_name;
 158
 159                                 rc.CurrentMemberDefinition.GetCompletionStartingWith (namespaced_partial, results);
 160                                 if (partial_name != null)
 161                                         results = results.Select (l => l.Substring (partial_name.Length)).ToList ();
 162                         } else {
 163                                 var r = MemberCache.GetCompletitionMembers (rc, expr_type, partial_name).Select (l => l.Name);
 164                                 AppendResults (results, partial_name, r);
 165                         }
 166
 167                         throw new CompletionResult (partial_name == null ? "" : partial_name, results.Distinct ().ToArray ());
 168                 }
 169
 170                 protected override void CloneTo (CloneContext clonectx, Expression t)
 171                 {
 172                         CompletionMemberAccess target = (CompletionMemberAccess) t;
 173
 174                         if (targs != null)
 175                                 target.targs = targs.Clone ();
 176
 177                         target.expr = expr.Clone (clonectx);
 178                 }
 179         }
 180
 181         public class CompletionElementInitializer : CompletingExpression {
 182                 string partial_name;
 183
 184                 public CompletionElementInitializer (string partial_name, Location l)
 185                 {
 186                         this.partial_name = partial_name;
 187                         this.loc = l;
 188                 }
 189
 190                 protected override Expression DoResolve (ResolveContext ec)
 191                 {
 192                         var members = MemberCache.GetCompletitionMembers (ec, ec.CurrentInitializerVariable.Type, partial_name);
 193
 194 // TODO: Does this mean exact match only ?
 195 //                      if (partial_name != null && results.Count > 0 && result [0] == "")
 196 //                              throw new CompletionResult ("", new string [] { "=" });
 197
 198                         var results = members.Where (l => (l.Kind & (MemberKind.Field | MemberKind.Property)) != 0).Select (l => l.Name).ToList ();
 199                         if (partial_name != null) {
 200                                 var temp = new List<string> ();
 201                                 AppendResults (temp, partial_name, results);
 202                                 results = temp;
 203                         }
 204
 205                         throw new CompletionResult (partial_name == null ? "" : partial_name, results.Distinct ().ToArray ());
 206                 }
 207
 208                 protected override void CloneTo (CloneContext clonectx, Expression t)
 209                 {
 210                         // Nothing
 211                 }
 212         }
 213
 214 }