org.meta_environment.eclipse.builder
Class Builder

java.lang.Object
  org.eclipse.core.internal.events.InternalBuilder
      org.eclipse.core.resources.IncrementalProjectBuilder
          org.eclipse.imp.builder.BuilderBase
              org.meta_environment.eclipse.builder.Builder

All Implemented Interfaces:

org.eclipse.core.runtime.IExecutableExtension

public class Builder
extends org.eclipse.imp.builder.BuilderBase

Field Summary

static java.lang.String	builderId
private BuilderTool	tool

Fields inherited from class org.eclipse.imp.builder.BuilderBase

fDependencyInfo

Fields inherited from class org.eclipse.core.resources.IncrementalProjectBuilder

AUTO_BUILD, CLEAN_BUILD, FULL_BUILD, INCREMENTAL_BUILD

Constructor Summary

Builder()

Method Summary

protected void	collectDependencies(org.eclipse.core.resources.IFile file)
protected void	compile(org.eclipse.core.resources.IFile resource, org.eclipse.core.runtime.IProgressMonitor monitor)
protected java.lang.String	getErrorMarkerID()
protected java.lang.String	getInfoMarkerID()
protected org.eclipse.imp.runtime.PluginBase	getPlugin()
protected java.lang.String	getWarningMarkerID()
protected boolean	isNonRootSourceFile(org.eclipse.core.resources.IFile resource)
protected boolean	isOutputFolder(org.eclipse.core.resources.IResource resource)
protected boolean	isSourceFile(org.eclipse.core.resources.IFile resource)

Methods inherited from class org.eclipse.imp.builder.BuilderBase

build, clearMarkersOn, compileNecessarySources, createDependencyInfo, createMarker, doRefresh, findConsole, getMarkerIDFor, postMsgDialog, postQuestionDialog

Methods inherited from class org.eclipse.core.resources.IncrementalProjectBuilder

clean, forgetLastBuiltState, getCommand, getDelta, getProject, hasBeenBuilt, isInterrupted, needRebuild, setInitializationData, startupOnInitialize

Methods inherited from class java.lang.Object

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

Field Detail

builderId

public static final java.lang.String builderId

See Also:

Constant Field Values

tool

private BuilderTool tool

Constructor Detail

Builder

public Builder()

Method Detail

collectDependencies

protected void collectDependencies(org.eclipse.core.resources.IFile file)

Specified by:

collectDependencies in class org.eclipse.imp.builder.BuilderBase

compile

protected void compile(org.eclipse.core.resources.IFile resource,
                       org.eclipse.core.runtime.IProgressMonitor monitor)

Specified by:

compile in class org.eclipse.imp.builder.BuilderBase

getErrorMarkerID

protected java.lang.String getErrorMarkerID()

Specified by:

getErrorMarkerID in class org.eclipse.imp.builder.BuilderBase

getInfoMarkerID

protected java.lang.String getInfoMarkerID()

Specified by:

getInfoMarkerID in class org.eclipse.imp.builder.BuilderBase

getWarningMarkerID

protected java.lang.String getWarningMarkerID()

Specified by:

getWarningMarkerID in class org.eclipse.imp.builder.BuilderBase

getPlugin

protected org.eclipse.imp.runtime.PluginBase getPlugin()

Specified by:

getPlugin in class org.eclipse.imp.builder.BuilderBase

isNonRootSourceFile

protected boolean isNonRootSourceFile(org.eclipse.core.resources.IFile resource)

Specified by:

isNonRootSourceFile in class org.eclipse.imp.builder.BuilderBase

isOutputFolder

protected boolean isOutputFolder(org.eclipse.core.resources.IResource resource)

Specified by:

isOutputFolder in class org.eclipse.imp.builder.BuilderBase

isSourceFile

protected boolean isSourceFile(org.eclipse.core.resources.IFile resource)

Specified by:

isSourceFile in class org.eclipse.imp.builder.BuilderBase