Package com.uppaal.model.io2
Class QueryListStreamWriter
- java.lang.Object
-
- com.uppaal.model.io2.QueryListStreamWriter
-
public class QueryListStreamWriter extends Object
The writer class
-
-
Constructor Summary
Constructors Constructor Description QueryListStreamWriter(OutputStream os)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
write(QueryList queryList)
Write a query list to an output stream
-
-
-
Constructor Detail
-
QueryListStreamWriter
public QueryListStreamWriter(OutputStream os)
Constructor- Parameters:
os
- - The output stream
-
-
Method Detail
-
write
public void write(QueryList queryList) throws IOException
Write a query list to an output stream- Parameters:
queryList
- - the list of queries- Throws:
IOException
- I/O error.
-
-