Package org.mpi_sws.jmc.runtime.scheduling

Class SchedulingChoiceValue

java.lang.Object

org.mpi_sws.jmc.runtime.scheduling.SchedulingChoiceValue

Direct Known Subclasses:

PrimitiveValue

public abstract class SchedulingChoiceValue
extends Object

A value that the strategy uses to communicate with the runtime yields.

The abstraction helps record the values when a buggy trace is found.

For each SchedulingChoiceValue, there should be a

Constructor Summary

Constructors

Constructor	Description
SchedulingChoiceValue()

Method Summary

Modifier and Type	Method	Description
abstract com.google.gson.JsonElement	toJson()	Converts this value to a JSON object.
abstract String	type()	Returns the type of this value.

Methods inherited from class java.lang.Object

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

Constructor Details

SchedulingChoiceValue

public SchedulingChoiceValue()

Method Details

toJson

public abstract com.google.gson.JsonElement toJson()

Converts this value to a JSON object.

Returns:

the JSON representation of this value

type

public abstract String type()

Returns the type of this value.

Default types (int|string) have inbuilt adapters.

This is used to identify the type of value in the JSON representation.

Returns:

the type of this value