public class EclipseChecker
extends org.eclipse.core.resources.IncrementalProjectBuilder
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
BUILDER_ID |
Constructor and Description |
---|
EclipseChecker() |
EclipseChecker(boolean d) |
Modifier and Type | Method and Description |
---|---|
void |
runCheck(TreeDB db,
IChecker addcheck) |
public static final java.lang.String BUILDER_ID