protected BlockTokenizer getTokenizer() { if (fTokenizer == null) { fTokenizer = new XMLTokenizer(); } return fTokenizer; }
/** * user method * */ public BlockTokenizer newInstance() { XMLTokenizer newInstance = new XMLTokenizer(); // global tagmarkers can be shared; they have no state and // are never destroyed (e.g. 'release') for(int i = 0; i < fBlockMarkers.size(); i++) { BlockMarker blockMarker = (BlockMarker) fBlockMarkers.get(i); if(blockMarker.isGlobal()) newInstance.addBlockMarker(blockMarker); } return newInstance; } /* user method */