org.eclipse.xtext.ui.util

Class FileOpener

java.lang.Object

org.eclipse.xtext.ui.util.FileOpener

public class FileOpener
extends Object

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.

Author:

Michael Clay

Constructor Summary

Constructors

Constructor and Description
FileOpener()

Method Summary

Methods

Modifier and Type	Method and Description
void	openFileToEdit(org.eclipse.swt.widgets.Shell shell, org.eclipse.core.resources.IFile file) Opens the file in the corresponding default editor (asynchronous execution). Does nothing if file is null
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

FileOpener

public FileOpener()

Method Detail

selectAndReveal

public void selectAndReveal(org.eclipse.core.resources.IFile file)

Parameters:

file - the file that should be selected. May be null.

openFileToEdit

public void openFileToEdit(org.eclipse.swt.widgets.Shell shell,
                  org.eclipse.core.resources.IFile file)

Opens the file in the corresponding default editor (asynchronous execution).
Does nothing if file is null

Parameters:

shell - the parent shell. May not be null

file - that should be selected.