-string_of_int (Obj.magic e)) ;
- raise ex
- (*
- match e with
- E.NO_ERR -> "NO_ERR"
- | E.INDEX_SIZE_ERR -> "INDEX_SIZE_ERR"
- | E.DOMSTRING_SIZE_ERR -> "DOMSTRING_SIZE_ERR"
- | E.HIERARCHY_REQUEST_ERR -> "HIERARCHY_REQUEST_ERR"
- | E.WRONG_DOCUMENT_ERR -> "WRONG_DOCUMENT_ERR"
- | E.INVALID_CHARACTER_ERR -> "INVALID_CHARACTER_ERR"
- | E.NO_DATA_ALLOWED_ERR -> "NO_DATA_ALLOWER_ERR"
- | E.NO_MODIFICATION_ALLOWED_ERR -> "NO_MODIFICATION_ALLOWED_ERR"
- | E.NOT_FOUND_ERR -> "NOT_FOUND_ERR"
- | E.NOT_SUPPORTED_ERR -> "NOT_SUPPORTED_ERR"
- | E.INUSE_ATTRIBUTE_ERR -> "INUSE_ATTRIBUTE_ERR"
- | E.INVALID_STATE_ERR -> "INVALID_STATE_ERR"
- | E.SYNTAX_ERR -> "SYNTAX_ERR"
- | E.INVALID_MODIFICATION_ERR -> "INVALID_MODIFICATION_ERR"
- | E.NAMESPACE_ERR -> "NAMESPACE_ERR"
- | E.INVALID_ACCESS_ERR -> "INVALID_ACCESS_ERR"
-*)
+ match e with
+ GdomeDOMExceptionT.NO_ERR -> "NO_ERR"
+ | GdomeDOMExceptionT.INDEX_SIZE_ERR -> "INDEX_SIZE_ERR"
+ | GdomeDOMExceptionT.DOMSTRING_SIZE_ERR -> "DOMSTRING_SIZE_ERR"
+ | GdomeDOMExceptionT.HIERARCHY_REQUEST_ERR -> "HIERARCHY_REQUEST_ERR"
+ | GdomeDOMExceptionT.WRONG_DOCUMENT_ERR -> "WRONG_DOCUMENT_ERR"
+ | GdomeDOMExceptionT.INVALID_CHARACTER_ERR -> "INVALID_CHARACTER_ERR"
+ | GdomeDOMExceptionT.NO_DATA_ALLOWED_ERR -> "NO_DATA_ALLOWER_ERR"
+ | GdomeDOMExceptionT.NO_MODIFICATION_ALLOWED_ERR -> "NO_MODIFICATION_ALLOWED_ERR"
+ | GdomeDOMExceptionT.NOT_FOUND_ERR -> "NOT_FOUND_ERR"
+ | GdomeDOMExceptionT.NOT_SUPPORTED_ERR -> "NOT_SUPPORTED_ERR"
+ | GdomeDOMExceptionT.INUSE_ATTRIBUTE_ERR -> "INUSE_ATTRIBUTE_ERR"
+ | GdomeDOMExceptionT.INVALID_STATE_ERR -> "INVALID_STATE_ERR"
+ | GdomeDOMExceptionT.SYNTAX_ERR -> "SYNTAX_ERR"
+ | GdomeDOMExceptionT.INVALID_MODIFICATION_ERR -> "INVALID_MODIFICATION_ERR"
+ | GdomeDOMExceptionT.NAMESPACE_ERR -> "NAMESPACE_ERR"
+ | GdomeDOMExceptionT.INVALID_ACCESS_ERR -> "INVALID_ACCESS_ERR")