(int alignOrIndent)
| 483 | } |
| 484 | |
| 485 | public static String getHPosCategoryStr(int alignOrIndent) { |
| 486 | int[] elements = Trainer.triple(alignOrIndent); |
| 487 | int cat = alignOrIndent&0xFF; |
| 488 | String catS = "align"; |
| 489 | if ( cat==CAT_ALIGN_WITH_ANCESTOR_CHILD ) catS = "align^"; |
| 490 | else if ( cat==CAT_INDENT_FROM_ANCESTOR_CHILD ) catS = "indent^"; |
| 491 | else if ( cat==CAT_ALIGN ) catS = "align"; |
| 492 | else if ( cat==CAT_INDENT ) catS = "indent"; |
| 493 | else return null; |
| 494 | return String.format("%7s|%d|%d", catS, elements[0], elements[1]); |
| 495 | } |
| 496 | |
| 497 | /** Do not join two words like "finaldouble" or numbers like "3double", |
| 498 | * "double3", "34", (3 and 4 are different tokens) etc... |
no test coverage detected