trace/org.jetbrains.lincheck.trace/FileStreamingTraceCollecting

FileStreamingTraceCollecting

class FileStreamingTraceCollecting(dataStream: OutputStream, indexStream: OutputStream, val context: TraceContext) : TraceCollectingStrategy, ContextSavingState

Constructors

constructor(baseFileName: String, context: TraceContext)

constructor(dataStream: OutputStream, indexStream: OutputStream, context: TraceContext)

Properties

context

val context: TraceContext

Functions

callEnded

open override fun callEnded(callTracepoint: TRMethodCallTracePoint)

Must be called when the method call is ended and the call stack is popped.

finishCurrentThread

open override fun finishCurrentThread()

Mark the thread as finished in strategy.

isClassDescriptorSaved

open override fun isClassDescriptorSaved(id: Int): Boolean

isCodeLocationSaved

open override fun isCodeLocationSaved(id: Int): Boolean

isFieldDescriptorSaved

open override fun isFieldDescriptorSaved(id: Int): Boolean

isMethodDescriptorSaved

open override fun isMethodDescriptorSaved(id: Int): Boolean

isStringSaved

open override fun isStringSaved(value: String): Int

Return positive string id if it was stored already and negative string id if it should be stored with absolute value of this id.

isVariableDescriptorSaved

open override fun isVariableDescriptorSaved(id: Int): Boolean

markClassDescriptorSaved

open override fun markClassDescriptorSaved(id: Int)

markCodeLocationSaved

open override fun markCodeLocationSaved(id: Int)

markFieldDescriptorSaved

open override fun markFieldDescriptorSaved(id: Int)

markMethodDescriptorSaved

open override fun markMethodDescriptorSaved(id: Int)

markStringSaved

open override fun markStringSaved(value: String)

Mark string as stored. Do nothing if string was not passed tp isStringSaved.

markVariableDescriptorSaved

open override fun markVariableDescriptorSaved(id: Int)

registerCurrentThread

open override fun registerCurrentThread(threadId: Int)

traceEnded

open override fun traceEnded()

Must be called when trace is finished

tracePointCreated

open override fun tracePointCreated(parent: TRMethodCallTracePoint?, created: TRTracePoint)

Must be called when a new tracepoint is created.