public void General_Positive()
{
string filePath = Path.GetDirectoryName(Assembly.GetExecutingAssembly().Location);
filePath += "../../../../Circuits/Circuit1_FullAdder.txt";
Validator.InternalCircuitNamesForTests = new string[] {
"INPUT_HIGH", "INPUT_LOW", "PROBE", "NAND", "OR", "AND", "NOT"
};
CircuitParser parser = CircuitParser.GetParser();
(bool success, string fileName, string error)result = parser.AddFile(filePath);
Assert.AreEqual(true, result.success);
int nodeCount = 0;
foreach (var nodeString in parser.GetNodeString(result.fileName))
{
nodeCount++;
}
Assert.AreEqual(16, nodeCount);
int connectionCount = 0;
foreach (var connectionString in parser.GetConnectionString(result.fileName))
{
connectionCount++;
}
Assert.AreEqual(14, connectionCount);
}
public void TestMethod1()
{
var parser = new CircuitParser();
var hallo = parser.ParseLine("A0: INPUT_HIGH ;");
Assert.IsTrue(hallo.HasValue);
}
public static (bool success, Circuit circuit, string error) GetFromFile(string filePath)
{
CircuitParser parser = CircuitParser.GetParser();
(bool success, string fileName, string error)result = parser.AddFile(filePath);
if (result.success)
{
string fileName = result.fileName;
CircuitBuilder circuitBuilder = new CircuitBuilder();
circuitBuilder.SetName(fileName);
foreach (var nodeString in parser.GetNodeString(fileName))
{
circuitBuilder.AddNode(nodeString.name, nodeString.type);
}
foreach (var connectionString in parser.GetConnectionString(fileName))
{
foreach (string outputNode in connectionString.outputs)
{
circuitBuilder.AddConnection(connectionString.input, outputNode);
}
}
circuits[fileName] = circuitBuilder.GetCircuit();
return(true, circuits[fileName], "");
}
else
{
return(false, null, result.error);
}
}
public void TestCircuitParserException()
{
var parser = new CircuitParser();
Assert.ThrowsException <CircuitParserException>(() =>
{
var hallo = parser.Parse(@"#A0:INPUT_HIGH;
# hallo
A :: INPUT_HIGH ;
B : INPUT_LOW ;
OUT : PROBE ;" );
});
}
public void TestMethod2()
{
var parser = new CircuitParser();
var hallo = parser.Parse(@"#A0:INPUT_HIGH;
# hallo
A : INPUT_HIGH ;
B : INPUT_LOW ;
OUT : PROBE ;
B : A ;
A : OUT ;" );
Assert.IsTrue(true);
}
public void NotConnected_Negative()
{
string filePath = Path.GetDirectoryName(Assembly.GetExecutingAssembly().Location);
filePath += "../../../../Circuits/Circuit5_NotConnected.txt";
Validator.InternalCircuitNamesForTests = new string[] {
"INPUT_HIGH", "INPUT_LOW", "PROBE", "NAND", "OR", "AND", "NOT"
};
CircuitParser parser = CircuitParser.GetParser();
(bool success, string fileName, string error)result = parser.AddFile(filePath);
Assert.AreEqual(false, result.success);
Assert.AreEqual("NODE2 has no outputs.", result.error);
}
public void InfiniteLoop_Negative()
{
string filePath = Path.GetDirectoryName(Assembly.GetExecutingAssembly().Location);
filePath += "../../../../Circuits/Circuit4_InfiniteLoop.txt";
Validator.InternalCircuitNamesForTests = new string[] {
"INPUT_HIGH", "INPUT_LOW", "PROBE", "NAND", "OR", "AND", "NOT"
};
CircuitParser parser = CircuitParser.GetParser();
(bool success, string fileName, string error)result = parser.AddFile(filePath);
Assert.AreEqual(false, result.success);
Assert.AreEqual("Node: 'S' leads to an infinite loop.", result.error);
}
