From fd2c309f9d2ef6f5dbf9bc946b5aeb5693b9e416 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Sun, 22 Nov 2009 22:54:17 -0500
Subject: [PATCH] Type member support, linearization instead of parents and add
 inherited members for structure

---
 interface/definition                                | 4 +++-
 interface/src/main/java/xsbti/AnalysisCallback.java | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/interface/definition b/interface/definition
index 1ce6fe02a..5269e50f7 100644
--- a/interface/definition
+++ b/interface/definition
@@ -26,8 +26,8 @@ Definition
 			TypeAlias
 				tpe: Type
 			TypeDeclaration
-				upperBound: Type
 				lowerBound: Type
+				upperBound: Type
 
 Type
 	SimpleType
@@ -48,6 +48,7 @@ Type
 	Structure
 		parents : Type*
 		declarations: Definition*
+		inherited: Definition*
 	Existential
 		baseType : Type
 		clause: TypeParameter*
@@ -74,6 +75,7 @@ Modifiers
 	isSealed: Boolean
 	isImplicit: Boolean
 	isLazy: Boolean
+	isSynthetic: Boolean
 
 ParameterList
 	parameters: MethodParameter*
diff --git a/interface/src/main/java/xsbti/AnalysisCallback.java b/interface/src/main/java/xsbti/AnalysisCallback.java
index 4c7bb8689..2372a408b 100644
--- a/interface/src/main/java/xsbti/AnalysisCallback.java
+++ b/interface/src/main/java/xsbti/AnalysisCallback.java
@@ -34,6 +34,6 @@ public interface AnalysisCallback
 	public void endSource(File sourcePath);
 	/** Called when a module with a public 'main' method with the right signature is found.*/
 	public void foundApplication(File source, String className);
-
+	/** Called when the public API of a source file is extracted. */
 	public void api(File sourceFile, xsbti.api.Source source);
 }
\ No newline at end of file