public IterativeAutoIDGenerator() { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; }
public IterativeAutoIDGenerator() { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; }
public IterativeAutoIDGenerator() { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = id; }
public IterativeAutoIDGenerator() { id = EntityCreationPreferences.getAutoIDStart(); previousStartId = 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++; }
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++; }
autoIDStart = new JSpinner(new SpinnerNumberModel(0, 0, Integer.MAX_VALUE, 1)); autoIDStart.setPreferredSize(new Dimension(100, 20)); autoIDStart.setValue(EntityCreationPreferences.getAutoIDStart()); autoIDStart.setEnabled(iterativeButton.isSelected()); autoIDStart.addChangeListener(event -> {
autoIDStart = new JSpinner(new SpinnerNumberModel(0, 0, Integer.MAX_VALUE, 1)); autoIDStart.setPreferredSize(new Dimension(100, 20)); autoIDStart.setValue(EntityCreationPreferences.getAutoIDStart()); autoIDStart.setEnabled(iterativeButton.isSelected()); autoIDStart.addChangeListener(new ChangeListener(){
autoIDStart = new JSpinner(new SpinnerNumberModel(0, 0, Integer.MAX_VALUE, 1)); autoIDStart.setPreferredSize(new Dimension(100, 20)); autoIDStart.setValue(EntityCreationPreferences.getAutoIDStart()); autoIDStart.setEnabled(iterativeButton.isSelected()); autoIDStart.addChangeListener(new ChangeListener(){
autoIDStart = new JSpinner(new SpinnerNumberModel(0, 0, Integer.MAX_VALUE, 1)); autoIDStart.setPreferredSize(new Dimension(100, 20)); autoIDStart.setValue(EntityCreationPreferences.getAutoIDStart()); autoIDStart.setEnabled(iterativeButton.isSelected()); autoIDStart.addChangeListener(event -> {