Ejemplo n.º 1
0
 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 ());
 }
Ejemplo n.º 2
0
 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 ());
 }