engine/io.github.moonlightsuite.moonlight.io

Package-level declarations

Types

AbstractFileByRowReader

public class AbstractFileByRowReader

CsvLocationServiceReader

public class CsvLocationServiceReader extends AbstractFileByRowReader implements LocationServiceReader

This class is used to read a location service in CSV format from a string or a file.

CsvSpatialTemporalSignalReader

public class CsvSpatialTemporalSignalReader extends AbstractFileByRowReader implements SpatialTemporalSignalReader

This class is used to read a spatial-temporal signal either from a file or from a string.

CsvSpatialTemporalSignalWriter

public class CsvSpatialTemporalSignalWriter implements SpatialTemporalSignalWriter

This class is used to

CsvTemporalSignalReader

public class CsvTemporalSignalReader extends AbstractFileByRowReader implements TemporalSignalReader

This class is used to read a temporal signal from a CSV file or a string.

CsvTemporalSignalWriter

public class CsvTemporalSignalWriter implements TemporalSignalWriter

DataReader

public class DataReader<T>

Generic Class to read line-wise from a text file.

DataWriter

public class DataWriter<T>

Generic Class to write line-wise from a text file.

FormulaJSonIO

@Deprecated(forRemoval = true)

public class ~~FormulaJSonIO~~

FormulaToBreach

public class FormulaToBreach implements FormulaVisitor<P, M>

FormulaToTaliro

public class FormulaToTaliro implements FormulaVisitor<P, M>

FormulaType

public enum FormulaType

FormulaTypeSelector

public class FormulaTypeSelector

IllegalFileFormatException

public class IllegalFileFormatException extends Exception

LocationServiceReader

public interface LocationServiceReader

Classes implementing this interface provide the methods that can be used to read a location service from either a file or a string.

SpatialTemporalSignalReader

public interface SpatialTemporalSignalReader

Classes implementing this interface are used to read a spatial-temporal signal either from a string or from a file in a given format.

SpatialTemporalSignalWriter

public interface SpatialTemporalSignalWriter

TemporalSignalReader

public interface TemporalSignalReader

TemporalSignalWriter

public interface TemporalSignalWriter

UnsupportedFileTypeException

public class UnsupportedFileTypeException extends RuntimeException

Exception raised when trying to parse an unsupported file type.