QueryListStreamWriter (UPPAAL model library)

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

Modifier and Type Method 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 Details
- QueryListStreamWriter
  
  public QueryListStreamWriter(OutputStream os)
  
  Constructor
  
  Parameters:
  
  os - - The output stream
Method Details
- 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.