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();
}
