autoIDEnd = new JSpinner(new SpinnerNumberModel(-1, -1, Integer.MAX_VALUE, 1)); autoIDEnd.setPreferredSize(new Dimension(100, 20)); autoIDEnd.setValue(EntityCreationPreferences.getAutoIDEnd()); autoIDEnd.setEnabled(iterativeButton.isSelected()); autoIDEnd.addChangeListener(event -> {
autoIDEnd = new JSpinner(new SpinnerNumberModel(-1, -1, Integer.MAX_VALUE, 1)); autoIDEnd.setPreferredSize(new Dimension(100, 20)); autoIDEnd.setValue(EntityCreationPreferences.getAutoIDEnd()); autoIDEnd.setEnabled(iterativeButton.isSelected()); autoIDEnd.addChangeListener(new ChangeListener(){
autoIDEnd = new JSpinner(new SpinnerNumberModel(-1, -1, Integer.MAX_VALUE, 1)); autoIDEnd.setPreferredSize(new Dimension(100, 20)); autoIDEnd.setValue(EntityCreationPreferences.getAutoIDEnd()); autoIDEnd.setEnabled(iterativeButton.isSelected()); autoIDEnd.addChangeListener(new ChangeListener(){
autoIDEnd = new JSpinner(new SpinnerNumberModel(-1, -1, Integer.MAX_VALUE, 1)); autoIDEnd.setPreferredSize(new Dimension(100, 20)); autoIDEnd.setValue(EntityCreationPreferences.getAutoIDEnd()); autoIDEnd.setEnabled(iterativeButton.isSelected()); autoIDEnd.addChangeListener(event -> {
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++; }