edu.wis.jtlv.env.ui.editors.smv
Class SMVBuilder

java.lang.Object
  org.eclipse.core.internal.events.InternalBuilder
      org.eclipse.core.resources.IncrementalProjectBuilder
          edu.wis.jtlv.env.ui.editors.smv.SMVBuilder

All Implemented Interfaces:

org.eclipse.core.runtime.IExecutableExtension

public class SMVBuilder
extends org.eclipse.core.resources.IncrementalProjectBuilder

Field Summary

static java.lang.String	BUILDER_ID
static java.lang.String	MARKER_TYPE

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

AUTO_BUILD, CLEAN_BUILD, FULL_BUILD, INCREMENTAL_BUILD

Constructor Summary

SMVBuilder()

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Field Detail

BUILDER_ID

public static final java.lang.String BUILDER_ID

See Also:

Constant Field Values

MARKER_TYPE

public static final java.lang.String MARKER_TYPE

See Also:

Constant Field Values

Constructor Detail

SMVBuilder

public SMVBuilder()