[/] [trunk/] [src/] [uppaalxml/] [xml_writer.sig] -
Diff 46 ⟶ 62
Diff between revs
46
and
62
| Rev 46 |
Rev 62 |
|---|
(* $Id: xml_writer.sig 11 2007-11-02 05:30:42Z tbourke $ *)
|
(* $Id: xml_writer.sig 62 2008-08-20 11:20:33Z tbourke $
|
|
*
|
|
* Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
|
|
* All rights reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms of the "BSD License" which is distributed with the
|
|
* software in the file LICENSE.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the BSD
|
|
* License for more details.
|
|
*)
|
|
|
signature XML_WRITER =
|
signature XML_WRITER =
|
sig
|
sig
|
type outstream
|
type outstream
|
|
|
(* Augment the given writer so that it can translate characters
|
(* Augment the given writer so that it can translate characters
|
into the five predefined character entities:
|
into the five predefined character entities:
|
< to < > to >
|
< to < > to >
|
& to & " to " ' to '
|
& to & " to " ' to '
|
when the mode is set to Data. *)
|
when the mode is set to Data. *)
|
val mkWriter : TextPrimIO.writer -> TextPrimIO.writer
|
val mkWriter : TextPrimIO.writer -> TextPrimIO.writer
|
val mkOutstream : outstream -> outstream
|
val mkOutstream : outstream -> outstream
|
|
|
(* Printing these strings through the writer changes the mode. In data mode,
|
(* Printing these strings through the writer changes the mode. In data mode,
|
characters are translated. In xml mode, no translation occurs. *)
|
characters are translated. In xml mode, no translation occurs. *)
|
val data : string
|
val data : string
|
val xml : string
|
val xml : string
|
end
|
end
|
|
|
|
|