Package 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 Description QueryListURLReader(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
-
-
-
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- Throws:
IOException
- resource fetch/read I/O error.
-
-