public void Visit_OwnsActionWithPlayerType_LogsNoError() { // Arrange OwnsActionNode ownsActionNode = new OwnsActionNode(new PlayerTypeNode(DummySrcPos), new List <DeclarationNode>(), DummySrcPos); // Act Checker.Visit(ownsActionNode); // Assert Assert.IsTrue(ErrorLogger.Errors.Count == 0); }
public void Visit_OwnsActionWithNonPlayerType_LogsExpectedTypeError() { // Arrange OwnsActionNode ownsActionNode = new OwnsActionNode(new IntTypeNode(DummySrcPos), new List <DeclarationNode>(), DummySrcPos); // Act Checker.Visit(ownsActionNode); // Assert Assert.IsTrue(ErrorLogger.Errors.Count == 1 && ErrorLogger.Errors.First() is ExpectedTypeError); }