/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }
/** * Migrate a DTM built with an old DTMManager to a new DTMManager. * After the migration, the new DTMManager will treat the DTM as * one that is built by itself. * This is used to support DTM sharing between multiple transformations. * @param manager the DTMManager */ public void migrateTo(DTMManager manager) { super.migrateTo(manager); // We have to reset the information in m_dtmIdent and // register the DTM with the new manager. int numDTMs = m_dtmIdent.size(); int dtmId = m_mgrDefault.getFirstFreeDTMID(); int nodeIndex = 0; for (int i = 0; i < numDTMs; i++) { m_dtmIdent.setElementAt(dtmId << DTMManager.IDENT_DTM_NODE_BITS, i); m_mgrDefault.addDTM(this, dtmId, nodeIndex); dtmId++; nodeIndex += (1 << DTMManager.IDENT_DTM_NODE_BITS); } }