wneuper/isa: test/Tools/isac/xmlsrc/pbl-met-hierarchy.sml@4c52ad406c20

     1 (* tests for sml/xmlsrc/pbl-met-hierarchy.sml

     2    author: Walther Neuper 060209

     3    (c) isac-team 2006

     5 use"../smltest/xmlsrc/pbl-met-hierarchy.sml";

     6 use"pbl-met-hierarchy.sml";

     8 CAUTION with testing *2file functions -- they are actually writing !!!

     9 *)

    11 val thy = (theory "Isac");

    13 "-----------------------------------------------------------------";

    14 "table of contents -----------------------------------------------";

    15 "-----------------------------------------------------------------";

    16 "----------- pbl2xml ---------------------------------------------";

    17 "-----------------------------------------------------------------";

    18 "-----------------------------------------------------------------";

    19 "-----------------------------------------------------------------";

    23 "----------- pbl2xml ---------------------------------------------";

    24 "----------- pbl2xml ---------------------------------------------";

    25 "----------- pbl2xml ---------------------------------------------";

    26 (*what to do if from 'pbls2file "../../xmldata/pbl/";' you get the error

    28 ### pbl2file: id = ["Biegelinie"]

    29 *** Type unification failed: Clash of types "fun" and "Script.ID".

    30 *** Type error in application: Incompatible operand type.

    31 ***

    32 *** Operator:  Problem :: ID * ID list => ??'a

    33 *** Operand:   (Biegelinie, [Biegelinie]) ::

    34 ***   ((real => real) => una) * ((real => real) => una) list

    35 ***

    36 Exception- OPTION raised

    37 *)

    38 pbl2xml ["Biegelinien"] (get_pbt ["Biegelinien"]);

    39 (* val id = ["Biegelinie"];

    40    val {(*guh,*)cas,met,ppc,prls,thy,where_} = get_pbt ["Biegelinie"];

    41    AND STEP THROUGH pbl2xml ...

    43    term2xml i (pbl2term thy id);

    44    pbl2term thy id;

    45   *)

    46 (* val (thy, pblRD) = (thy, id);

    47    AND STEP THROUGH pbl2term...

    49    val str = ("Problem (" ^

    50 	   (get_thy o theory2domID) thy ^ ", " ^

    51 	   (strs2str' o rev) pblRD ^ ")");

    52   str2term str;

    53   str2term "Biegelinie";

    54   str2term "Biegelinien";

    55   *)

    56 (*Const

    57       ("Biegelinie.Biegelinie",

    58        "(RealDef.real => RealDef.real) => Tools.una") : Term.term

    59 ..I.E. THE "Script.ID" _WAS_ ALREADY OCCUPIED BY A 'description'*)

    61 (*

    62 val path = "/home/neuper/proto2/isac/xmldata/";

    63 val path = "/home/neuper/tmp/";

    65 pbl_hierarchy2file (path ^ "pbl/");

    66 pbls2file          (path ^ "pbl/");

    68 met_hierarchy2file (path ^ "met/");

    69 mets2file          (path ^ "met/");

    71 thy_hierarchy2file (path ^ "thy/");

    72 thes2file          (path ^ "thy/");

    73 *)

author	Walther Neuper <neuper@ist.tugraz.at>
	Wed, 06 Oct 2010 15:12:41 +0200
branch	isac-update-Isa09-2
changeset 38050	4c52ad406c20
parent 37906	e2b23ba9df13
child 42176	3573fd729e99
permissions	-rw-r--r--