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

java.lang.Object
  extended by org.eclipse.core.internal.events.InternalBuilder
      extended by org.eclipse.core.resources.IncrementalProjectBuilder
          extended by 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()