Lines Matching defs:milestone
228 this.milestonesCombo.setToolTipText("Enter the date of the milestone as yyyymmddHHMM");
543 String milestone = store.getDefaultString(prefix + "0");
545 while (milestone != null && milestone.length() > 0) {
546 this.milestonesCombo.add(milestone);
547 milestone = store.getDefaultString(prefix + ++index);
611 String milestone = store.getString(prefix + index);
612 while (milestone != null && milestone.length() > 0) {
613 this.milestonesCombo.add(milestone);
614 milestone = store.getString(prefix + ++index);
752 // already existing milestone, leave silently
753 if (MessageDialog.openQuestion(getShell(), getDialogTitle(), "Do you want to select milestone "+milestoneDate+" as the last build?")) {
756 String milestone = milestoneDate.substring(milestoneDate.indexOf('-')+1);
758 if (builds[b].length() > 0 && Util.getBuildDate(builds[b]).equals(milestone)) {
773 // Do not verify further until a complete milestone date is entered
819 // Verify that the added milestone is valid
823 // Verify that the milestone follow the last one
826 // No previous last milestone
829 // Compare with last milestone
833 // M6 is the last dvpt milestone
841 // RC4 is the last release candidate milestone
852 MessageDialog.openError(getShell(), getDialogTitle(), "Unexpected last milestone name: "+lastMilestone+"!");
856 // Verify the date of the new milestone
861 MessageDialog.openError(getShell(), getDialogTitle(), "Milestone "+milestoneDate+" should be after the last milestone: "+lastMilestoneDate+"!");
866 // Verification are ok, ask to add the milestone
867 final String milestone = milestoneName + "-" + milestoneDate;
868 if (MessageDialog.openConfirm(getShell(), getDialogTitle(), milestoneDate+" is a valid milestone date.\n\nDo you want to add the milestonemilestone+"' to the preferences?")) {
869 this.milestonesCombo.add(milestone);
895 * @param milestone
897 void openMilestoneErrorMessage(String milestone) {
898 MessageDialog.openError(getShell(), getDialogTitle(), milestone+" is an invalid milestone date. Only 'yyyymmddHHMM' format is accepted!");
1016 String milestone = store.getString(prefix + count);
1017 while (milestone != null && milestone.length() > 0) {
1019 milestone = store.getString(prefix + count);
