()
| 528 | } |
| 529 | |
| 530 | String getRoiName() { |
| 531 | String fileName = name; |
| 532 | int hdr2Offset = getInt(HEADER2_OFFSET); |
| 533 | if (hdr2Offset==0) |
| 534 | return fileName; |
| 535 | int offset = getInt(hdr2Offset+NAME_OFFSET); |
| 536 | int length = getInt(hdr2Offset+NAME_LENGTH); |
| 537 | if (offset==0 || length==0) |
| 538 | return fileName; |
| 539 | if (offset+length*2>size) |
| 540 | return fileName; |
| 541 | char[] name = new char[length]; |
| 542 | for (int i=0; i<length; i++) |
| 543 | name[i] = (char)getShort(offset+i*2); |
| 544 | return new String(name); |
| 545 | } |
| 546 | |
| 547 | String getRoiProps() { |
| 548 | int hdr2Offset = getInt(HEADER2_OFFSET); |
no test coverage detected