public void TestGenerateModel1()
{
string model01 = string.Empty;
string model02 = "par int : size;\n";
string model03 = "par int : size;\npar array [ par 1 .. size , par 1 .. size ] of par int : d;\n";
ZincModel zm = new ZincModel ();
Assert.AreEqual (model01, zm.WriteString ());
ZincIdent size = new ZincIdent ("size");
zm.AddItem (new ZincVarDeclItem (new ZincTypeInstExprAndIdent (new ZincTypeInstBaseExpression (new ZincScalarType (ZincScalar.Int)), size)));
Assert.AreEqual (model02, zm.WriteString ());
ZincTypeInstBaseExpression range = new ZincTypeInstBaseExpression (new ZincTypeInstRangeExpression (new ZincIntLiteral (1), size));
ZincIdent d = new ZincIdent ("d");
zm.AddItem (new ZincVarDeclItem (new ZincTypeInstExprAndIdent (new ZincTypeInstBaseExpression (new ZincTypeInstArrayExpression (new ZincTypeInstBaseExpression (new ZincScalarType (ZincScalar.Int)), range, range)), d)));
Assert.AreEqual (model03, zm.WriteString ());
}
public void TestGenerateModel2()
{
string model1 = string.Empty;
string model2 = "include \"aninclude\";\n";
ZincModel zm = new ZincModel ();
Assert.AreEqual (model1, zm.WriteString ());
zm.AddItem (new ZincIncludeItem ("aninclude"));
Assert.AreEqual (model2, zm.WriteString ());
}