2 // location.cs: Keeps track of the location of source code entity
6 // Atsushi Enomoto <atsushi@ximian.com>
8 // Copyright 2001 Ximian, Inc.
9 // Copyright 2005 Novell, Inc.
14 using System.Collections;
15 using Mono.CompilerServices.SymbolWriter;
17 namespace Mono.CSharp {
19 /// This is one single source file.
22 /// This is intentionally a class and not a struct since we need
23 /// to pass this by reference.
25 public class SourceFile : ISourceFile {
26 public readonly string Name;
27 public readonly string Path;
28 public readonly int Index;
29 public bool AutoGenerated;
30 public bool IsIncludeFile;
33 byte[] guid, checksum;
35 public SourceFile (string name, string path, int index, bool is_include)
40 this.IsIncludeFile = is_include;
43 public SourceFileEntry SourceFileEntry {
47 SourceFileEntry ISourceFile.Entry {
51 public void SetChecksum (byte[] guid, byte[] checksum)
54 this.checksum = checksum;
57 public virtual void DefineSymbolInfo (MonoSymbolWriter symwriter)
60 file = symwriter.DefineDocument (Path, guid, checksum);
62 file = symwriter.DefineDocument (Path);
64 file.SetAutoGenerated ();
68 public override string ToString ()
70 return String.Format ("SourceFile ({0}:{1}:{2}:{3})",
71 Name, Path, Index, SourceFileEntry);
75 public class CompilationUnit : SourceFile, ICompileUnit
77 CompileUnitEntry comp_unit;
78 Hashtable include_files;
79 Hashtable conditionals;
81 public CompilationUnit (string name, string path, int index)
82 : base (name, path, index, false)
85 public void AddFile (SourceFile file)
90 if (include_files == null)
91 include_files = new Hashtable ();
93 if (!include_files.Contains (file.Path))
94 include_files.Add (file.Path, file);
97 public void AddDefine (string value)
99 if (conditionals == null)
100 conditionals = new Hashtable (2);
102 conditionals [value] = true;
105 public void AddUndefine (string value)
107 if (conditionals == null)
108 conditionals = new Hashtable (2);
110 conditionals [value] = null;
113 CompileUnitEntry ICompileUnit.Entry {
114 get { return comp_unit; }
117 public CompileUnitEntry CompileUnitEntry {
118 get { return comp_unit; }
121 public override void DefineSymbolInfo (MonoSymbolWriter symwriter)
123 base.DefineSymbolInfo (symwriter);
125 comp_unit = symwriter.DefineCompilationUnit (SourceFileEntry);
127 if (include_files != null) {
128 foreach (SourceFile include in include_files.Values) {
129 include.DefineSymbolInfo (symwriter);
130 comp_unit.AddFile (include.SourceFileEntry);
135 public bool IsConditionalDefined (string value)
137 if (conditionals != null) {
138 object res = conditionals [value];
142 // When conditional was undefined
143 if (conditionals.Contains (value))
147 return RootContext.IsConditionalDefined (value);
152 /// Keeps track of the location in the program
156 /// This uses a compact representation and a couple of auxiliary
157 /// structures to keep track of tokens to (file,line and column)
158 /// mappings. The usage of the bits is:
160 /// - 16 bits for "checkpoint" which is a mixed concept of
161 /// file and "line segment"
162 /// - 8 bits for line delta (offset) from the line segment
163 /// - 8 bits for column number.
165 /// http://lists.ximian.com/pipermail/mono-devel-list/2004-December/009508.html
167 public struct Location {
171 public readonly int LineOffset;
172 public readonly int CompilationUnit;
173 public readonly int File;
175 public Checkpoint (int compile_unit, int file, int line)
178 CompilationUnit = compile_unit;
179 LineOffset = line - (int) (line % (1 << line_delta_bits));
183 static ArrayList source_list;
184 static ArrayList compile_units;
185 static Hashtable source_files;
186 static int checkpoint_bits;
187 static int source_count;
188 static int current_source;
189 static int current_compile_unit;
190 static int line_delta_bits;
191 static int line_delta_mask;
192 static int column_bits;
193 static int column_mask;
194 static Checkpoint [] checkpoints;
195 static int checkpoint_index;
197 public readonly static Location Null = new Location (-1);
198 public static bool InEmacs;
202 source_files = new Hashtable ();
203 source_list = new ArrayList ();
204 compile_units = new ArrayList ();
206 current_compile_unit = 0;
207 checkpoints = new Checkpoint [10];
210 public static void Reset ()
212 source_files = new Hashtable ();
213 source_list = new ArrayList ();
214 compile_units = new ArrayList ();
216 current_compile_unit = 0;
221 // This must be called before parsing/tokenizing any files.
223 static public void AddFile (Report r, string name)
225 string path = Path.GetFullPath (name);
227 if (source_files.Contains (path)){
228 int id = (int) source_files [path];
229 string other_name = ((SourceFile) source_list [id - 1]).Name;
230 if (name.Equals (other_name))
231 r.Warning (2002, 1, "Source file `{0}' specified multiple times", other_name);
233 r.Warning (2002, 1, "Source filenames `{0}' and `{1}' both refer to the same file: {2}", name, other_name, path);
237 source_files.Add (path, ++source_count);
238 CompilationUnit unit = new CompilationUnit (name, path, source_count);
239 source_list.Add (unit);
240 compile_units.Add (unit);
243 // IList<CompilationUnit>
244 static public ArrayList SourceFiles {
246 return compile_units;
251 // After adding all source files we want to compile with AddFile(), this method
252 // must be called to `reserve' an appropriate number of bits in the token for the
253 // source file. We reserve some extra space for files we encounter via #line
254 // directives while parsing.
256 static public void Initialize ()
258 checkpoints = new Checkpoint [source_list.Count * 2];
259 if (checkpoints.Length > 0)
260 checkpoints [0] = new Checkpoint (0, 0, 0);
265 line_delta_mask = 0xFF00;
266 checkpoint_index = 0;
267 checkpoint_bits = 16;
271 // This is used when we encounter a #line preprocessing directive.
273 static public SourceFile LookupFile (CompilationUnit comp_unit, string name)
276 if (!Path.IsPathRooted (name)) {
277 string root = Path.GetDirectoryName (comp_unit.Path);
278 path = Path.Combine (root, name);
282 if (!source_files.Contains (path)) {
283 if (source_count >= (1 << checkpoint_bits))
284 return new SourceFile (name, path, 0, true);
286 source_files.Add (path, ++source_count);
287 SourceFile retval = new SourceFile (name, path, source_count, true);
288 source_list.Add (retval);
292 int index = (int) source_files [path];
293 return (SourceFile) source_list [index - 1];
296 static public void Push (CompilationUnit compile_unit, SourceFile file)
298 current_source = file != null ? file.Index : -1;
299 current_compile_unit = compile_unit != null ? compile_unit.Index : -1;
300 // File is always pushed before being changed.
304 // If we're compiling with debugging support, this is called between parsing
305 // and code generation to register all the source files with the
308 static public void DefineSymbolDocuments (MonoSymbolWriter symwriter)
310 foreach (CompilationUnit unit in compile_units)
311 unit.DefineSymbolInfo (symwriter);
314 public Location (int row)
319 public Location (int row, int column)
330 int max = checkpoint_index < 10 ?
331 checkpoint_index : 10;
332 for (int i = 0; i < max; i++) {
333 int offset = checkpoints [checkpoint_index - i].LineOffset;
334 delta = row - offset;
336 delta < (1 << line_delta_bits) &&
337 checkpoints [checkpoint_index - i].File == current_source) {
338 target = checkpoint_index - i;
343 AddCheckpoint (current_compile_unit, current_source, row);
344 target = checkpoint_index;
345 delta = row % (1 << line_delta_bits);
348 (long) (delta << column_bits) +
349 (long) (target << (line_delta_bits + column_bits));
350 token = l > 0xFFFFFFFF ? 0 : (int) l;
354 static void AddCheckpoint (int compile_unit, int file, int row)
356 if (checkpoints.Length == ++checkpoint_index) {
357 Checkpoint [] tmp = new Checkpoint [checkpoint_index * 2];
358 Array.Copy (checkpoints, tmp, checkpoints.Length);
361 checkpoints [checkpoint_index] = new Checkpoint (compile_unit, file, row);
364 public override string ToString ()
366 if (column_bits == 0 || InEmacs)
367 return Name + "(" + Row.ToString () + "):";
369 return Name + "(" + Row.ToString () + "," + Column.ToString () +
370 (Column == column_mask ? "+):" : "):");
374 /// Whether the Location is Null
377 get { return token == 0; }
383 if (token == 0 || index == 0)
386 SourceFile file = (SourceFile) source_list [index - 1];
391 int CheckpointIndex {
392 get { return (int) ((token & 0xFFFF0000) >> (line_delta_bits + column_bits)); }
399 return checkpoints [CheckpointIndex].LineOffset + ((token & line_delta_mask) >> column_bits);
407 int col = (int) (token & column_mask);
408 return col == 255 ? 1 : col;
414 return (int) (token & column_mask) == 255;
418 public int CompilationUnitIndex {
422 if (checkpoints.Length <= CheckpointIndex) throw new Exception (String.Format ("Should not happen. Token is {0:X04}, checkpoints are {1}, index is {2}", token, checkpoints.Length, CheckpointIndex));
423 return checkpoints [CheckpointIndex].CompilationUnit;
431 if (checkpoints.Length <= CheckpointIndex) throw new Exception (String.Format ("Should not happen. Token is {0:X04}, checkpoints are {1}, index is {2}", token, checkpoints.Length, CheckpointIndex));
432 return checkpoints [CheckpointIndex].File;
436 // The ISymbolDocumentWriter interface is used by the symbol writer to
437 // describe a single source file - for each source file there's exactly
438 // one corresponding ISymbolDocumentWriter instance.
440 // This class has an internal hash table mapping source document names
441 // to such ISymbolDocumentWriter instances - so there's exactly one
442 // instance per document.
444 // This property returns the ISymbolDocumentWriter instance which belongs
445 // to the location's source file.
447 // If we don't have a symbol writer, this property is always null.
448 public SourceFile SourceFile {
453 return (SourceFile) source_list [index - 1];
457 public CompilationUnit CompilationUnit {
459 int index = CompilationUnitIndex;
462 return (CompilationUnit) source_list [index - 1];