1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/isac-java/src/java-tests/isac/gui/mawen/MockCalcTree.java Tue Nov 21 08:46:34 2017 +0100
1.3 @@ -0,0 +1,242 @@
1.4 +package isac.gui.mawen;
1.5 +
1.6 +import isac.gui.mawen.scalaterm.TestsDATA;
1.7 +import isac.gui.mawen.syntax.Syntax_Phases;
1.8 +import isac.util.formulae.CalcFormula;
1.9 +import isac.util.formulae.Formula;
1.10 +import isac.util.formulae.Position;
1.11 +
1.12 +import java.util.Vector;
1.13 +
1.14 +/*
1.15 + * a specific calculation ("example for reference")
1.16 + * for retrieval by <code>MockDialogIteratorSIMPLIFY</code>.
1.17 + */
1.18 +public class MockCalcTree {
1.19 +
1.20 + Vector<CalcFormula> calc_tree_ = new Vector<CalcFormula>();
1.21 +
1.22 + // uncomment one of the calculations below
1.23 + public MockCalcTree() {
1.24 + //buildTestTree();
1.25 + // buildEvalTreeScen1();
1.26 + // buildEvalTreeScen4();
1.27 + // buildEvalTreeScen5();
1.28 + buildEvalTreeEDITOR();
1.29 +
1.30 + }
1.31 +private void buildEvalTreeScen5() {
1.32 + Vector<Integer> p = new Vector<Integer>();
1.33 + Position pos = new Position(p, "Pbl");
1.34 + Formula form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.35 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_1()));
1.36 + calc_tree_.add(new CalcFormula(pos, form));
1.37 +
1.38 + // getFormulaeFromTo will need ([],Met):
1.39 + p = new Vector<Integer>();
1.40 + pos = new Position(p, "Met");
1.41 + form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.42 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_1()));
1.43 + calc_tree_.add(new CalcFormula(pos, form));
1.44 +
1.45 + //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
1.46 + //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
1.47 + p = new Vector<Integer>(); p.add(1);
1.48 + pos = new Position(p, "Frm");
1.49 + form = new Formula("1+((2*x*(y+3)+(((y+3)^2)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.50 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_2()));
1.51 + calc_tree_.add(new CalcFormula(pos, form));
1.52 +
1.53 + //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
1.54 + //<--ISA: "1 + (2 * x) / (4 * z) + 5"
1.55 + p = new Vector<Integer>(); p.add(1);
1.56 + pos = new Position(p, "Res");
1.57 + form = new Formula("1+(((2*x*(y+3))+(y+3))/(4*z*(y+3)))+(5::real)",
1.58 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_3()));
1.59 + calc_tree_.add(new CalcFormula(pos, form));
1.60 +
1.61 + //-->ISA: getFormulaeFromTo 1 ([1],Res) ([2],Res) 0 false;
1.62 + //<--ISA: "1 + x / (2 * z) + 5"
1.63 + p = new Vector<Integer>(); p.add(2);
1.64 + pos = new Position(p, "Res");
1.65 + form = new Formula("1+(((2*x+1)*(y+3))/(4*z*(y+3)))+(5::real)",
1.66 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_4()));
1.67 + calc_tree_.add(new CalcFormula(pos, form));
1.68 +
1.69 + //-->ISA: getFormulaeFromTo 1 ([2],Res) ([3],Res) 0 false;
1.70 + //<--ISA: "6 + x / (2 * z)"
1.71 + p = new Vector<Integer>(); p.add(3);
1.72 + pos = new Position(p, "Res");
1.73 + form = new Formula("1+((2*x+1)/(4*z))+(5::real)",
1.74 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_5()));
1.75 + calc_tree_.add(new CalcFormula(pos, form));
1.76 +
1.77 + p = new Vector<Integer>(); p.add(4);
1.78 + pos = new Position(p, "Res");
1.79 + form = new Formula("6+((2*x+1)/(4*(z::real)))",
1.80 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_6()));
1.81 + calc_tree_.add(new CalcFormula(pos, form));
1.82 + }
1.83 +
1.84 +@SuppressWarnings("unused") // used for mocking CalcTree
1.85 +private void buildEvalTreeScen4() {
1.86 + Vector<Integer> p = new Vector<>();
1.87 + Position pos = new Position(p, "Pbl");
1.88 + Formula form = new Formula("6+(((1+3*b)*(2+a))/(4*c*(2+(a::real))))",
1.89 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_1()));
1.90 + calc_tree_.add(new CalcFormula(pos, form));
1.91 +
1.92 + // getFormulaeFromTo will need ([],Met):
1.93 + p = new Vector<Integer>();
1.94 + pos = new Position(p, "Met");
1.95 + form = new Formula("6+(((1+3*b)*(2+a))/(4*c*(2+(a::real))))",
1.96 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_1()));
1.97 + calc_tree_.add(new CalcFormula(pos, form));
1.98 +
1.99 + //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
1.100 + //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
1.101 + p = new Vector<Integer>(); p.add(1);
1.102 + pos = new Position(p, "Frm");
1.103 + form = new Formula("6+(((((2+a)^2)/(2+a))+3*b*(2+a))/(4*c*(2+(a::real))))",
1.104 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_2()));
1.105 + calc_tree_.add(new CalcFormula(pos, form));
1.106 +
1.107 + //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
1.108 + //<--ISA: "1 + (2 * x) / (4 * z) + 5"
1.109 + p = new Vector<Integer>(); p.add(1);
1.110 + pos = new Position(p, "Res");
1.111 + form = new Formula("5+((((4+4*a+a^2)/(2+a))+3*b*(2+a))/((4*c*(2+a))))+(1::real)",
1.112 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_3()));
1.113 + calc_tree_.add(new CalcFormula(pos, form));
1.114 + }
1.115 +
1.116 +@SuppressWarnings("unused") // used for mocking CalcTree
1.117 +private void buildEvalTreeScen1() {
1.118 + Vector<Integer> p = new Vector<Integer>();
1.119 + Position pos = new Position(p, "Pbl");
1.120 + Formula form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.121 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_1()));
1.122 + calc_tree_.add(new CalcFormula(pos, form));
1.123 +
1.124 + // getFormulaeFromTo will need ([],Met):
1.125 + p = new Vector<Integer>();
1.126 + pos = new Position(p, "Met");
1.127 + form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.128 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_1()));
1.129 + calc_tree_.add(new CalcFormula(pos, form));
1.130 +
1.131 + //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
1.132 + //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
1.133 + p = new Vector<Integer>(); p.add(1);
1.134 + pos = new Position(p, "Frm");
1.135 + form = new Formula("1+((2*x*(y+3)+(((y+3)^2)/(y+3)))/(4*z*(y+3)))+(5::real)",
1.136 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_2()));
1.137 + calc_tree_.add(new CalcFormula(pos, form));
1.138 +
1.139 + //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
1.140 + //<--ISA: "1 + (2 * x) / (4 * z) + 5"
1.141 + p = new Vector<Integer>(); p.add(1);
1.142 + pos = new Position(p, "Res");
1.143 + form = new Formula("6+((2*(x+1)*(y+3))/(4*z*(y+(3::real))))",
1.144 +/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_3()));
1.145 + calc_tree_.add(new CalcFormula(pos, form));
1.146 + }
1.147 +
1.148 +private void buildEvalTreeEDITOR() {
1.149 + Vector<Integer> p = new Vector<Integer>();
1.150 + Position pos = new Position(p, "Pbl");
1.151 + Formula form = new Formula("xxx", TestsDATA.a_1() );
1.152 + calc_tree_.add(new CalcFormula(pos, form));
1.153 +
1.154 + // getFormulaeFromTo will need ([],Met):
1.155 + p = new Vector<Integer>();
1.156 + pos = new Position(p, "Met");
1.157 + form = new Formula("xxx",
1.158 +/*err*/TestsDATA.a_1());
1.159 + calc_tree_.add(new CalcFormula(pos, form));
1.160 +
1.161 +
1.162 + // getFormulaeFromTo will need ([],Met):
1.163 + p = new Vector<Integer>();
1.164 + p.add(1);
1.165 + pos = new Position(p, "Frm");
1.166 + form = new Formula("yyy",
1.167 +/*err*/TestsDATA.a_2());
1.168 + calc_tree_.add(new CalcFormula(pos, form));
1.169 +
1.170 + p = new Vector<Integer>();
1.171 + p.add(1);
1.172 + pos = new Position(p, "Res");
1.173 + form = new Formula("zzz",
1.174 +/*err*/TestsDATA.a_3());
1.175 + calc_tree_.add(new CalcFormula(pos, form));
1.176 +
1.177 +
1.178 +}
1.179 + /*
1.180 + * first example tree of <code>CalcFormula</code> for <code>TestWorksheetForMawen</code>
1.181 + */
1.182 + @SuppressWarnings("unused") // used for mocking CalcTree
1.183 +private void buildTestTree() {
1.184 + // INVARIANT ON THE SEQUENCE BELOW: pos.compareTo(next_pos) = -1
1.185 +
1.186 + //-->ISA: getFormulaeFromTo 1 ([],Pbl) ([],Pbl) 0 false;
1.187 + //<--ISA: "Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5)"
1.188 + Vector<Integer> p = new Vector<>();
1.189 + Position pos = new Position(p, "Pbl");
1.190 + Formula form = new Formula("Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real)",
1.191 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt1()));
1.192 + calc_tree_.add(new CalcFormula(pos, form));
1.193 +
1.194 + // getFormulaeFromTo will need ([],Met):
1.195 + p = new Vector<Integer>();
1.196 + pos = new Position(p, "Met");
1.197 + form = new Formula("Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real)",
1.198 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt1()));
1.199 + calc_tree_.add(new CalcFormula(pos, form));
1.200 +
1.201 + //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
1.202 + //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
1.203 + p = new Vector<Integer>(); p.add(1);
1.204 + pos = new Position(p, "Frm");
1.205 + form = new Formula("1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real",
1.206 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt3()));
1.207 + calc_tree_.add(new CalcFormula(pos, form));
1.208 +
1.209 + //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
1.210 + //<--ISA: "1 + (2 * x) / (4 * z) + 5"
1.211 + p = new Vector<Integer>(); p.add(1);
1.212 + pos = new Position(p, "Res");
1.213 + form = new Formula("1 + (2 * x) / (4 * z) + 5::real",
1.214 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt4()));
1.215 + calc_tree_.add(new CalcFormula(pos, form));
1.216 +
1.217 + //-->ISA: getFormulaeFromTo 1 ([1],Res) ([2],Res) 0 false;
1.218 + //<--ISA: "1 + x / (2 * z) + 5"
1.219 + p = new Vector<Integer>(); p.add(2);
1.220 + pos = new Position(p, "Res");
1.221 + form = new Formula("1 + x / (2 * z) + 5::real",
1.222 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt5()));
1.223 + calc_tree_.add(new CalcFormula(pos, form));
1.224 +
1.225 + //-->ISA: getFormulaeFromTo 1 ([2],Res) ([3],Res) 0 false;
1.226 + //<--ISA: "6 + x / (2 * z)"
1.227 + p = new Vector<Integer>(); p.add(3);
1.228 + pos = new Position(p, "Res");
1.229 + form = new Formula("6 + x / (2 * z::real)",
1.230 +/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt6()));
1.231 + calc_tree_.add(new CalcFormula(pos, form));
1.232 + }
1.233 +
1.234 + public Formula get(Position pos) {
1.235 + int i = 0;
1.236 + while (calc_tree_.elementAt(i).getPosition().compareTo(pos) != 0) {
1.237 + i = i + 1;
1.238 + }
1.239 + return calc_tree_.elementAt(i).getFormula();
1.240 + }
1.241 +
1.242 + public Vector<CalcFormula> getTree() {
1.243 + return calc_tree_;
1.244 + }
1.245 +}
2.1 --- a/isac-java/src/java-tests/isac/gui/mawen/MockCalcTreeSIMPLIFY.java Tue Nov 21 08:42:47 2017 +0100
2.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
2.3 @@ -1,242 +0,0 @@
2.4 -package isac.gui.mawen;
2.5 -
2.6 -import isac.gui.mawen.scalaterm.TestsDATA;
2.7 -import isac.gui.mawen.syntax.Syntax_Phases;
2.8 -import isac.util.formulae.CalcFormula;
2.9 -import isac.util.formulae.Formula;
2.10 -import isac.util.formulae.Position;
2.11 -
2.12 -import java.util.Vector;
2.13 -
2.14 -/*
2.15 - * a specific calculation ("example for reference")
2.16 - * for retrieval by <code>MockDialogIteratorSIMPLIFY</code>.
2.17 - */
2.18 -public class MockCalcTreeSIMPLIFY {
2.19 -
2.20 - Vector<CalcFormula> calc_tree_ = new Vector<CalcFormula>();
2.21 -
2.22 - // uncomment one of the calculations below
2.23 - public MockCalcTreeSIMPLIFY() {
2.24 - //buildTestTree();
2.25 - // buildEvalTreeScen1();
2.26 - // buildEvalTreeScen4();
2.27 - // buildEvalTreeScen5();
2.28 - buildEvalTreeEDITOR();
2.29 -
2.30 - }
2.31 -private void buildEvalTreeScen5() {
2.32 - Vector<Integer> p = new Vector<Integer>();
2.33 - Position pos = new Position(p, "Pbl");
2.34 - Formula form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.35 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_1()));
2.36 - calc_tree_.add(new CalcFormula(pos, form));
2.37 -
2.38 - // getFormulaeFromTo will need ([],Met):
2.39 - p = new Vector<Integer>();
2.40 - pos = new Position(p, "Met");
2.41 - form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.42 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_1()));
2.43 - calc_tree_.add(new CalcFormula(pos, form));
2.44 -
2.45 - //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
2.46 - //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
2.47 - p = new Vector<Integer>(); p.add(1);
2.48 - pos = new Position(p, "Frm");
2.49 - form = new Formula("1+((2*x*(y+3)+(((y+3)^2)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.50 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_2()));
2.51 - calc_tree_.add(new CalcFormula(pos, form));
2.52 -
2.53 - //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
2.54 - //<--ISA: "1 + (2 * x) / (4 * z) + 5"
2.55 - p = new Vector<Integer>(); p.add(1);
2.56 - pos = new Position(p, "Res");
2.57 - form = new Formula("1+(((2*x*(y+3))+(y+3))/(4*z*(y+3)))+(5::real)",
2.58 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_3()));
2.59 - calc_tree_.add(new CalcFormula(pos, form));
2.60 -
2.61 - //-->ISA: getFormulaeFromTo 1 ([1],Res) ([2],Res) 0 false;
2.62 - //<--ISA: "1 + x / (2 * z) + 5"
2.63 - p = new Vector<Integer>(); p.add(2);
2.64 - pos = new Position(p, "Res");
2.65 - form = new Formula("1+(((2*x+1)*(y+3))/(4*z*(y+3)))+(5::real)",
2.66 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_4()));
2.67 - calc_tree_.add(new CalcFormula(pos, form));
2.68 -
2.69 - //-->ISA: getFormulaeFromTo 1 ([2],Res) ([3],Res) 0 false;
2.70 - //<--ISA: "6 + x / (2 * z)"
2.71 - p = new Vector<Integer>(); p.add(3);
2.72 - pos = new Position(p, "Res");
2.73 - form = new Formula("1+((2*x+1)/(4*z))+(5::real)",
2.74 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_5()));
2.75 - calc_tree_.add(new CalcFormula(pos, form));
2.76 -
2.77 - p = new Vector<Integer>(); p.add(4);
2.78 - pos = new Position(p, "Res");
2.79 - form = new Formula("6+((2*x+1)/(4*(z::real)))",
2.80 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me5_6()));
2.81 - calc_tree_.add(new CalcFormula(pos, form));
2.82 - }
2.83 -
2.84 -@SuppressWarnings("unused") // used for mocking CalcTree
2.85 -private void buildEvalTreeScen4() {
2.86 - Vector<Integer> p = new Vector<>();
2.87 - Position pos = new Position(p, "Pbl");
2.88 - Formula form = new Formula("6+(((1+3*b)*(2+a))/(4*c*(2+(a::real))))",
2.89 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_1()));
2.90 - calc_tree_.add(new CalcFormula(pos, form));
2.91 -
2.92 - // getFormulaeFromTo will need ([],Met):
2.93 - p = new Vector<Integer>();
2.94 - pos = new Position(p, "Met");
2.95 - form = new Formula("6+(((1+3*b)*(2+a))/(4*c*(2+(a::real))))",
2.96 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_1()));
2.97 - calc_tree_.add(new CalcFormula(pos, form));
2.98 -
2.99 - //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
2.100 - //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
2.101 - p = new Vector<Integer>(); p.add(1);
2.102 - pos = new Position(p, "Frm");
2.103 - form = new Formula("6+(((((2+a)^2)/(2+a))+3*b*(2+a))/(4*c*(2+(a::real))))",
2.104 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_2()));
2.105 - calc_tree_.add(new CalcFormula(pos, form));
2.106 -
2.107 - //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
2.108 - //<--ISA: "1 + (2 * x) / (4 * z) + 5"
2.109 - p = new Vector<Integer>(); p.add(1);
2.110 - pos = new Position(p, "Res");
2.111 - form = new Formula("5+((((4+4*a+a^2)/(2+a))+3*b*(2+a))/((4*c*(2+a))))+(1::real)",
2.112 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me4_3()));
2.113 - calc_tree_.add(new CalcFormula(pos, form));
2.114 - }
2.115 -
2.116 -@SuppressWarnings("unused") // used for mocking CalcTree
2.117 -private void buildEvalTreeScen1() {
2.118 - Vector<Integer> p = new Vector<Integer>();
2.119 - Position pos = new Position(p, "Pbl");
2.120 - Formula form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.121 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_1()));
2.122 - calc_tree_.add(new CalcFormula(pos, form));
2.123 -
2.124 - // getFormulaeFromTo will need ([],Met):
2.125 - p = new Vector<Integer>();
2.126 - pos = new Position(p, "Met");
2.127 - form = new Formula("1+((2*x*(y+3)+((y^2+6*y+9)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.128 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_1()));
2.129 - calc_tree_.add(new CalcFormula(pos, form));
2.130 -
2.131 - //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
2.132 - //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
2.133 - p = new Vector<Integer>(); p.add(1);
2.134 - pos = new Position(p, "Frm");
2.135 - form = new Formula("1+((2*x*(y+3)+(((y+3)^2)/(y+3)))/(4*z*(y+3)))+(5::real)",
2.136 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_2()));
2.137 - calc_tree_.add(new CalcFormula(pos, form));
2.138 -
2.139 - //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
2.140 - //<--ISA: "1 + (2 * x) / (4 * z) + 5"
2.141 - p = new Vector<Integer>(); p.add(1);
2.142 - pos = new Position(p, "Res");
2.143 - form = new Formula("6+((2*(x+1)*(y+3))/(4*z*(y+(3::real))))",
2.144 -/*err*/Syntax_Phases.term_to_ast(TestsDATA.tt_me1_3()));
2.145 - calc_tree_.add(new CalcFormula(pos, form));
2.146 - }
2.147 -
2.148 -private void buildEvalTreeEDITOR() {
2.149 - Vector<Integer> p = new Vector<Integer>();
2.150 - Position pos = new Position(p, "Pbl");
2.151 - Formula form = new Formula("xxx", TestsDATA.a_1() );
2.152 - calc_tree_.add(new CalcFormula(pos, form));
2.153 -
2.154 - // getFormulaeFromTo will need ([],Met):
2.155 - p = new Vector<Integer>();
2.156 - pos = new Position(p, "Met");
2.157 - form = new Formula("xxx",
2.158 -/*err*/TestsDATA.a_1());
2.159 - calc_tree_.add(new CalcFormula(pos, form));
2.160 -
2.161 -
2.162 - // getFormulaeFromTo will need ([],Met):
2.163 - p = new Vector<Integer>();
2.164 - p.add(1);
2.165 - pos = new Position(p, "Frm");
2.166 - form = new Formula("yyy",
2.167 -/*err*/TestsDATA.a_2());
2.168 - calc_tree_.add(new CalcFormula(pos, form));
2.169 -
2.170 - p = new Vector<Integer>();
2.171 - p.add(1);
2.172 - pos = new Position(p, "Res");
2.173 - form = new Formula("zzz",
2.174 -/*err*/TestsDATA.a_3());
2.175 - calc_tree_.add(new CalcFormula(pos, form));
2.176 -
2.177 -
2.178 -}
2.179 - /*
2.180 - * first example tree of <code>CalcFormula</code> for <code>TestWorksheetForMawen</code>
2.181 - */
2.182 - @SuppressWarnings("unused") // used for mocking CalcTree
2.183 -private void buildTestTree() {
2.184 - // INVARIANT ON THE SEQUENCE BELOW: pos.compareTo(next_pos) = -1
2.185 -
2.186 - //-->ISA: getFormulaeFromTo 1 ([],Pbl) ([],Pbl) 0 false;
2.187 - //<--ISA: "Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5)"
2.188 - Vector<Integer> p = new Vector<>();
2.189 - Position pos = new Position(p, "Pbl");
2.190 - Formula form = new Formula("Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real)",
2.191 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt1()));
2.192 - calc_tree_.add(new CalcFormula(pos, form));
2.193 -
2.194 - // getFormulaeFromTo will need ([],Met):
2.195 - p = new Vector<Integer>();
2.196 - pos = new Position(p, "Met");
2.197 - form = new Formula("Simplify (1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real)",
2.198 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt1()));
2.199 - calc_tree_.add(new CalcFormula(pos, form));
2.200 -
2.201 - //-->ISA: getFormulaeFromTo 1 ([],Met) ([1],Frm) 0 false;
2.202 - //<--ISA: "1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5"
2.203 - p = new Vector<Integer>(); p.add(1);
2.204 - pos = new Position(p, "Frm");
2.205 - form = new Formula("1 + (2 * x * (y + 3)) / (4 * z * (y + 3)) + 5::real",
2.206 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt3()));
2.207 - calc_tree_.add(new CalcFormula(pos, form));
2.208 -
2.209 - //-->ISA: getFormulaeFromTo 1 ([1],Frm) ([1],Res) 0 false;
2.210 - //<--ISA: "1 + (2 * x) / (4 * z) + 5"
2.211 - p = new Vector<Integer>(); p.add(1);
2.212 - pos = new Position(p, "Res");
2.213 - form = new Formula("1 + (2 * x) / (4 * z) + 5::real",
2.214 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt4()));
2.215 - calc_tree_.add(new CalcFormula(pos, form));
2.216 -
2.217 - //-->ISA: getFormulaeFromTo 1 ([1],Res) ([2],Res) 0 false;
2.218 - //<--ISA: "1 + x / (2 * z) + 5"
2.219 - p = new Vector<Integer>(); p.add(2);
2.220 - pos = new Position(p, "Res");
2.221 - form = new Formula("1 + x / (2 * z) + 5::real",
2.222 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt5()));
2.223 - calc_tree_.add(new CalcFormula(pos, form));
2.224 -
2.225 - //-->ISA: getFormulaeFromTo 1 ([2],Res) ([3],Res) 0 false;
2.226 - //<--ISA: "6 + x / (2 * z)"
2.227 - p = new Vector<Integer>(); p.add(3);
2.228 - pos = new Position(p, "Res");
2.229 - form = new Formula("6 + x / (2 * z::real)",
2.230 -/*err*/ Syntax_Phases.term_to_ast(TestsDATA.tt6()));
2.231 - calc_tree_.add(new CalcFormula(pos, form));
2.232 - }
2.233 -
2.234 - public Formula get(Position pos) {
2.235 - int i = 0;
2.236 - while (calc_tree_.elementAt(i).getPosition().compareTo(pos) != 0) {
2.237 - i = i + 1;
2.238 - }
2.239 - return calc_tree_.elementAt(i).getFormula();
2.240 - }
2.241 -
2.242 - public Vector<CalcFormula> getTree() {
2.243 - return calc_tree_;
2.244 - }
2.245 -}
3.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
3.2 +++ b/isac-java/src/java-tests/isac/gui/mawen/MockDialogIterator.java Tue Nov 21 08:46:34 2017 +0100
3.3 @@ -0,0 +1,265 @@
3.4 +package isac.gui.mawen;
3.5 +
3.6 +import java.rmi.RemoteException;
3.7 +import java.util.Vector;
3.8 +
3.9 +import isac.interfaces.ICalcElement;
3.10 +import isac.interfaces.ICalcIterator;
3.11 +import isac.util.formulae.Assumptions;
3.12 +import isac.util.formulae.CalcFormula;
3.13 +import isac.util.formulae.CalcHead;
3.14 +import isac.util.formulae.Context;
3.15 +import isac.util.formulae.ContextMethod;
3.16 +import isac.util.formulae.ContextProblem;
3.17 +import isac.util.formulae.ContextTheory;
3.18 +import isac.util.formulae.Formula;
3.19 +import isac.util.formulae.Match;
3.20 +import isac.util.formulae.MethodID;
3.21 +import isac.util.formulae.Position;
3.22 +import isac.util.formulae.ProblemID;
3.23 +import isac.util.tactics.Tactic;
3.24 +import isac.wsdialog.IContextProvider.ContextType;
3.25 +
3.26 +public class MockDialogIterator implements ICalcIterator {
3.27 +
3.28 + Position pos_;
3.29 + private CalcFormula calc_formula_;
3.30 + private MockCalcTree calc_tree_;
3.31 +
3.32 + public MockDialogIterator(Position pos) {
3.33 + pos_ = pos;
3.34 + calc_tree_= new MockCalcTree();
3.35 + }
3.36 +
3.37 + @Override
3.38 + public Position getPosition() throws RemoteException {
3.39 + return pos_;
3.40 + }
3.41 +
3.42 + @Override
3.43 + public boolean moveRoot() throws RemoteException {
3.44 + // TODO Auto-generated method stub
3.45 + return false;
3.46 + }
3.47 +
3.48 + @Override
3.49 + public boolean moveCalcHead() throws RemoteException {
3.50 + // TODO Auto-generated method stub
3.51 + return false;
3.52 + }
3.53 +
3.54 + @Override
3.55 + public boolean moveUp() throws RemoteException {
3.56 + // TODO Auto-generated method stub
3.57 + return false;
3.58 + }
3.59 +
3.60 + @Override
3.61 + public boolean moveDown() throws RemoteException {
3.62 + // TODO Auto-generated method stub
3.63 + return false;
3.64 + }
3.65 +
3.66 + @Override
3.67 + public boolean moveLevelUp() throws RemoteException {
3.68 + // TODO Auto-generated method stub
3.69 + return false;
3.70 + }
3.71 +
3.72 + @Override
3.73 + public boolean moveLevelDown() throws RemoteException {
3.74 + // TODO Auto-generated method stub
3.75 + return false;
3.76 + }
3.77 +
3.78 + @Override
3.79 + public boolean isLast() throws RemoteException {
3.80 + // TODO Auto-generated method stub
3.81 + return false;
3.82 + }
3.83 +
3.84 + @Override
3.85 + public boolean onCalcHead() throws RemoteException {
3.86 + // TODO Auto-generated method stub
3.87 + return false;
3.88 + }
3.89 +
3.90 + @Override
3.91 + public boolean onEndOfCalculation() throws RemoteException {
3.92 + // TODO Auto-generated method stub
3.93 + return false;
3.94 + }
3.95 +
3.96 + @Override
3.97 + public boolean switchToGuard() throws RemoteException {
3.98 + // TODO Auto-generated method stub
3.99 + return false;
3.100 + }
3.101 +
3.102 + @Override
3.103 + public boolean switchToModel() throws RemoteException {
3.104 + // TODO Auto-generated method stub
3.105 + return false;
3.106 + }
3.107 +
3.108 + @Override
3.109 + public ICalcElement getElement() throws RemoteException {
3.110 + // TODO Auto-generated method stub
3.111 + return null;
3.112 + }
3.113 +
3.114 + @Override
3.115 + public Vector<CalcFormula> getFormulaeFromTo(ICalcIterator iterator_to, Integer level,
3.116 + boolean result_includes_tactics) throws RemoteException {
3.117 +
3.118 + calc_tree_ = new MockCalcTree();
3.119 + Vector<CalcFormula> ct = calc_tree_.getTree();
3.120 + Vector<CalcFormula> from_to = new Vector<>();
3.121 +
3.122 + Position pfrom = this.getPosition();
3.123 + Position pto = iterator_to.getPosition();
3.124 +
3.125 + int i = 0;
3.126 + if (pto.getIntList().size() != 0) {
3.127 + // iterate to start Position
3.128 + while (ct.elementAt(i).getPosition().compareTo(pfrom) != 1) {
3.129 + i = i + 1;
3.130 + }
3.131 + }
3.132 + // iterate from start Position to iterator_to
3.133 + while (ct.elementAt(i).getPosition().compareTo(pto) == -1) {
3.134 + from_to.add(ct.elementAt(i));
3.135 + i = i + 1;
3.136 + }
3.137 + from_to.add(ct.elementAt(i));
3.138 + //set for context_formula, which is needed in the context-menu
3.139 + calc_formula_= (CalcFormula)(ct.elementAt(i));
3.140 + return from_to;
3.141 + }
3.142 +
3.143 + public CalcFormula getFormula(Position pos){
3.144 + Formula formula=calc_tree_.get(pos);
3.145 + return calc_formula_= new CalcFormula(pos, formula);
3.146 + }
3.147 + @Override
3.148 + public CalcFormula getFormula() throws RemoteException {
3.149 + return calc_formula_;
3.150 + }
3.151 +
3.152 + @Override
3.153 + public Tactic getTactic() throws RemoteException {
3.154 + // TODO Auto-generated method stub
3.155 + return null;
3.156 + }
3.157 +
3.158 + @Override
3.159 + public Vector<Tactic> getApplicableTactics(int scope) throws RemoteException {
3.160 + // TODO Auto-generated method stub
3.161 + return null;
3.162 + }
3.163 +
3.164 + @Override
3.165 + public Assumptions getAssumptions() throws RemoteException {
3.166 + // TODO Auto-generated method stub
3.167 + return null;
3.168 + }
3.169 +
3.170 + @Override
3.171 + public Assumptions getAccumulatedAssumptions() throws RemoteException {
3.172 + // TODO Auto-generated method stub
3.173 + return null;
3.174 + }
3.175 +
3.176 + @Override
3.177 + public int getLevel() throws RemoteException {
3.178 + // TODO Auto-generated method stub
3.179 + return 0;
3.180 + }
3.181 +
3.182 + @Override
3.183 + public ICalcIterator cloneIterator() throws RemoteException {
3.184 + // TODO Auto-generated method stub
3.185 + return null;
3.186 + }
3.187 +
3.188 + @Override
3.189 + public int compareToIterator(ICalcIterator compare) throws RemoteException {
3.190 + // TODO Auto-generated method stub
3.191 + return 0;
3.192 + }
3.193 +
3.194 + @Override
3.195 + public String toSMLString() throws RemoteException {
3.196 + // TODO Auto-generated method stub
3.197 + return null;
3.198 + }
3.199 +
3.200 + @Override
3.201 + public Match initMatchProblem() throws RemoteException {
3.202 + // TODO Auto-generated method stub
3.203 + return null;
3.204 + }
3.205 +
3.206 + @Override
3.207 + public Match tryMatchProblem(ProblemID problemID) throws RemoteException {
3.208 + // TODO Auto-generated method stub
3.209 + return null;
3.210 + }
3.211 +
3.212 + @Override
3.213 + public Match tryRefineProblem(ProblemID problemID) throws RemoteException {
3.214 + // TODO Auto-generated method stub
3.215 + return null;
3.216 + }
3.217 +
3.218 + @Override
3.219 + public Match initMatchMethod() throws RemoteException {
3.220 + // TODO Auto-generated method stub
3.221 + return null;
3.222 + }
3.223 +
3.224 + @Override
3.225 + public Match tryMatchMethod(MethodID methodID) throws RemoteException {
3.226 + // TODO Auto-generated method stub
3.227 + return null;
3.228 + }
3.229 +
3.230 + @Override
3.231 + public Context initContext(ContextType type) throws RemoteException {
3.232 + // TODO Auto-generated method stub
3.233 + return null;
3.234 + }
3.235 +
3.236 + @Override
3.237 + public Context checkContext(Context context2check) throws RemoteException {
3.238 + // TODO Auto-generated method stub
3.239 + return null;
3.240 + }
3.241 +
3.242 + @Override
3.243 + public Context refineProblem(Context context2refine) throws RemoteException {
3.244 + // TODO Auto-generated method stub
3.245 + return null;
3.246 + }
3.247 +
3.248 + @Override
3.249 + public CalcHead setContext(ContextProblem context2set)
3.250 + throws RemoteException {
3.251 + // TODO Auto-generated method stub
3.252 + return null;
3.253 + }
3.254 +
3.255 + @Override
3.256 + public CalcHead setContext(ContextMethod context2set)
3.257 + throws RemoteException {
3.258 + // TODO Auto-generated method stub
3.259 + return null;
3.260 + }
3.261 +
3.262 + @Override
3.263 + public void setContext(ContextTheory context2set) throws RemoteException {
3.264 + // TODO Auto-generated method stub
3.265 +
3.266 + }
3.267 +
3.268 +}
4.1 --- a/isac-java/src/java-tests/isac/gui/mawen/MockDialogIteratorSIMPLIFY.java Tue Nov 21 08:42:47 2017 +0100
4.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
4.3 @@ -1,265 +0,0 @@
4.4 -package isac.gui.mawen;
4.5 -
4.6 -import java.rmi.RemoteException;
4.7 -import java.util.Vector;
4.8 -
4.9 -import isac.interfaces.ICalcElement;
4.10 -import isac.interfaces.ICalcIterator;
4.11 -import isac.util.formulae.Assumptions;
4.12 -import isac.util.formulae.CalcFormula;
4.13 -import isac.util.formulae.CalcHead;
4.14 -import isac.util.formulae.Context;
4.15 -import isac.util.formulae.ContextMethod;
4.16 -import isac.util.formulae.ContextProblem;
4.17 -import isac.util.formulae.ContextTheory;
4.18 -import isac.util.formulae.Formula;
4.19 -import isac.util.formulae.Match;
4.20 -import isac.util.formulae.MethodID;
4.21 -import isac.util.formulae.Position;
4.22 -import isac.util.formulae.ProblemID;
4.23 -import isac.util.tactics.Tactic;
4.24 -import isac.wsdialog.IContextProvider.ContextType;
4.25 -
4.26 -public class MockDialogIteratorSIMPLIFY implements ICalcIterator {
4.27 -
4.28 - Position pos_;
4.29 - private CalcFormula calc_formula_;
4.30 - private MockCalcTreeSIMPLIFY calc_tree_;
4.31 -
4.32 - public MockDialogIteratorSIMPLIFY(Position pos) {
4.33 - pos_ = pos;
4.34 - calc_tree_= new MockCalcTreeSIMPLIFY();
4.35 - }
4.36 -
4.37 - @Override
4.38 - public Position getPosition() throws RemoteException {
4.39 - return pos_;
4.40 - }
4.41 -
4.42 - @Override
4.43 - public boolean moveRoot() throws RemoteException {
4.44 - // TODO Auto-generated method stub
4.45 - return false;
4.46 - }
4.47 -
4.48 - @Override
4.49 - public boolean moveCalcHead() throws RemoteException {
4.50 - // TODO Auto-generated method stub
4.51 - return false;
4.52 - }
4.53 -
4.54 - @Override
4.55 - public boolean moveUp() throws RemoteException {
4.56 - // TODO Auto-generated method stub
4.57 - return false;
4.58 - }
4.59 -
4.60 - @Override
4.61 - public boolean moveDown() throws RemoteException {
4.62 - // TODO Auto-generated method stub
4.63 - return false;
4.64 - }
4.65 -
4.66 - @Override
4.67 - public boolean moveLevelUp() throws RemoteException {
4.68 - // TODO Auto-generated method stub
4.69 - return false;
4.70 - }
4.71 -
4.72 - @Override
4.73 - public boolean moveLevelDown() throws RemoteException {
4.74 - // TODO Auto-generated method stub
4.75 - return false;
4.76 - }
4.77 -
4.78 - @Override
4.79 - public boolean isLast() throws RemoteException {
4.80 - // TODO Auto-generated method stub
4.81 - return false;
4.82 - }
4.83 -
4.84 - @Override
4.85 - public boolean onCalcHead() throws RemoteException {
4.86 - // TODO Auto-generated method stub
4.87 - return false;
4.88 - }
4.89 -
4.90 - @Override
4.91 - public boolean onEndOfCalculation() throws RemoteException {
4.92 - // TODO Auto-generated method stub
4.93 - return false;
4.94 - }
4.95 -
4.96 - @Override
4.97 - public boolean switchToGuard() throws RemoteException {
4.98 - // TODO Auto-generated method stub
4.99 - return false;
4.100 - }
4.101 -
4.102 - @Override
4.103 - public boolean switchToModel() throws RemoteException {
4.104 - // TODO Auto-generated method stub
4.105 - return false;
4.106 - }
4.107 -
4.108 - @Override
4.109 - public ICalcElement getElement() throws RemoteException {
4.110 - // TODO Auto-generated method stub
4.111 - return null;
4.112 - }
4.113 -
4.114 - @Override
4.115 - public Vector<CalcFormula> getFormulaeFromTo(ICalcIterator iterator_to, Integer level,
4.116 - boolean result_includes_tactics) throws RemoteException {
4.117 -
4.118 - calc_tree_ = new MockCalcTreeSIMPLIFY();
4.119 - Vector<CalcFormula> ct = calc_tree_.getTree();
4.120 - Vector<CalcFormula> from_to = new Vector<>();
4.121 -
4.122 - Position pfrom = this.getPosition();
4.123 - Position pto = iterator_to.getPosition();
4.124 -
4.125 - int i = 0;
4.126 - if (pto.getIntList().size() != 0) {
4.127 - // iterate to start Position
4.128 - while (ct.elementAt(i).getPosition().compareTo(pfrom) != 1) {
4.129 - i = i + 1;
4.130 - }
4.131 - }
4.132 - // iterate from start Position to iterator_to
4.133 - while (ct.elementAt(i).getPosition().compareTo(pto) == -1) {
4.134 - from_to.add(ct.elementAt(i));
4.135 - i = i + 1;
4.136 - }
4.137 - from_to.add(ct.elementAt(i));
4.138 - //set for context_formula, which is needed in the context-menu
4.139 - calc_formula_= (CalcFormula)(ct.elementAt(i));
4.140 - return from_to;
4.141 - }
4.142 -
4.143 - public CalcFormula getFormula(Position pos){
4.144 - Formula formula=calc_tree_.get(pos);
4.145 - return calc_formula_= new CalcFormula(pos, formula);
4.146 - }
4.147 - @Override
4.148 - public CalcFormula getFormula() throws RemoteException {
4.149 - return calc_formula_;
4.150 - }
4.151 -
4.152 - @Override
4.153 - public Tactic getTactic() throws RemoteException {
4.154 - // TODO Auto-generated method stub
4.155 - return null;
4.156 - }
4.157 -
4.158 - @Override
4.159 - public Vector<Tactic> getApplicableTactics(int scope) throws RemoteException {
4.160 - // TODO Auto-generated method stub
4.161 - return null;
4.162 - }
4.163 -
4.164 - @Override
4.165 - public Assumptions getAssumptions() throws RemoteException {
4.166 - // TODO Auto-generated method stub
4.167 - return null;
4.168 - }
4.169 -
4.170 - @Override
4.171 - public Assumptions getAccumulatedAssumptions() throws RemoteException {
4.172 - // TODO Auto-generated method stub
4.173 - return null;
4.174 - }
4.175 -
4.176 - @Override
4.177 - public int getLevel() throws RemoteException {
4.178 - // TODO Auto-generated method stub
4.179 - return 0;
4.180 - }
4.181 -
4.182 - @Override
4.183 - public ICalcIterator cloneIterator() throws RemoteException {
4.184 - // TODO Auto-generated method stub
4.185 - return null;
4.186 - }
4.187 -
4.188 - @Override
4.189 - public int compareToIterator(ICalcIterator compare) throws RemoteException {
4.190 - // TODO Auto-generated method stub
4.191 - return 0;
4.192 - }
4.193 -
4.194 - @Override
4.195 - public String toSMLString() throws RemoteException {
4.196 - // TODO Auto-generated method stub
4.197 - return null;
4.198 - }
4.199 -
4.200 - @Override
4.201 - public Match initMatchProblem() throws RemoteException {
4.202 - // TODO Auto-generated method stub
4.203 - return null;
4.204 - }
4.205 -
4.206 - @Override
4.207 - public Match tryMatchProblem(ProblemID problemID) throws RemoteException {
4.208 - // TODO Auto-generated method stub
4.209 - return null;
4.210 - }
4.211 -
4.212 - @Override
4.213 - public Match tryRefineProblem(ProblemID problemID) throws RemoteException {
4.214 - // TODO Auto-generated method stub
4.215 - return null;
4.216 - }
4.217 -
4.218 - @Override
4.219 - public Match initMatchMethod() throws RemoteException {
4.220 - // TODO Auto-generated method stub
4.221 - return null;
4.222 - }
4.223 -
4.224 - @Override
4.225 - public Match tryMatchMethod(MethodID methodID) throws RemoteException {
4.226 - // TODO Auto-generated method stub
4.227 - return null;
4.228 - }
4.229 -
4.230 - @Override
4.231 - public Context initContext(ContextType type) throws RemoteException {
4.232 - // TODO Auto-generated method stub
4.233 - return null;
4.234 - }
4.235 -
4.236 - @Override
4.237 - public Context checkContext(Context context2check) throws RemoteException {
4.238 - // TODO Auto-generated method stub
4.239 - return null;
4.240 - }
4.241 -
4.242 - @Override
4.243 - public Context refineProblem(Context context2refine) throws RemoteException {
4.244 - // TODO Auto-generated method stub
4.245 - return null;
4.246 - }
4.247 -
4.248 - @Override
4.249 - public CalcHead setContext(ContextProblem context2set)
4.250 - throws RemoteException {
4.251 - // TODO Auto-generated method stub
4.252 - return null;
4.253 - }
4.254 -
4.255 - @Override
4.256 - public CalcHead setContext(ContextMethod context2set)
4.257 - throws RemoteException {
4.258 - // TODO Auto-generated method stub
4.259 - return null;
4.260 - }
4.261 -
4.262 - @Override
4.263 - public void setContext(ContextTheory context2set) throws RemoteException {
4.264 - // TODO Auto-generated method stub
4.265 -
4.266 - }
4.267 -
4.268 -}