libutap
SBMLtoXMLWriter.h
Go to the documentation of this file.
1 // -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-
2 
3 /* libutap - Uppaal Timed Automata Parser.
4  Copyright (C) 2002-2006 Uppsala University and Aalborg University.
5 
6  This library is free software; you can redistribute it and/or
7  modify it under the terms of the GNU Lesser General Public License
8  as published by the Free Software Foundation; either version 2.1 of
9  the License, or (at your option) any later version.
10 
11  This library is distributed in the hope that it will be useful, but
12  WITHOUT ANY WARRANTY; without even the implied warranty of
13  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14  Lesser General Public License for more details.
15 
16  You should have received a copy of the GNU Lesser General Public
17  License along with this library; if not, write to the Free Software
18  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
19  USA
20  */
21 
22 #ifndef SBMLTOXMLWRITER_H
23 #define SBMLTOXMLWRITER_H
24 
25 #include "utap/xmlwriter.h"
26 
28 public:
29  SBMLtoXMLWriter(xmlTextWriterPtr writer);
30  void declaration(const char *);
31  void writeStateAttributes(const char *, int, int);
32  void name(const char *, int, int);
33  void writeLocation(const char *, int, int, const char *);
34  void startLocation(const char *, int, int);
35  void writeBranchpoint(const char *, int, int);
36  void init(const char * id);
37  void source(const char * id);
38  void target(const char * id);
39  void writeTransition(const char * idSRC, const char * idTRG);
40  void startTransition(const char * idSRC, const char * idTRG);
41  void writeLabel(const char *, const char *, int, int);
42  virtual ~SBMLtoXMLWriter();
43 private:
44  xmlTextWriterPtr writer;
46 };
47 
48 #endif /* SBMLTOXMLWRITER_H */
49 
void source(const char *id)
void startTransition(const char *idSRC, const char *idTRG)
Definition: SBMLtoXMLWriter.h:27
Definition: xmlwriter.h:55
void target(const char *id)
void writeLocation(const char *, int, int, const char *)
void writeLabel(const char *, const char *, int, int)
void init(const char *id)
void writeStateAttributes(const char *, int, int)
void name(const char *, int, int)
void declaration()
Parses optional declaration.
Definition: xmlwriter.cpp:108
void writeTransition(const char *idSRC, const char *idTRG)
SBMLtoXMLWriter(xmlTextWriterPtr writer)
virtual ~SBMLtoXMLWriter()
void startLocation(const char *, int, int)
void writeBranchpoint(const char *, int, int)