EclipseUtils.ResourceChangeListener

Overview

Package

Class

Tree

Serialized

Index

Help

TPTP 4.1.0 Platform Project
Public API Specification

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.eclipse.tptp.platform.analysis.util.eclipse
Class EclipseUtils.ResourceChangeListener

java.lang.Object
  org.eclipse.tptp.platform.analysis.util.eclipse.EclipseUtils.ResourceChangeListener

All Implemented Interfaces:: java.util.EventListener, org.eclipse.core.resources.IResourceChangeListener

Constructor Summary
`EclipseUtils.ResourceChangeListener()`

Method Summary
`protected abstract void`	`projectClosing(org.eclipse.core.resources.IProject prj)`
`void`	`resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

public EclipseUtils.ResourceChangeListener()

Method Detail

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

Specified by:: resourceChanged in interface org.eclipse.core.resources.IResourceChangeListener

protected abstract void projectClosing(org.eclipse.core.resources.IProject prj)