infoLabel = new JLabel();
return infoLabel;
}
public Set getBreakEvent() {
NumberSet set = new NumberSet();
if(breakAllButton.isSelected())
set.add(DBEvent.ALL);
if(breakLocationButton.isSelected())
set.add(DBEvent.LOCATION);
if(breakConsumeButton.isSelected())
set.add(DBEvent.CONSUME_TOKEN);
if(breakLTButton.isSelected())
set.add(DBEvent.LT);
if(breakExceptionButton.isSelected())
set.add(DBEvent.RECOGNITION_EXCEPTION);
return set;
}