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 and Description
QueryListStreamWriter(OutputStream os) Constructor

Method Summary

Modifier and Type	Method and Description
void	write(QueryList queryList) Write a query list to an output stream

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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:

os - - the output stream

Throws:

IOException - I/O error.