org.meta_environment.eclipse.files
Class ResourceChanges

java.lang.Object
  toolbus.adapter.AbstractTool
      toolbus.adapter.java.AbstractJavaTool
          toolbus.adapter.eclipse.EclipseTool
              org.meta_environment.eclipse.files.ResourceChanges

All Implemented Interfaces:

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

public class ResourceChanges
extends toolbus.adapter.eclipse.EclipseTool
implements org.eclipse.core.resources.IResourceChangeListener

Nested Class Summary

private static class

ResourceChanges.InstanceKeeper

Field Summary

private static java.lang.String	BIN_FOLDER
private static java.lang.String	EXTENSION_SEPARATOR

Fields inherited from class toolbus.adapter.eclipse.EclipseTool

factory, TIME_OUT

Fields inherited from class toolbus.adapter.AbstractTool

DIRECTTOOL, REMOTETOOL, termFactory, toolBridge

Fields inherited from interface toolbus.IOperations

ACKDO, ACKEVENT, CONNECT, DEBUGPERFORMANCESTATS, DISCONNECT, DO, END, EVAL, EVENT, PERFORMANCESTATS, REQUEST, RESPONSE, TERMINATE, UNDEFINED, VALUE

Constructor Summary

private

ResourceChanges()

Method Summary

void	cleanBuild(java.lang.String sourcePathStr, java.lang.String targetExt)
private void	fileChanged(org.eclipse.imp.language.Language l, org.eclipse.core.resources.IResource resource)
private void	fileCreated(org.eclipse.imp.language.Language l, org.eclipse.core.resources.IResource resource)
private void	fileRemovedEvent(org.eclipse.imp.language.Language l, org.eclipse.core.resources.IResource resource)
private org.eclipse.core.resources.IFile	getFile(java.lang.String source)
static ResourceChanges	getInstance()
private org.eclipse.core.resources.IFile	getTargetFile(java.lang.String sourcePathStr, java.lang.String targetExt)
void	resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)
void	saveBuild(java.lang.String sourcePathStr, java.lang.String targetExt, aterm.ATerm content)
void	saveBuild(java.lang.String sourcePathStr, java.lang.String targetExt, java.lang.String content)

Methods inherited from class toolbus.adapter.eclipse.EclipseTool

connect, connect, decode, getName, receiveAckEvent, receiveTerminate

Methods inherited from class toolbus.adapter.java.AbstractJavaTool

connectDirectly

Methods inherited from class toolbus.adapter.AbstractTool

disconnect, getFactory, getToolBridge, pack, sendEvent, sendRequest, setToolBridge, terminate, unpack

Methods inherited from class java.lang.Object

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

Field Detail

BIN_FOLDER

private static final java.lang.String BIN_FOLDER

See Also:

Constant Field Values

EXTENSION_SEPARATOR

private static final java.lang.String EXTENSION_SEPARATOR

See Also:

Constant Field Values

Constructor Detail

ResourceChanges

private ResourceChanges()

Method Detail

getInstance

public static ResourceChanges getInstance()

resourceChanged

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

Specified by:

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

fileCreated

private void fileCreated(org.eclipse.imp.language.Language l,
                         org.eclipse.core.resources.IResource resource)

fileRemovedEvent

private void fileRemovedEvent(org.eclipse.imp.language.Language l,
                              org.eclipse.core.resources.IResource resource)

fileChanged

private void fileChanged(org.eclipse.imp.language.Language l,
                         org.eclipse.core.resources.IResource resource)

saveBuild

public void saveBuild(java.lang.String sourcePathStr,
                      java.lang.String targetExt,
                      java.lang.String content)

saveBuild

public void saveBuild(java.lang.String sourcePathStr,
                      java.lang.String targetExt,
                      aterm.ATerm content)

cleanBuild

public void cleanBuild(java.lang.String sourcePathStr,
                       java.lang.String targetExt)

getTargetFile

private org.eclipse.core.resources.IFile getTargetFile(java.lang.String sourcePathStr,
                                                       java.lang.String targetExt)
                                                throws org.eclipse.core.runtime.CoreException

Throws:

org.eclipse.core.runtime.CoreException

getFile

private org.eclipse.core.resources.IFile getFile(java.lang.String source)