()
| 443 | } |
| 444 | |
| 445 | @Override |
| 446 | public List<Directive> get_directives() { |
| 447 | return Arrays.asList(new Directive[] { |
| 448 | Directive.FORMAT, |
| 449 | Directive.INT_SIZE, |
| 450 | Directive.SIZE_T_SIZE, |
| 451 | Directive.INSTRUCTION_SIZE, |
| 452 | Directive.INTEGER_FORMAT, |
| 453 | Directive.FLOAT_FORMAT, |
| 454 | Directive.ENDIANNESS, |
| 455 | }); |
| 456 | } |
| 457 | |
| 458 | @Override |
| 459 | public void write(OutputStream out, BHeader header, LHeader object) throws IOException { |
nothing calls this directly
no outgoing calls
no test coverage detected