QueryListURLReader (UPPAAL model library)

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

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 Details
- QueryListURLReader
  
  public QueryListURLReader(URL url)
  
  Constructor
Method Details
- 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.