source: tol/tol_pkg/GraphTools/test/test_0001/test.tol @ cf0e0df

1941-docker-image-to-testdevel
Last change on this file since cf0e0df was cf0e0df, checked in by Víctor de Buen <vdebuen@…>, 17 years ago

git-svn-id: ​https://www.tol-project.org/svn/tolp/trunk@1699 be4846ae-f051-483a-831f-b64e7d08527f

  • Property mode set to 100644
File size: 2.6 KB
Line 
1/* -*- mode: C++ -*- */
2//////////////////////////////////////////////////////////////////////////////
3// FILE   : test.tol
4//////////////////////////////////////////////////////////////////////////////
5Text email_ = "vdebuen@tol-project.org";
6Text link_ = "";
7Text summary_ = "checking a simple graph";
8
9//Write here the initial test TOL code if needed
10Real numErr0 = Copy(NError);
11Real numWar0 = Copy(NWarning);
12
13Real rndSeed = 0;
14Real removeRepeatedEdges = True;
15
16#Require GraphTools;
17#Embed "../define.random.graph.tol";
18
19Set vertex.names_ = graph::get.vertex.names(?);
20
21Real ok.1 = Card(vertex.names)==Card(vertex.names_);
22
23Real vertex.idx = IntRand(1,vertex.num);
24
25Text vertex.name_ = graph::get.vertex.name(vertex.idx);
26Real ok.2 = vertex.name_==vertex.names[vertex.idx];
27
28Real edge.idx =
29{
30  Real aux = IntRand(1,edge.num);
31  Set  info = graph::get.edge.features(aux);
32  graph::get.edge.index(info[1], info[2])
33};
34
35Set edge.info = graph::get.edge.features(edge.idx);
36Real edge.idx.1 = graph::get.edge.index(edge.info[1], edge.info[2]);
37Real edge.idx.2 = graph::get.edge.index(edge.info[2], edge.info[1]);
38
39WriteLn("edge.idx = "<<edge.idx);
40WriteLn("edge.idx.1 = "<<edge.idx.1);
41WriteLn("edge.idx.2 = "<<edge.idx.2);
42
43Real ok.3_ = edge.idx.1==edge.idx;
44Real ok.4_ = edge.idx.2==edge.idx;
45
46Real ok.3 = ?;
47Real ok.4 = ?;
48
49Real If(directed,
50{
51   Real ok.3 := ok.3_ | ok.4_;
52   Real ok.4 := ok.3_ | ok.4_
53},
54{
55   Real ok.3 := ok.3_;
56   Real ok.4 := ok.3_
57});
58
59Real high = MatDat(data,edge.idx,4);
60Real high.1 = graph::get.edge.feature(edge.idx,4);
61Real high.2 = graph::get.edge.feature(edge.idx,"Hight");
62Real ok.5 = Eq(high,high.1,high.2);
63
64Set {
65  Real OSFilRemove("graph.oza");
66  Real t1 := Copy(Time);
67  WriteLn("Creating time "<<(t1-t0)+" seconds");
68  Real Ois.Store([[graph]],"graph.oza");
69  Real t2 = Copy(Time);
70  WriteLn("Saving OIS time "<<(t2-t1)+" seconds");
71  Set load = { Include("graph.oza") };
72  Real t3 = Copy(Time);
73  WriteLn("Loading OIS time "<<(t3-t2)+" seconds");
74  load
75};
76
77
78Real numErr1 = Copy(NError);
79Real numWar1 = Copy(NWarning);
80
81Set partialResults_ = [[numErr0, numErr1,
82                        ok.1, ok.2, ok.3, ok.4, ok.5]];
83
84//This is a messure of the success of the test
85Real quality_ = And(numErr1 == numErr0,
86                    numWar1 <= numWar0+1,
87                    ok.1, ok.2, ok.3, ok.4, ok.5);
88
89//Return the results
90Set resultStr_ = @strTestStatus(summary_, link_, quality_,
91                  "Partial results = "<<partialResults_,
92                  "NO DBServerType", "NO DBServerHost", "NO DBAlias",
93                  email_);
94WriteLn(""<<resultStr_);
95resultStr_
96
97/* */
98
Note: See TracBrowser for help on using the repository browser.