de.cau.cs.kieler.krep.editors.rif
Class RifFile

java.lang.Object
  extended by de.cau.cs.kieler.krep.editors.rif.RifFile
All Implemented Interfaces:
ITraceProvider

public class RifFile
extends Object
implements ITraceProvider

Rating red

Constructor Summary
RifFile()
           
 
Method Summary
 String[] getExtensions()
          
 LinkedList<RifTrace> loadTrace(String fileName)
          load a trace from a file
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

RifFile

public RifFile()
Method Detail

loadTrace

public LinkedList<RifTrace> loadTrace(String fileName)
                               throws KiemInitializationException
load a trace from a file

Specified by:
loadTrace in interface ITraceProvider
Parameters:
fileName - name of the trace file
Returns:
List of traces
Throws:
KiemInitializationException - thrown for any parse error

getExtensions

public String[] getExtensions()

Specified by:
getExtensions in interface ITraceProvider
Returns:
file extensions for all trace files that can be handled by the trace provider.