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 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.