[PCompiler] Remove test cases from imported projects (#702)

* [PCompiler] Removes test cases from imported projects

Adds logic to filter out all test cases from imported projects, to only retain test cases from the main project

* Minor: improve comment

* [PCompiler] Addresses suggestions from #702

Src/PCompiler/CompilerCore/Backend/CSharp/CompilationContext.cs

@@ -12,7 +12,6 @@ public CompilationContext(ICompilerConfiguration job)
             Names = new CSharpNameManager("PGEN_");
 
             FileName = $"{ProjectName}.cs";
-            ProjectDependencies = job.ProjectDependencies.Count == 0 ? new List<string>() { ProjectName } : job.ProjectDependencies;
             GlobalFunctionClassName = "GlobalFunctions";
         }
 
@@ -24,8 +23,6 @@ public CompilationContext(ICompilerConfiguration job)
 
         public string FileName { get; }
 
-        public IList<string> ProjectDependencies { get; }
-
         public string GetStaticMethodQualifiedName(Function function)
         {
             return $"{GlobalFunctionClassName}.{Names.GetNameForDecl(function)}";

Src/PCompiler/CompilerCore/Backend/Java/CompilationContext.cs

@@ -11,7 +11,6 @@ public CompilationContext(ICompilerConfiguration job)
             Types = new TypeManager(Names);
 
             FileName = $"{ProjectName}.java";
-            ProjectDependencies = job.ProjectDependencies.Count == 0 ? new List<string>() { ProjectName } : job.ProjectDependencies;
         }
 
         public NameManager Names { get; }
@@ -21,7 +20,5 @@ public CompilationContext(ICompilerConfiguration job)
 
         public string FileName { get; }
 
-        public IList<string> ProjectDependencies { get; }
-
     }
 }

Src/PCompiler/CompilerCore/TypeChecker/Analyzer.cs

@@ -161,7 +161,7 @@ private static void ApplyPropagations<T>(IEnumerable<Function> functions, params
 
         private static Scope BuildGlobalScope(ICompilerConfiguration config, PParser.ProgramContext[] programUnits)
         {
-            var globalScope = Scope.CreateGlobalScope(config.Handler);
+            var globalScope = Scope.CreateGlobalScope(config);
             var nodesToDeclarations = new ParseTreeProperty<IPDecl>();
 
             // Add built-in events to the table.

Src/PCompiler/CompilerCore/TypeChecker/DeclarationStubVisitor.cs

@@ -211,8 +211,11 @@ public override object VisitSafetyTestDecl([NotNull] PParser.SafetyTestDeclConte
         {
             var symbolName = context.testName.GetText();
             var decl = CurrentScope.Put(symbolName, context);
-            decl.Main = context.mainMachine?.GetText();
-            nodesToDeclarations.Put(context, decl);
+            if (decl != null)
+            {
+                decl.Main = context.mainMachine?.GetText();
+                nodesToDeclarations.Put(context, decl);
+            }
             return null;
         }
 

Src/PCompiler/CompilerCore/TypeChecker/Scope.cs

@@ -20,7 +20,7 @@ public class Scope
         private readonly IDictionary<string, PEvent> events = new Dictionary<string, PEvent>();
         private readonly IDictionary<string, NamedEventSet> eventSets = new Dictionary<string, NamedEventSet>();
         private readonly IDictionary<string, Function> functions = new Dictionary<string, Function>();
-        private readonly ITranslationErrorHandler handler;
+        private readonly ICompilerConfiguration config;
         private readonly IDictionary<string, Implementation> implementations = new Dictionary<string, Implementation>();
         private readonly IDictionary<string, Interface> interfaces = new Dictionary<string, Interface>();
         private readonly IDictionary<string, Machine> machines = new Dictionary<string, Machine>();
@@ -32,9 +32,9 @@ public class Scope
         private readonly IDictionary<string, TypeDef> typedefs = new Dictionary<string, TypeDef>();
         private readonly IDictionary<string, Variable> variables = new Dictionary<string, Variable>();
 
-        private Scope(ITranslationErrorHandler handler, Scope parent = null)
+        private Scope(ICompilerConfiguration config, Scope parent = null)
         {
-            this.handler = handler;
+            this.config = config;
             parent?.children.Remove(this);
             Parent = parent;
             parent?.children.Add(this);
@@ -80,14 +80,14 @@ private Scope(ITranslationErrorHandler handler, Scope parent = null)
         public IEnumerable<Implementation> Implementations => implementations.Values;
         public IEnumerable<NamedModule> NamedModules => namedModules.Values;
 
-        public static Scope CreateGlobalScope(ITranslationErrorHandler handler)
+        public static Scope CreateGlobalScope(ICompilerConfiguration config)
         {
-            return new Scope(handler);
+            return new Scope(config);
         }
 
         public Scope MakeChildScope()
         {
-            return new Scope(handler, this);
+            return new Scope(config, this);
         }
 
         public IEnumerable<Function> GetAllMethods()
@@ -599,6 +599,16 @@ public Implementation Put(string name, PParser.ImplementationDeclContext tree)
 
         public SafetyTest Put(string name, PParser.SafetyTestDeclContext tree)
         {
+            // check if test is from an imported project, if so, return null
+            string filePath = config.LocationResolver.GetLocation(tree).File.FullName;
+            foreach (var dependencyPath in config.ProjectDependencies)
+            {
+                if (filePath.StartsWith(dependencyPath))
+                {
+                    return null; 
+                }
+            }
+
             var safetyTest = new SafetyTest(tree, name);
             CheckConflicts(safetyTest,
                 Namespace(implementations),
@@ -631,7 +641,7 @@ private void CheckConflicts(IPDecl decl, params TableReader[] namespaces)
             IPDecl existingDecl = null;
             if (namespaces.Any(table => table(decl.Name, out existingDecl)))
             {
-                throw handler.DuplicateDeclaration(decl.SourceLocation, decl, existingDecl);
+                throw config.Handler.DuplicateDeclaration(decl.SourceLocation, decl, existingDecl);
             }
         }
 

Src/PCompiler/PCommandLine/Parser/ParsePProjectFile.cs

@@ -115,7 +115,6 @@ public void ParseProjectFileForChecker(string projectFile, CheckerConfiguration
             var projectDependencies = new HashSet<string>(preProjectDependencies);
             var inputFiles = new HashSet<string>(preInputFiles);
             var projectXml = XElement.Load(projectFilePath.FullName);
-            projectDependencies.Add(GetProjectName(projectFilePath));
             // add all input files from the current project
             inputFiles.UnionWith(ReadAllInputFiles(projectFilePath));
 
@@ -129,7 +128,9 @@ public void ParseProjectFileForChecker(string projectFile, CheckerConfiguration
 
                 CommandLineOutput.WriteInfo($"==== Loading project file: {fullProjectDepenPathName.FullName}");
 
-                if (projectDependencies.Contains(GetProjectName(fullProjectDepenPathName))) continue;
+                if (projectDependencies.Contains(fullProjectDepenPathName.DirectoryName)) continue;
+                // add path of imported project as project dependency
+                projectDependencies.Add(fullProjectDepenPathName.DirectoryName);
                 var inputsAndDependencies = GetAllProjectDependencies(fullProjectDepenPathName, inputFiles, projectDependencies);
                 projectDependencies.UnionWith(inputsAndDependencies.projectDependencies);
                 inputFiles.UnionWith(inputsAndDependencies.inputFiles);