/** * Writes `repository_id' to this stream, perhaps via indirection. */ private void write_repository_id(final String repository_id) { Integer _index = getRepIdMap().get (repository_id); if ( _index == null) { // a new repository id -- write it // first make sure the pos we're about to remember is // a correctly aligned one, i.e., the actual writing position int remainder = 4 - (index % 4); if ( remainder != 4 ) { index += remainder; pos += remainder; } getRepIdMap().put (repository_id, Integer.valueOf(size())); write_string (repository_id); } else { // a previously written repository id -- make an indirection write_long (0xffffffff); write_long (_index.intValue() - size()); } }
getRepIdMap(), getCodebaseMap()) );