public interface PipelineExecutorRegistry
Modifier and Type | Method and Description |
---|---|
void |
deregister(String pipelineExecutionId)
Deregisters a pipeline executor trace.
|
PipelineExecutorTrace |
getExecutorTrace(RuntimeId runtimeId)
Gets the pipeline executor trace that produced a runtime.
|
PipelineExecutorTrace |
getExecutorTrace(String pipelineExecutionId)
Gets a registered pipeline executor trace.
|
Collection<PipelineExecutorTrace> |
getExecutorTraces()
Get the currently registered pipeline executor traces.
|
void |
register(PipelineExecutorTrace trace)
Registers a pipeline executor trace.
|
void register(PipelineExecutorTrace trace)
trace
- a pipeline executor trace for registering.void deregister(String pipelineExecutionId)
pipelineExecutionId
- the identifier of the trace to deregister.PipelineExecutorTrace getExecutorTrace(String pipelineExecutionId)
pipelineExecutionId
- the identifier of trace.Collection<PipelineExecutorTrace> getExecutorTraces()
PipelineExecutorTrace getExecutorTrace(RuntimeId runtimeId)
runtimeId
- a runtime for finding the associated pipeline executor trace.Copyright © 2001–2019 JBoss by Red Hat. All rights reserved.