public void UndeclaredVariableInOuterScope()
{
ProgramNode node = new ProgramNode();
Parser parser = PrepareFile(5, node);
parser.Parse();
ProgramTreeChecker checker = new ProgramTreeChecker(node);
int result = checker.CheckSemantics();
Assert.AreEqual((int)SemanticErrorCode.UndeclaredVariable, result);
}
public void CoveredInScope()
{
ProgramNode node = new ProgramNode();
Parser parser = PrepareFile(2, node);
parser.Parse();
ProgramTreeChecker checker = new ProgramTreeChecker(node);
int result = checker.CheckSemantics();
Assert.AreEqual(0, result);
}
public void IfWithInstruction()
{
ProgramNode node = new ProgramNode();
Parser parser = PrepareFile(7, node);
parser.Parse();
ProgramTreeChecker checker = new ProgramTreeChecker(node);
int result = checker.CheckSemantics();
Assert.AreEqual(0, result);
}
public void BrodkaExample()
{
ProgramNode node = new ProgramNode();
Parser parser = PrepareFile(1, node);
parser.Parse();
ProgramTreeChecker checker = new ProgramTreeChecker(node);
int result = checker.CheckSemantics();
Assert.AreEqual(0, result);
}
public void IllegalCast_IntToBool()
{
ProgramNode node = new ProgramNode();
Parser parser = PrepareFile(6, node);
parser.Parse();
ProgramTreeChecker checker = new ProgramTreeChecker(node);
int result = checker.CheckSemantics();
Assert.AreEqual((int)SemanticErrorCode.IllegalCast, result);
}
