* opening and closing document and document number
* tags.
*/
protected void setTags(String TagSet)
{
TagSet tagSet = new TagSet(TagSet);
tags_CaseSensitive = tagSet.isCaseSensitive();
docnotag = tagSet.getDocTag();
String tmpDocTag = "<" + tagSet.getDocTag() + ">";
String tmpEndDocTag = "</" + tagSet.getDocTag() + ">";
String tmpDocnoTag = "<" + tagSet.getIdTag() + ">";
String tmpEndDocnoTag = "</" + tagSet.getIdTag() + ">";
start_docTag = tmpDocTag.toCharArray();
start_docTagLength = start_docTag.length;
start_docnoTag = tmpDocnoTag.toCharArray();
start_docnoTagLength = start_docnoTag.length;
end_docTag = tmpEndDocTag;