org.eclipse.xtext.builder.impl
Class ProjectOpenedOrClosedListener

java.lang.Object
  org.eclipse.xtext.builder.impl.ProjectOpenedOrClosedListener

All Implemented Interfaces:

java.util.EventListener, org.eclipse.core.resources.IResourceChangeListener

public class ProjectOpenedOrClosedListener
extends java.lang.Object
implements org.eclipse.core.resources.IResourceChangeListener

Author:

Sven Efftinge - Initial contribution and API

Constructor Summary

ProjectOpenedOrClosedListener()

Method Summary

IBuilderState	getBuilderState()
IResourceSetProvider	getResourceSetProvider()
ToBeBuiltComputer	getToBeBuiltComputer()
void	resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event) Notifies this listener that some resource changes are happening, or have already happened.
protected void	scheduleRemoveProjectJob(org.eclipse.core.resources.IProject project)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProjectOpenedOrClosedListener

public ProjectOpenedOrClosedListener()

Method Detail

getResourceSetProvider

public IResourceSetProvider getResourceSetProvider()

getToBeBuiltComputer

public ToBeBuiltComputer getToBeBuiltComputer()

getBuilderState

public IBuilderState getBuilderState()

resourceChanged

public void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)

Description copied from interface: org.eclipse.core.resources.IResourceChangeListener

Notifies this listener that some resource changes are happening, or have already happened.

The supplied event gives details. This event object (and the resource delta within it) is valid only for the duration of the invocation of this method.

Note: This method is called by the platform; it is not intended to be called directly by clients.

Note that during resource change event notification, further changes to resources may be disallowed.

Specified by:

resourceChanged in interface org.eclipse.core.resources.IResourceChangeListener

Parameters:

event - the resource change event

See Also:

IResourceDelta

scheduleRemoveProjectJob

protected void scheduleRemoveProjectJob(org.eclipse.core.resources.IProject project)