From 5f53b895096680ec637d25ee1f10fe2fb82c1eb4 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Fri, 26 Apr 2013 22:35:27 -0400
Subject: [PATCH] Record and persist public inheritance dependencies.

Includes placeholders for adding public inherited dependencies for Java classes.
---
 interface/src/main/java/xsbti/AnalysisCallback.java | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/interface/src/main/java/xsbti/AnalysisCallback.java b/interface/src/main/java/xsbti/AnalysisCallback.java
index c23b43ecd..d00f5b7ed 100644
--- a/interface/src/main/java/xsbti/AnalysisCallback.java
+++ b/interface/src/main/java/xsbti/AnalysisCallback.java
@@ -12,11 +12,15 @@ public interface AnalysisCallback
 	/** Called to indicate that the source file <code>source</code> depends on the source file
 	* <code>dependsOn</code>.  Note that only source files included in the current compilation will
 	* passed to this method.  Dependencies on classes generated by sources not in the current compilation will
-	* be passed as class dependencies to the classDependency method.*/
-	public void sourceDependency(File dependsOn, File source);
+	* be passed as class dependencies to the classDependency method.
+	* If <code>publicInherited</code> is true, this dependency is a result of inheritance by a
+	* template accessible outside of the source file. */
+	public void sourceDependency(File dependsOn, File source, boolean publicInherited);
 	/** Called to indicate that the source file <code>source</code> depends on the top-level
-	* class named <code>name</code> from class or jar file <code>binary</code>. */
-	public void binaryDependency(File binary, String name, File source);
+	* class named <code>name</code> from class or jar file <code>binary</code>.
+	* If <code>publicInherited</code> is true, this dependency is a result of inheritance by a
+	* template accessible outside of the source file. */
+	public void binaryDependency(File binary, String name, File source, boolean publicInherited);
 	/** Called to indicate that the source file <code>source</code> produces a class file at
 	* <code>module</code> contain class <code>name</code>.*/
 	public void generatedClass(File source, File module, String name);