|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.xtext.ui.util.FileOpener
public class FileOpener
Provide some limited but useful utilities when dealing with files that are currently in an intermediate state, e.g. the builder did not pick up their contents yet.
Constructor Summary | |
---|---|
FileOpener()
|
Method Summary | |
---|---|
void |
openFileToEdit(org.eclipse.swt.widgets.Shell shell,
org.eclipse.core.resources.IFile file)
|
void |
selectAndReveal(org.eclipse.core.resources.IFile file)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public FileOpener()
Method Detail |
---|
public void selectAndReveal(org.eclipse.core.resources.IFile file)
file
- the file that should be selected. May be null
.public void openFileToEdit(org.eclipse.swt.widgets.Shell shell, org.eclipse.core.resources.IFile file)
shell
- the parent shell. May not be null
the
- file that should be selected. May not be null
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |