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
|
// Scilab ( http://www.scilab.org/ ) - This file is part of Scilab
// Copyright (C) 2002-2004 - INRIA - Vincent COUVERT
//
// This file must be used under the terms of the CeCILL.
// This source file is licensed as described in the file COPYING, which
// you should have received as part of this distribution. The terms
// are also available at
// http://www.cecill.info/licences/Licence_CeCILL_V2.1-en.txt
function [sci_expr]=expression2sci(mtlb_expr,lhslist)
// M2SCI function
// Global variable for M2SCI
global("varslist")
// When lhslist is given, then expression2sci is called from equal2sci
// else it is called from an other function (clause2sci for example)
rhs=argn(2);
// If not given, lhslist is initialized with no name lhs
if rhs==1 then
if typeof(mtlb_expr)=="funcall" then
lhsnb=mtlb_expr.lhsnb;
else
lhsnb=1;
end
lhslist=list();
for k=1:lhsnb
lhslist($+1)=Variable("ans",Infer());
end
end
select typeof(mtlb_expr)
// --- Expression is an 'operation' tlist ---
case "operation"
// Add inference fields to operation
mtlb_expr=Operation(mtlb_expr.operator,mtlb_expr.operands,lhslist)
// Translation
[sci_expr]=operation2sci(mtlb_expr)
// --- Expression is a 'funcall' tlist ---
case "funcall"
// Particular case if expression is a call to 'm2scideclare'
if mtlb_expr.name=="m2scideclare" then
sci_expr=list()
// varslist is updated with user defined data
sci_m2scideclare(mtlb_expr)
// Particular case if expression is a call to 'comment'
elseif mtlb_expr.name=="%comment" then
// Add inference fields to funcall
sci_expr=Funcall(mtlb_expr.name,mtlb_expr.lhsnb,mtlb_expr.rhs,lhslist)
// All other 'funcall' expressions
else
// Add inference fields to funcall
mtlb_expr=Funcall(mtlb_expr.name,mtlb_expr.lhsnb,mtlb_expr.rhs,lhslist)
// Translation
[sci_expr]=funcall2sci(mtlb_expr)
end
// --- Expression is a 'cste' tlist ---
case "cste"
// Convert expression
sci_expr=Cste(mtlb_expr.value)
// --- Expression is a 'variable' tlist ---
case "variable"
[bval,index]=isdefinedvar(mtlb_expr)
// Variable already exists
if bval then
sci_expr=Variable(varslist(index).sciname,varslist(index).infer)
// Variable is unknown
else
// Try to find what is this variable
[sci_expr]=getvar2sci(mtlb_expr,lhslist)
if typeof(sci_expr)=="funcall" then
if typeof(lhslist(1))=="variable" & sci_expr.name==lhslist(1).name then // Used for commands such as keyboard, cputime...
// keyboard in an M-file is represented in tree by an equal with lhs=keyboard and expression=keyboard
sci_expr.lhs(1).name="ans"
elseif typeof(lhslist(1))=="variable" & mtlb_expr.name==lhslist(1).name then // When command converted by mtlb(cmd_name)
sci_expr.lhs(1).name="ans"
end
if sci_expr.name<>"mtlb" then
[sci_expr]=funcall2sci(sci_expr)
end
end
end
// --- operand is a list (only for operations) ---
case "list"
if lstsize(mtlb_expr)==1 & mtlb_expr==list("EOL") then
sci_expr=mtlb_expr
return
end
for k=1:size(mtlb_expr)
if typeof(mtlb_expr(k))=="cste" then
mtlb_expr(k)=Cste(mtlb_expr(k).value)
elseif typeof(mtlb_expr(k))=="variable" then
[isvar,index]=isdefinedvar(mtlb_expr(k))
if isvar then
mtlb_expr(k)=Variable(mtlb_expr(k).name,varslist(index).infer)
else
mtlb_expr(k)=Variable(mtlb_expr(k).name,Infer())
end
elseif typeof(mtlb_expr(k))=="list" then
[mtlb_expr(k)]=expression2sci(mtlb_expr(k),lhslist)
elseif typeof(mtlb_expr(k))=="operation" then
[mtlb_expr(k)]=expression2sci(mtlb_expr(k),lhslist)
elseif typeof(mtlb_expr(k))=="funcall" then
[mtlb_expr(k)]=expression2sci(mtlb_expr(k),lhslist)
else
error(msprintf(gettext("recursive extraction with one index of type %s is not yet implemented."),typeof(mtlb_expr(k))))
end
end
sci_expr=mtlb_expr
// --- operand is a comment ---
case "comment"
sci_expr=mtlb_expr
// --- Expression is a not tolerated tlist ---
else
error(msprintf(gettext("%s is not yet implemented."),typeof(mtlb_expr)))
end
// Verify if flag for translation improvements has to be set
if typeof(sci_expr)=="funcall" then
if part(sci_expr.name,1:4)=="mtlb" then
m2sci_infos(1)=%t // level 1 = improvements
end
end
endfunction
|
