Added sanity checks for local types, so a non-local interface can't have an

    operation with local parameters, etc.

1 files changed, 8 insertions, 1 deletions

diff --git a/cpp/include/Slice/Parser.h b/cpp/include/Slice/Parser.h
index a4ef6fbce6e..aec3c2e934b 100644
--- a/cpp/include/Slice/Parser.h
+++ b/cpp/include/Slice/Parser.h
@@ -213,6 +213,8 @@ class SLICE_API Type : virtual public SyntaxTreeBase
 {
 public:
 
+    virtual bool isLocal() const = 0;
+
 protected:
 
     Type(const UnitPtr&);
@@ -240,6 +242,9 @@ public:
 	KindObjectProxy,
 	KindLocalObject
     };
+
+    virtual bool isLocal() const;
+
     Kind kind() const;
     std::string kindAsString() const;
 
@@ -420,7 +425,7 @@ public:
     virtual std::string kindOf() const;
     virtual void recDependencies(std::set<ConstructedPtr>&); // Internal operation, don't use directly.
 
-    static void checkBasesAreLegal(const std::string&, const ClassList&, const UnitPtr&);
+    static void checkBasesAreLegal(const std::string&, bool, const ClassList&, const UnitPtr&);
 
 protected:
 
@@ -496,6 +501,8 @@ class SLICE_API Proxy : virtual public Type
 {
 public:
 
+    virtual bool isLocal() const;
+
     ClassDeclPtr _class() const;
 
     Proxy(const ClassDeclPtr&);