Package org.mpi_sws.jmc.runtime

Class JmcRuntimeEvent.Builder

java.lang.Object

org.mpi_sws.jmc.runtime.JmcRuntimeEvent.Builder

Enclosing class:

JmcRuntimeEvent

public static class JmcRuntimeEvent.Builder
extends Object

A builder for constructing a JmcRuntimeEvent object.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
JmcRuntimeEvent	build()	Builds the JmcRuntimeEvent object.
JmcRuntimeEvent.Builder	param(String key, Object value)	Adds a parameter to the event.
JmcRuntimeEvent.Builder	params(Map<String,Object> params)	Sets the parameters of the event.
JmcRuntimeEvent.Builder	taskId(Long taskId)	Sets the ID of the task that generated the event.
JmcRuntimeEvent.Builder	type(JmcRuntimeEvent.Type type)	Sets the type of the event.

Methods inherited from class java.lang.Object

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

Constructor Details

Builder

public Builder()

Method Details

type

public JmcRuntimeEvent.Builder type(JmcRuntimeEvent.Type type)

Sets the type of the event.

taskId

public JmcRuntimeEvent.Builder taskId(Long taskId)

Sets the ID of the task that generated the event.

params

public JmcRuntimeEvent.Builder params(Map<String,Object> params)

Sets the parameters of the event.

param

public JmcRuntimeEvent.Builder param(String key,
 Object value)

Adds a parameter to the event.

build

public JmcRuntimeEvent build()

Builds the JmcRuntimeEvent object.