Package jline.unified

Class JsonResult

java.lang.Object

jline.unified.JsonResult

public class JsonResult
extends Object

Data class for JSON-formatted test results.

Field Summary

Fields

Modifier and Type	Field	Description
final List<String>	errors
final String	language
final String	modelName
final Map<String,Map<String,Object>>	solverResults
String	status
final Map<String,Object>	timing

Constructor Summary

Constructors

Constructor	Description
JsonResult(String modelName)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

modelName

public final String modelName

language

public final String language

status

public String status

timing

public final Map<String,Object> timing

solverResults

public final Map<String,Map<String,Object>> solverResults

errors

public final List<String> errors

Constructor Details

JsonResult

public JsonResult(String modelName)