/
ssi_verify4_test_lang_all.pl
135 lines (100 loc) · 4.99 KB
/
ssi_verify4_test_lang_all.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
%:-include('../Languages/make_docs.pl').
%:-include('ssi_verify4.pl').
%:-include('ssi_verify4_types.pl').
%:-include('ssi_verify4_open.pl').
%:-include('ssi_verify4_open_types.pl').
%% ssi_test_all00("en",off,NTotal,Score).
%% ssi_test_all0(test,4,"en",off,A,B).
%% ssi_test_all01(test,_,"en",off,1,Passed).
ssi_test_all00(Lang,Debug,NTotal,Score) :-
retractall(lang(_)),
assertz(lang(Lang)),
ssi_test_all0(test,4,Lang,Debug,NT1,S1),
writeln0([ssi_verify4,S1,/,NT1,passed]),
writeln0(""), writeln0(""),
ssi_test_all0(test_types_cases,6,Lang,Debug,NT2,S2),
writeln0([ssi_verify4_types,S2,/,NT2,passed]),
writeln0(""), writeln0(""),
ssi_test_all0(testopen_cases,3,Lang,Debug,NT3,S3),
writeln0([ssi_verify4_open,S3,/,NT3,passed]),
writeln0(""), writeln0(""),
ssi_test_all0(test_open_types_cases,5,Lang,Debug,NT4,S4),
writeln0([ssi_verify4_open_types,S4,/,NT4,passed]),
writeln0(""), writeln0(""),
NTotal is NT1+NT2+NT3+NT4,
Score is S1+S2+S3+S4.
ssi_test_all0(Test,Arity,Lang,Debug,NTotal,Score) :-
functor(Test2,Test,Arity),
findall(Test2,(Test2),B),length(B,NTotal1),
ssi_test_all0(Test,Arity,Lang,Debug,0,NTotal,0,Score,NTotal1),!.
ssi_test_all0(_Test,_Arity,_Lang,_Debug,NTotal,NTotal,Score,Score,NTotal) :-
%NTotal=105,
!.
ssi_test_all0(Test,Arity,Lang,Debug,NTotal1,NTotal2,Score1,Score2,NTotal4) :-
NTotal3 is NTotal1+1,
ssi_test_all000(Test,Debug,NTotal3,Score1,Score3,Lang),
writeln0(""),
ssi_test_all0(Test,Arity,Lang,Debug,NTotal3,NTotal2,Score3,Score2,NTotal4),!.
%% ssi_test_all01 individual cases, Debug=trace=on or off, N=case number, Passed=output=result
%% ssi_test_all01(test, 4,"en2",off,1,Passed).
%% ssi_test_all01(test_types_cases,6,"en2",off,1,Passed).
%% ssi_test_all01(testopen_cases, 3,"en2",off,1,Passed).
%% ssi_test_all01(test_open_types, 5,"en2",off,1,Passed).
ssi_test_all01(Test,_Arity,Lang,Debug,NTotal3,Passed) :-
ssi_test_all000(Test,Debug,NTotal3,0,Passed1,Lang),
(Passed1=1->Passed=passed;Passed=failed),
/**
((international_lucianpl([lang,"en"],Debug,Query,Functions,Result1),%%writeln(Result1),
Result=Result1
)->(Passed=passed,writeln([ssi_test_all0,N,passed]));(Passed=failed,writeln([ssi_test_all0,N,failed]))),
**/
!.
ssi_test_all000(test,Debug,NTotal3,Score1,Score3,Lang) :-
test(NTotal3,Query,Functions,Result),
trans_alg(Query,"en",Lang,Query1),
trans_alg(Functions,"en",Lang,Functions1),
(Debug=on->writeln1(Functions);true),
(Debug=on->writeln1(Functions1);true),
trans_alg(Result,"en",Lang,Result1),
((
catch(call_with_time_limit(800,international_lucianpl([lang,Lang],Debug,Query1,Functions1,Result1)),_,false) %,writeln1(Result2)
)
->(Score3 is Score1+1,writeln0([ssi_test,NTotal3,passed]));(Score3=Score1,writeln0([ssi_test,NTotal3,failed]))).
ssi_test_all000(test_types_cases,Debug,NTotal3,Score1,Score3,Lang) :-
test_types_cases(NTotal3,Query,Types,Modes,Functions,Result),
trans_alg(Query,"en",Lang,Query1),
retractall(lang(_)),
assertz(lang("en")),
%/*
findall([F1|Types00],(member([F1|Types003],Types),
expand_types1(Types003,[],Types00)),Types004),
%Types004=[[[n, find_record], [[t, brackets], [[[t, list], [[t, number], [t, string]]], [t, number], [t, string]]]]],
trans_alg(Types004,"en",Lang,Types005),%,expand_types1(Types002,[],Types003),simplify_types(Types003,[],Types00)
%),Types1),
%simplify_types(Types01,[],Types1),%findall
findall([F|Types100],(member([F|Types101],Types005),
%retractall(lang(_)),
%assertz(lang("en")),
simplify_types(Types101,[],Types100)),Types1),
%*/
%trans_alg(Types,"en",Lang,Types1),
trans_alg(Modes,"en",Lang,Modes1),
trans_alg(Functions,"en",Lang,Functions1),
(Debug=on->writeln1(Functions1);true),
trans_alg(Result,"en",Lang,Result1),
(catch(call_with_time_limit(800,international_lucianpl([lang,Lang],Debug,Query1,Types1,Modes1,Functions1,Result1)),_,false) %,writeln1(Result2)
->(Score3 is Score1+1,writeln0([ssi_test_types,NTotal3,passed]));(Score3=Score1,writeln0([ssi_test_types,NTotal3,failed]))).
ssi_test_all000(testopen_cases,Debug,NTotal3,Score1,Score3,Lang) :-
testopen_cases(NTotal3,Query,Functions),
trans_alg(Query,"en",Lang,Query1),
trans_alg(Functions,"en",Lang,Functions1),
(Debug=on->writeln1(Functions1);true),
((international_lucianpl([lang,Lang],Debug,Query1,Functions1,Result),not(Result=[]))->(Score3 is Score1+1,writeln0([ssi_testopen,NTotal3,result,Result]),writeln0([ssi_test,NTotal3,passed]));(Score3=Score1,writeln0([ssi_testopen,NTotal3,failed]))).
ssi_test_all000(test_open_types_cases,Debug,NTotal3,Score1,Score3,Lang) :-
test_open_types_cases(NTotal3,Query,Types,Modes,Functions),
trans_alg(Query,"en",Lang,Query1),
trans_alg(Types,"en",Lang,Types1),
trans_alg(Modes,"en",Lang,Modes1),
trans_alg(Functions,"en",Lang,Functions1),
(Debug=on->writeln1(Functions1);true),
((international_lucianpl([lang,Lang],Debug,Query1,Types1,Modes1,Functions1,Result),not(Result=[]))->(Score3 is Score1+1,writeln0([ssi_test_open_types,NTotal3,result,Result]),writeln0([ssi_test_open_types,NTotal3,passed]));(Score3=Score1,writeln0([ssi_test_open_types,NTotal3,failed]))).