Package jetbrains.mps.generator

Class GenerationTaskRecorder<T extends GeneratorTask>

java.lang.Object

jetbrains.mps.generator.GenerationTaskRecorder<T>

All Implemented Interfaces:

GeneratorTaskListener<T>

public class GenerationTaskRecorder<T extends GeneratorTask>
extends Object
implements GeneratorTaskListener<T>

Records all completed generator tasks and their respective status.

Since:

3.4

Constructor Summary

Constructors

Constructor	Description
GenerationTaskRecorder(GeneratorTaskListener<? super T> delegate)

Method Summary

Modifier and Type	Method	Description
void	done(T task, GenerationStatus status)
List<GenerationStatus>	getAllRecorded()
GenerationStatus	getRecorded(T task)	Looks up last recorded generation outcome for the given task
void	start(T task)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GenerationTaskRecorder

public GenerationTaskRecorder(@Nullable
                              GeneratorTaskListener<? super T> delegate)

Method Detail

start

public void start(@NotNull
                  T task)

Specified by:

start in interface GeneratorTaskListener<T extends GeneratorTask>

done

public void done(@NotNull
                 T task,
                 @NotNull
                 GenerationStatus status)

Specified by:

done in interface GeneratorTaskListener<T extends GeneratorTask>

getAllRecorded

public List<GenerationStatus> getAllRecorded()

getRecorded

@Nullable
public GenerationStatus getRecorded(T task)

Looks up last recorded generation outcome for the given task

Parameters:

task - what to look up

Returns:

most recent generation status for the task, or null if none found.