public void Refuse_If_AST_Has_Errors_Reported() { NotificationManager manager = new NotificationManager(); Assert.IsTrue(manager.GetNotifications().Count == 0); manager.AddNotification(new DummyError()); var x = MainTypeChecker.GetTypeCheckDiagnosis(new ASTResult(null, manager)); Assert.IsTrue(x.NotificationManager.GetNotifications().Count == manager.GetNotifications().Count); }
/// <summary> /// The main entry point of the application /// </summary> public MainWindow() { InitializeComponent(); ASTResult ast = new ASTBuilder().BuildAST(ConfigurationManager.AppSettings["inputFile"]); ast = MainTypeChecker.GetTypeCheckDiagnosis(ast); controller = new MainController(this, ast); controller.CreateMainUIBody(); }