public JsonPrinter(final Ir ir) { this.ir = ir; headerDecoder = new OtfHeaderDecoder(ir.headerStructure()); }
final OtfHeaderDecoder headerDecoder = new OtfHeaderDecoder(ir.headerStructure());
final OtfHeaderDecoder otfHeaderDecoder = new OtfHeaderDecoder(ir.headerStructure());
public JsonPrinter(final Ir ir) { this.ir = ir; headerDecoder = new OtfHeaderDecoder(ir.headerStructure()); }
public JsonPrinter(final Ir ir) { this.ir = ir; headerDecoder = new OtfHeaderDecoder(ir.headerStructure()); }
public JsonPrinter(final Ir ir) { this.ir = ir; headerDecoder = new OtfHeaderDecoder(ir.headerStructure()); }