public void selectPhase(int phaseNumber) throws IOException, SimpleXAResourceException { persistentNodePool.selectPhase(phaseNumber); persistentStringPool.selectPhase(phaseNumber); }
public void selectPhase(int phaseNumber) throws IOException, SimpleXAResourceException { persistentNodePool.selectPhase(phaseNumber); persistentStringPool.selectPhase(phaseNumber); }