Examples of TeaVMProfile

Examples of org.teavm.eclipse.TeaVMProfile

68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
                if (monitor.isCanceled()) {
                    return;
                }
                String profileId = getIdForProfile(execution);
                coveredProfiles.add(profileId);
                TeaVMProfile profile = settings.getProfile(profileId);
                if (profile == null) {
                    profile = settings.createProfile();
                    profile.setName(profileId);
                }
                profile.setExternalToolId(TOOL_ID);
                configureProfile(execution, profile, new SubProgressMonitor(monitor, 1000));
                if (monitor.isCanceled()) {
                    return;
                }
            }
            for (TeaVMProfile profile : settings.getProfiles()) {
                if (!coveredProfiles.contains(profile.getName()) && profile.getExternalToolId().equals(TOOL_ID)) {
                    settings.deleteProfile(profile);
                }
            }
            settings.save();
        } finally {
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

139
140
141
142
143
144
145
146
        if (profilesTable.getSelectionCount() != 1) {
            removeProfileButton.setEnabled(false);
            return;
        }
        TableItem item = profilesTable.getSelection()[0];
        TeaVMProfile profile = (TeaVMProfile)item.getData();
        removeProfileButton.setEnabled(profile.getExternalToolId().isEmpty());
    }
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

162
163
164
165
166
167
168
169
170
171
172
        updateItem(item);
        return item;
    }

    private void updateItem(TableItem item) {
        TeaVMProfile profile = (TeaVMProfile)item.getData();
        item.setText(0, profile.getName());
        item.setText(1, profile.getTargetDirectory());
        item.setText(2, profile.getTargetFileName());
        item.setChecked(profile.isEnabled());
    }
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

170
171
172
173
174
175
176
177
        item.setText(2, profile.getTargetFileName());
        item.setChecked(profile.isEnabled());
    }

    private void storeItem(TableItem item) {
        TeaVMProfile profile = (TeaVMProfile)item.getData();
        profile.setEnabled(item.getChecked());
    }
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

176
177
178
179
180
181
182
183
184
185
186
        profile.setEnabled(item.getChecked());
    }

    private void addProfile() {
        try {
            TeaVMProfile profile = settings.createProfile();
            TableItem item = createItemForProfile(profile);
            storeItem(item);
            TeaVMProfileDialog dialog = new TeaVMProfileDialog(getShell(), settings, profile);
            dialog.setProject(project);
            dialog.open();
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

194
195
196
197
198
199
200
201
202
203
204
        if (profilesTable.getSelectionCount() != 1) {
            return;
        }
        try {
            TableItem item = profilesTable.getSelection()[0];
            TeaVMProfile profile = (TeaVMProfile)item.getData();
            storeItem(item);
            TeaVMProfileDialog dialog = new TeaVMProfileDialog(getShell(), settings, profile);
            dialog.setProject(project);
            dialog.open();
            updateItem(item);
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

210
211
212
213
214
215
216
217
218
219
220
221
    private void deleteProfile() {
        if (profilesTable.getSelectionCount() != 1) {
            return;
        }
        TableItem item = profilesTable.getSelection()[0];
        TeaVMProfile profile = (TeaVMProfile)item.getData();
        if (!profile.getExternalToolId().isEmpty()) {
            return;
        }
        boolean confirmed = MessageDialog.openConfirm(getShell(), "Deletion confirmation",
                "Are you sure to delete profile " + item.getText(0) + "?");
        if (!confirmed) {
View Full Code Here

Examples of org.teavm.eclipse.TeaVMProfile

699
700
701
702
703
704
705
706
707
708
709
        }
    }

    private boolean save() {
        String name = nameField.getText().trim();
        TeaVMProfile existingProfile = settings.getProfile(name);
        if (existingProfile != null && existingProfile != profile) {
            return false;
        }
        profile.setName(name);
        String mainClass = mainClassField.getText().trim();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.