System.Runtime.Serialization.DateTimeFormat
[mono.git] / mcs / mcs / eval.cs
index 66cfb3b0d54b930622c57166bf079eaa5793a894..bb0260575a4a47839914da95df46a96d86cf4227 100644 (file)
@@ -72,18 +72,17 @@ namespace Mono.CSharp
                readonly ReflectionImporter importer;
                readonly CompilationSourceFile source_file;
                
-               public Evaluator (CompilerSettings settings, Report report)
+               public Evaluator (CompilerContext ctx)
                {
-                       ctx = new CompilerContext (settings, report);
+                       this.ctx = ctx;
 
                        module = new ModuleContainer (ctx);
                        module.Evaluator = this;
 
-                       source_file = new CompilationSourceFile ("{interactive}", "", 1);
-                       source_file.NamespaceContainer = new NamespaceContainer (null, module, null, source_file);
+                       source_file = new CompilationSourceFile (module, null);
+                       module.AddTypeContainer (source_file);
 
                        startup_files = ctx.SourceFiles.Count;
-                       ctx.SourceFiles.Add (source_file);
 
                        // FIXME: Importer needs this assembly for internalsvisibleto
                        module.SetDeclaringAssembly (new AssemblyDefinitionDynamic (module, "evaluator"));
@@ -117,9 +116,10 @@ namespace Mono.CSharp
 
                        Location.Initialize (ctx.SourceFiles);
 
+                       var parser_session = new ParserSession ();
                        for (int i = 0; i < startup_files; ++i) {
-                               var sf = ctx.Settings.SourceFiles [i];
-                               d.Parse (sf, module);
+                               var sf = ctx.SourceFiles [i];
+                               d.Parse (sf, module, parser_session, ctx.Report);
                        }
                }
 
@@ -226,9 +226,16 @@ namespace Mono.CSharp
 
                                bool partial_input;
                                CSharpParser parser = ParseString (ParseMode.Silent, input, out partial_input);
+
+                               // Terse mode, try to provide the trailing semicolon automatically.
                                if (parser == null && Terse && partial_input){
                                        bool ignore;
-                                       parser = ParseString (ParseMode.Silent, input + ";", out ignore);
+
+                                       // check if the source would compile with a block, if so, we should not
+                                       // add the semicolon.
+                                       var needs_block = ParseString (ParseMode.Silent, input + "{}", out ignore) != null;
+                                       if (!needs_block)
+                                               parser = ParseString (ParseMode.Silent, input + ";", out ignore);
                                }
                                if (parser == null){
                                        compiled = null;
@@ -355,8 +362,6 @@ namespace Mono.CSharp
                                bool partial_input;
                                CSharpParser parser = ParseString (ParseMode.GetCompletions, input, out partial_input);
                                if (parser == null){
-                                       if (CSharpParser.yacc_verbose_flag != 0)
-                                               Console.WriteLine ("DEBUG: No completions available");
                                        return null;
                                }
                                
@@ -372,10 +377,9 @@ namespace Mono.CSharp
                                module.SetDeclaringAssembly (a);
 
                                // Need to setup MemberCache
-                               parser_result.CreateType ();
-                               parser_result.NamespaceEntry.Define ();
+                               parser_result.CreateContainer ();
 
-                               var method = parser_result.Methods[0] as Method;
+                               var method = parser_result.Members[0] as Method;
                                BlockContext bc = new BlockContext (method, method.Block, ctx.BuiltinTypes.Void);
 
                                try {
@@ -449,8 +453,11 @@ namespace Mono.CSharp
                //
                InputKind ToplevelOrStatement (SeekableStreamReader seekable)
                {
-                       Tokenizer tokenizer = new Tokenizer (seekable, source_file, ctx);
+                       Tokenizer tokenizer = new Tokenizer (seekable, source_file, new ParserSession ());
                        
+                       // Prefer contextual block keywords over identifiers
+                       tokenizer.parsing_block++;
+
                        int t = tokenizer.token ();
                        switch (t){
                        case Token.EOF:
@@ -555,7 +562,6 @@ namespace Mono.CSharp
                {
                        partial_input = false;
                        Reset ();
-                       Tokenizer.LocatedToken.Initialize ();
 
                        var enc = ctx.Settings.Encoding;
                        var s = new MemoryStream (enc.GetBytes (input));
@@ -578,11 +584,12 @@ namespace Mono.CSharp
                        }
                        seekable.Position = 0;
 
-                       source_file.NamespaceContainer.DeclarationFound = false;
-                       CSharpParser parser = new CSharpParser (seekable, source_file);
+                       source_file.DeclarationFound = false;
+                       CSharpParser parser = new CSharpParser (seekable, source_file, new ParserSession ());
 
                        if (kind == InputKind.StatementOrExpression){
                                parser.Lexer.putback_char = Tokenizer.EvalStatementParserCharacter;
+                               parser.Lexer.parsing_block++;
                                ctx.Settings.StatementMode = true;
                        } else {
                                parser.Lexer.putback_char = Tokenizer.EvalCompilationUnitParserCharacter;
@@ -593,7 +600,7 @@ namespace Mono.CSharp
                                parser.Lexer.CompleteOnEOF = true;
 
                        ReportPrinter old_printer = null;
-                       if ((mode == ParseMode.Silent || mode == ParseMode.GetCompletions) && CSharpParser.yacc_verbose_flag == 0)
+                       if ((mode == ParseMode.Silent || mode == ParseMode.GetCompletions))
                                old_printer = ctx.Report.SetPrinter (new StreamReportPrinter (TextWriter.Null));
 
                        try {
@@ -648,18 +655,23 @@ namespace Mono.CSharp
                                        new TypeExpression (base_class_imported, host.Location)
                                };
 
-                               host.AddBasesForPart (host, baseclass_list);
+                               host.AddBasesForPart (baseclass_list);
 
-                               host.CreateType ();
-                               host.DefineType ();
+                               host.CreateContainer ();
+                               host.DefineContainer ();
                                host.Define ();
 
-                               expression_method = (Method) host.Methods[0];
+                               expression_method = (Method) host.Members[0];
                        } else {
                                expression_method = null;
                        }
 
-                       module.CreateType ();
+                       module.CreateContainer ();
+
+                       // Disable module and source file re-definition checks
+                       module.EnableRedefinition ();
+                       source_file.EnableRedefinition ();
+
                        module.Define ();
 
                        if (Report.Errors != 0){
@@ -670,19 +682,19 @@ namespace Mono.CSharp
                        }
 
                        if (host != null){
-                               host.EmitType ();
+                               host.EmitContainer ();
                        }
                        
-                       module.Emit ();
+                       module.EmitContainer ();
                        if (Report.Errors != 0){
                                if (undo != null)
                                        undo.ExecuteUndo ();
                                return null;
                        }
 
-                       module.CloseType ();
+                       module.CloseContainer ();
                        if (host != null)
-                               host.CloseType ();
+                               host.CloseContainer ();
 
                        if (access == AssemblyBuilderAccess.RunAndSave)
                                assembly.Save ();
@@ -697,34 +709,36 @@ namespace Mono.CSharp
                        var tt = assembly.Builder.GetType (host.TypeBuilder.Name);
                        var mi = tt.GetMethod (expression_method.MemberName.Name);
 
-                       if (host.Fields != null) {
-                               //
-                               // We need to then go from FieldBuilder to FieldInfo
-                               // or reflection gets confused (it basically gets confused, and variables override each
-                               // other).
-                               //
-                               foreach (Field field in host.Fields) {
-                                       var fi = tt.GetField (field.Name);
-
-                                       Tuple<FieldSpec, FieldInfo> old;
-
-                                       // If a previous value was set, nullify it, so that we do
-                                       // not leak memory
-                                       if (fields.TryGetValue (field.Name, out old)) {
-                                               if (old.Item1.MemberType.IsStruct) {
-                                                       //
-                                                       // TODO: Clear fields for structs
-                                                       //
-                                               } else {
-                                                       try {
-                                                               old.Item2.SetValue (null, null);
-                                                       } catch {
-                                                       }
+                       //
+                       // We need to then go from FieldBuilder to FieldInfo
+                       // or reflection gets confused (it basically gets confused, and variables override each
+                       // other).
+                       //
+                       foreach (var member in host.Members) {
+                               var field = member as Field;
+                               if (field == null)
+                                       continue;
+
+                               var fi = tt.GetField (field.Name);
+
+                               Tuple<FieldSpec, FieldInfo> old;
+
+                               // If a previous value was set, nullify it, so that we do
+                               // not leak memory
+                               if (fields.TryGetValue (field.Name, out old)) {
+                                       if (old.Item1.MemberType.IsStruct) {
+                                               //
+                                               // TODO: Clear fields for structs
+                                               //
+                                       } else {
+                                               try {
+                                                       old.Item2.SetValue (null, null);
+                                               } catch {
                                                }
                                        }
-
-                                       fields[field.Name] = Tuple.Create (field.Spec, fi);
                                }
+
+                               fields[field.Name] = Tuple.Create (field.Spec, fi);
                        }
                        
                        return (CompiledMethod) System.Delegate.CreateDelegate (typeof (CompiledMethod), mi);
@@ -761,7 +775,7 @@ namespace Mono.CSharp
                        //foreach (object x in ns.using_alias_list)
                        //    sb.AppendFormat ("using {0};\n", x);
 
-                       foreach (var ue in source_file.NamespaceContainer.Usings) {
+                       foreach (var ue in source_file.Usings) {
                                sb.AppendFormat ("using {0};", ue.ToString ());
                                sb.Append (Environment.NewLine);
                        }
@@ -773,7 +787,7 @@ namespace Mono.CSharp
                {
                        var res = new List<string> ();
 
-                       foreach (var ue in source_file.NamespaceContainer.Usings) {
+                       foreach (var ue in source_file.Usings) {
                                if (ue.Alias != null || ue.ResolvedExpression == null)
                                        continue;
 
@@ -981,7 +995,9 @@ namespace Mono.CSharp
                static public string help {
                        get {
                                return "Static methods:\n" +
+#if !NET_2_1
                                        "  Describe (object);       - Describes the object's type\n" +
+#endif
                                        "  LoadPackage (package);   - Loads the given Package (like -pkg:FILE)\n" +
                                        "  LoadAssembly (assembly); - Loads the given assembly (like -r:ASSEMBLY)\n" +
                                        "  ShowVars ();             - Shows defined local variables.\n" +
@@ -1046,10 +1062,6 @@ namespace Mono.CSharp
                {
                }
 
-               public override void EmitSymbolInfo ()
-               {
-               }
-
                protected override FieldExpr GetFieldExpression (EmitContext ec)
                {
                        return new FieldExpr (field, field.Location);
@@ -1118,7 +1130,7 @@ namespace Mono.CSharp
                {
                }
 
-               public void AddTypeContainer (TypeContainer current_container, TypeContainer tc)
+               public void AddTypeContainer (TypeContainer current_container, TypeDefinition tc)
                {
                        if (current_container == tc){
                                Console.Error.WriteLine ("Internal error: inserting container into itself");
@@ -1128,14 +1140,13 @@ namespace Mono.CSharp
                        if (undo_actions == null)
                                undo_actions = new List<Action> ();
 
-                       var existing = current_container.Types.FirstOrDefault (l => l.MemberName.Basename == tc.MemberName.Basename);
+                       var existing = current_container.Containers.FirstOrDefault (l => l.Basename == tc.Basename);
                        if (existing != null) {
-                               current_container.RemoveTypeContainer (existing);
-                               existing.NamespaceEntry.SlaveDeclSpace.RemoveTypeContainer (existing);
+                               current_container.RemoveContainer (existing);
                                undo_actions.Add (() => current_container.AddTypeContainer (existing));
                        }
 
-                       undo_actions.Add (() => current_container.RemoveTypeContainer (tc));
+                       undo_actions.Add (() => current_container.RemoveContainer (tc));
                }
 
                public void ExecuteUndo ()