()
| 393 | } |
| 394 | |
| 395 | @Override |
| 396 | public List<Directive> get_directives() { |
| 397 | return Arrays.asList(new Directive[] { |
| 398 | Directive.FORMAT, |
| 399 | Directive.ENDIANNESS, |
| 400 | Directive.INT_SIZE, |
| 401 | Directive.SIZE_T_SIZE, |
| 402 | Directive.INSTRUCTION_SIZE, |
| 403 | Directive.NUMBER_FORMAT, |
| 404 | }); |
| 405 | } |
| 406 | |
| 407 | @Override |
| 408 | public void write(OutputStream out, BHeader header, LHeader object) throws IOException { |
nothing calls this directly
no outgoing calls
no test coverage detected