QueryListURLReader (UPPAAL model library)

java.lang.Object
- com.uppaal.model.io2.QueryListURLReader

public class QueryListURLReader
extends java.lang.Object

The reader class

- Constructor Summary
  
  Constructors
  Constructor Description
  
  QueryListURLReader(java.net.URL url)
  Constructor
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  QueryList read()
  Returns a query list read from a textfile at the given URL
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - QueryListURLReader
```
public QueryListURLReader(java.net.URL url)
```
    Constructor
- Method Detail
  - read
```
public QueryList read()
               throws java.io.IOException
```
    Returns a query list read from a textfile at the given URL
    
    Throws:
    
    java.io.IOException - resource fetch/read I/O error.