HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

Better error msgs for nonexisting attributes 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5516 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Jürgen Doser 2006-10-30 10:20:14 +00:00
parent 78780b5ff9
commit 0cf0e16b30
1 changed files with 19 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
src/xmltree_helper.sml
View File

@ -38,6 +38,7 @@ structure XmlTreeHelper : sig
val dfs : string -> XmlTree.Tree -> XmlTree.Tree option
val exists : string -> XmlTree.Tree list -> bool
val has_child : string -> XmlTree.Tree -> bool
val value_of : string -> XmlTree.Attribute list -> string
(* val follow : string -> XmlTree.Tree list -> XmlTree.Tree list *)
(* val followM : string -> XmlTree.Tree list -> XmlTree.Tree list *)
(* val skipM : string -> XmlTree.Tree -> XmlTree.Tree list *)
@ -63,19 +64,25 @@ fun find string trees = valOf (List.find (fn x => string = tagname x) trees)
^string)
fun some_id tree = let val atts = attributes tree
in
if tree |> has_attribute "xmi.id" then
" (xmi.id = "^
(atts |> value_of "xmi.id")^
")"
else if tree |> has_attribute "xmi.idref" then
" (xmi.idref = "^
(atts |> value_of "xmi.idref")^
")"
else ""
end
fun some_id' atts = let val xmiid = atts |> optional_value_of "xmi.id"
val xmiidref = atts |> optional_value_of "xmiidref"
in
if Option.isSome xmiid then
" (xmi.id = "^
(Option.valOf xmiid)^
")"
else if Option.isSome xmiidref then
" (xmi.idref = "^
(Option.valOf xmiidref)^
")"
else ""
end
fun some_id tree = some_id' (attributes tree)
fun value_of string atts = XmlTree.value_of string atts
handle IllFormed msg => raise IllFormed (msg^(some_id' atts))
fun find_child string tree = find string (node_children tree)
handle IllFormed msg => raise IllFormed (msg^" inside node "^
(tagname tree)^(some_id tree)^"\n")