public class OperationFileReader extends Object implements RavenReader
Modifier and Type | Method and Description |
---|---|
static CospanDecomposition |
readOperations(File file)
Reads an operation file
file and returns the cospan decomposition obtained from
the operation list. |
static CospanDecomposition |
readOperations(String filename)
Reads an operation file specified by the filename
filename and returns
the cospan decomposition obtained from the operation list. |
public static CospanDecomposition readOperations(File file) throws FileNotFoundException, IOException
file
and returns the cospan decomposition obtained from
the operation list.file
- the file containing the operation listFileNotFoundException
- thrown if the specified file can not be foundIOException
- thrown if the specified file can not be readreadOperations(String)
,
Operation
,
CospanDecomposition
public static CospanDecomposition readOperations(String filename) throws FileNotFoundException, IOException
filename
and returns
the cospan decomposition obtained from the operation list.filename
- the file name of the operation fileFileNotFoundException
- thrown if the specified file can not be foundIOException
- thrown if the specified file can not be readreadOperations(File)
,
Operation
,
CospanDecomposition