1.1 --- a/test/Tools/isac/Interpret/script.sml	Thu Sep 22 14:43:47 2011 +0200
     1.2 +++ b/test/Tools/isac/Interpret/script.sml	Fri Sep 23 08:30:35 2011 +0200
     1.3 @@ -6,6 +6,7 @@
     1.4  "table of contents -----------------------------------------------";
     1.5  "-----------------------------------------------------------------";
     1.6  "----------- WN0509 why does next_tac doesnt find Substitute -----";
     1.7 +"----------- Apply_Method: exception PTREE get_obj: pos = [0] does";
     1.8  "----------- WN0509 Substitute 2nd part --------------------------";
     1.9  "----------- fun sel_appl_atomic_tacs ----------------------------";
    1.10  "----------- fun init_form, fun get_stac -------------------------";
    1.11 @@ -16,6 +17,7 @@
    1.12  "-----------------------------------------------------------------";
    1.13  
    1.14  val thy= @{theory Isac};
    1.15 +
    1.16  "----------- WN0509 why does next_tac doesnt find Substitute -----";
    1.17  "----------- WN0509 why does next_tac doesnt find Substitute -----";
    1.18  "----------- WN0509 why does next_tac doesnt find Substitute -----";
    1.19 @@ -78,19 +80,20 @@
    1.20  if sc = sc' then () else error"script.sml, doesnt find Substitute #1";
    1.21  ---------------------------------------------------------------------*)
    1.22  
    1.23 +"----------- Apply_Method: exception PTREE get_obj: pos = [0] does";
    1.24 +"----------- Apply_Method: exception PTREE get_obj: pos = [0] does";
    1.25 +"----------- Apply_Method: exception PTREE get_obj: pos = [0] does";
    1.26 +(*WN110922 exception PTREE "get_obj: pos = [0] does not exist"*)
    1.27  val fmz = ["Traegerlaenge L",
    1.28  	   "Streckenlast (- q_0 * x^^^2 / 2 + x * c + c_2)",
    1.29  	   "Biegelinie y",
    1.30  	   "RandbedingungenBiegung [y 0 = 0, y L = 0]",
    1.31  	   "RandbedingungenMoment [M_b 0 = 0, M_b L = 0]",
    1.32  	   "FunktionsVariable x"];
    1.33 -
    1.34  val (dI',pI',mI') =
    1.35    ("Biegelinie",["MomentBestimmte","Biegelinien"],
    1.36     ["IntegrierenUndKonstanteBestimmen"]);
    1.37 -
    1.38  val p = e_pos'; val c = [];
    1.39 -
    1.40  val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];
    1.41  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.42  val (p,_,f,nxt,_,pt) = me nxt p c pt; val (p,_,f,nxt,_,pt) = me nxt p c pt;