c.weighty = 1.0; saveIterativeIds = new JCheckBox("Remember last ID between Prot\u00E9g\u00E9 sessions"); saveIterativeIds.setSelected(EntityCreationPreferences.getSaveAutoIDStart()); saveIterativeIds.setEnabled(iterativeButton.isSelected()); centerPanel.add(saveIterativeIds, c);
c.weighty = 1.0; saveIterativeIds = new JCheckBox("Remember last ID between Prot\u00E9g\u00E9 sessions"); saveIterativeIds.setSelected(EntityCreationPreferences.getSaveAutoIDStart()); saveIterativeIds.setEnabled(iterativeButton.isSelected()); centerPanel.add(saveIterativeIds, c);
c.weighty = 1.0; saveIterativeIds = new JCheckBox("Remember last ID between Prot\u00E9g\u00E9 sessions"); saveIterativeIds.setSelected(EntityCreationPreferences.getSaveAutoIDStart()); saveIterativeIds.setEnabled(iterativeButton.isSelected()); centerPanel.add(saveIterativeIds, c);
c.weighty = 1.0; saveIterativeIds = new JCheckBox("Remember last ID between Prot\u00E9g\u00E9 sessions"); saveIterativeIds.setSelected(EntityCreationPreferences.getSaveAutoIDStart()); saveIterativeIds.setEnabled(iterativeButton.isSelected()); centerPanel.add(saveIterativeIds, c);
protected long getRawID(Class<? extends OWLEntity> type) throws AutoIDException{ //check if start id prefs have changed meanwhile if (previousStartId != EntityCreationPreferences.getAutoIDStart()) { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; checkpoints.removeAllElements(); checkpoints.push(id); } long end = EntityCreationPreferences.getAutoIDEnd(); if (end != -1 && id > end){ throw new AutoIDException("You have run out of IDs for creating new entities - max = " + end); } if (EntityCreationPreferences.getSaveAutoIDStart()) { previousStartId = id + 1; EntityCreationPreferences.setAutoIDStart((int) (previousStartId)); } return id++; }
protected long getRawID(Class<? extends OWLEntity> type) throws AutoIDException{ //check if start id prefs have changed meanwhile if (previousStartId != EntityCreationPreferences.getAutoIDStart()) { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; checkpoints.removeAllElements(); checkpoints.push(id); } long end = EntityCreationPreferences.getAutoIDEnd(); if (end != -1 && id > end){ throw new AutoIDException("You have run out of IDs for creating new entities - max = " + end); } if (EntityCreationPreferences.getSaveAutoIDStart()) { previousStartId = id + 1; EntityCreationPreferences.setAutoIDStart((int) (previousStartId)); } return id++; }
protected long getRawID(Class<? extends OWLEntity> type) throws AutoIDException{ //check if start id prefs have changed meanwhile if (previousStartId != EntityCreationPreferences.getAutoIDStart()) { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; checkpoints.removeAllElements(); checkpoints.push(id); } long end = EntityCreationPreferences.getAutoIDEnd(); if (end != -1 && id > end){ throw new AutoIDException("You have run out of IDs for creating new entities - max = " + end); } if (EntityCreationPreferences.getSaveAutoIDStart()) { previousStartId = id + 1; EntityCreationPreferences.setAutoIDStart((int) (previousStartId)); } return id++; }
protected long getRawID(Class<? extends OWLEntity> type) throws AutoIDException{ //check if start id prefs have changed meanwhile if (previousStartId != EntityCreationPreferences.getAutoIDStart()) { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; checkpoints.removeAllElements(); checkpoints.push(id); } long end = EntityCreationPreferences.getAutoIDEnd(); if (end != -1 && id > end){ throw new AutoIDException("You have run out of IDs for creating new entities - max = " + end); } if (EntityCreationPreferences.getSaveAutoIDStart()) { previousStartId = id + 1; EntityCreationPreferences.setAutoIDStart((int) (previousStartId)); } return id++; }