com.uppaal.model.io2

Class QueryListURLReader

java.lang.Object

com.uppaal.model.io2.QueryListURLReader

public class QueryListURLReader
extends Object

The reader class

Constructor Summary

Constructors

Constructor and Description
QueryListURLReader(URL url) Constructor

Method Summary

Modifier and Type	Method and 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(URL url)

Constructor

Method Detail

read

public QueryList read()
               throws IOException

Returns a query list read from a textfile at the given URL

Parameters:

url - - file URL

Throws:

IOException - resource fetch/read I/O error.