Fix jacob-carlborg#141: Improve type inference for macros, in particu…

…lar handle type arguments.
ciechowoj · Oct 19, 2017 · ea23fe9 · ea23fe9
1 parent 1cc7bcf
commit ea23fe9
Show file tree

Hide file tree

Showing 14 changed files with 1,100 additions and 395 deletions.
diff --git a/clang/Compiler.d b/clang/Compiler.d
@@ -77,3 +77,16 @@ private:
         return virtualPath_ = buildPath(root, uniform(1, 10_000_000).to!string);
     }
 }
+
+string[] internalIncludeFlags()
+{
+    import std.algorithm;
+    import std.array;
+
+    return Compiler.init.extraIncludePaths.map!(path => "-I" ~ path).array();
+}
+
+CXUnsavedFile[] internalHeaders()
+{
+    return Compiler.init.extraHeaders();
+}
diff --git a/dstep/translator/Context.d b/dstep/translator/Context.d
@@ -8,8 +8,9 @@ module dstep.translator.Context;
 
 import clang.c.Index;
 import clang.Cursor;
-import clang.TranslationUnit;
+import clang.Index;
 import clang.SourceRange;
+import clang.TranslationUnit;
 
 import dstep.translator.CommentIndex;
 import dstep.translator.IncludeHandler;
@@ -74,6 +75,19 @@ class Context
         source = translUnit.source;
     }
 
+    static Context fromString(string source, Options options = Options.init)
+    {
+        import clang.Compiler;
+
+        auto translationUnit = TranslationUnit.parseString(
+            Index(false, false),
+            source,
+            internalIncludeFlags(),
+            internalHeaders());
+
+        return new Context(translationUnit, options);
+    }
+
     public string getAnonymousName (Cursor cursor)
     {
         if (auto name = cursor in anonymousNames)