public class JsonExtendedHeapConfigurationExporter extends JsonHeapConfigurationExporter
writer| Constructor and Description |
|---|
JsonExtendedHeapConfigurationExporter() |
JsonExtendedHeapConfigurationExporter(Writer writer) |
| Modifier and Type | Method and Description |
|---|---|
void |
export(HeapConfiguration heapConfiguration)
Exports a given HeapConfiguration.
|
String |
exportForReport(HeapConfiguration heapConfiguration) |
writeNonterminalHyperedges, writeNonterminalTentacles, writeSelectors, writeVariables, writeVariableTentaclespublic JsonExtendedHeapConfigurationExporter(Writer writer)
public JsonExtendedHeapConfigurationExporter()
public void export(HeapConfiguration heapConfiguration)
HeapConfigurationExporterexport in interface HeapConfigurationExporterexport in class JsonHeapConfigurationExporterheapConfiguration - The HeapConfiguration that should be exported.public String exportForReport(HeapConfiguration heapConfiguration)
exportForReport in interface HeapConfigurationExporterexportForReport in class JsonHeapConfigurationExporterCopyright © 2019. All rights reserved.