de.rwth.i2.attestor.io.jsonExport.inputFormat

Class ContractToInputFormatExporter

java.lang.Object

de.rwth.i2.attestor.io.jsonExport.inputFormat.ContractToInputFormatExporter

public class ContractToInputFormatExporter
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected Writer	writer

Constructor Summary

Constructors

Constructor and Description
ContractToInputFormatExporter(Writer writer)

Method Summary

Modifier and Type	Method and Description
void	export(String signature, Collection<Contract> contracts)

Methods inherited from class java.lang.Object

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

Field Detail

writer

protected Writer writer

Constructor Detail

ContractToInputFormatExporter

public ContractToInputFormatExporter(Writer writer)

Method Detail

export

public void export(String signature,
                   Collection<Contract> contracts)