Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add utility methods to cast resource to its particular type #3653

Merged
merged 1 commit into from Jan 11, 2017

Conversation

vzhukovs
Copy link
Contributor

This enhancement adds three utility methods to cast org.eclipse.che.ide.api.resources.Resource to its particular type. For more details see the POC provided in the issue: #3239

@vzhukovs vzhukovs added kind/enhancement A feature request - must adhere to the feature request template. team/plugin labels Jan 10, 2017
@vzhukovs vzhukovs self-assigned this Jan 10, 2017
@codenvy-ci
Copy link

Build # 1557 - FAILED

Please check console output at https://ci.codenvycorp.com/job/che-pullrequests-build/1557/ to view the results.

@vzhukovs vzhukovs merged commit 4cfeac1 into master Jan 11, 2017
@vzhukovs vzhukovs deleted the che#3239 branch January 11, 2017 12:54
@vzhukovs vzhukovs added this to the 5.1.0 milestone Jan 11, 2017
@JamesDrummond JamesDrummond mentioned this pull request Jan 31, 2017
9 tasks
JPinkney pushed a commit to JPinkney/che that referenced this pull request Aug 17, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement A feature request - must adhere to the feature request template.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants