Trace

de.uni_luebeck.isp.tessla.interpreter.Trace
object Trace

Factory for Interpreter.Traces.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Trace.type

Members list

Type members

Classlikes

case class Event(loc: Location, timeStamp: TimeStamp, streamOpt: Option[Identifier], value: Any)

Representation of a single event in a trace.

Representation of a single event in a trace.

Value parameters

loc

the location information of this event, used for error messages

streamOpt

the identifier of the stream this event is associated to. If not existing, the stream is considered to be a raw stream.

timeStamp

the timestamp of the event

value

the data value of the event

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class TimeStamp(loc: Location, time: Time)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Types

type Identifier = Identifier

Value members

Concrete methods

def fromCsvFile(file: File, abortAt: Option[BigInt]): Trace
def fromCsvLineIterator(lineIterator: Iterator[String], fileName: String, abortAt: Option[BigInt]): Trace
def fromCsvSource(traceSource: Source, fileName: String, abortAt: Option[BigInt]): Trace
def fromCsvString(string: String, fileName: String, abortAt: Option[BigInt]): Trace
def fromFile(file: File, abortAt: Option[BigInt]): Trace
def fromLineIterator(lineIterator: Iterator[String], fileName: String, abortAt: Option[BigInt]): Trace
def fromSource(traceSource: Source, fileName: String, abortAt: Option[BigInt]): Trace
def fromString(string: String, fileName: String, abortAt: Option[BigInt]): Trace

Concrete fields

val Identifier: Identifier.type