public class EclipseCheckerContainer extends CheckerContainer
Constructor and Description |
---|
EclipseCheckerContainer() |
Modifier and Type | Method and Description |
---|---|
void |
applyProblemsInfo(java.util.ArrayList<IMark> result) |
static void |
applyProblemsInfo(org.eclipse.core.resources.IResource res,
IMark[] result) |
IMark[] |
check(TreeNode node,
boolean batch) |
addChecker, check, clearChecked, getNode, isChecked, markChecked, markUnChecked
public IMark[] check(TreeNode node, boolean batch)
check
in class CheckerContainer
public void applyProblemsInfo(java.util.ArrayList<IMark> result)
public static void applyProblemsInfo(org.eclipse.core.resources.IResource res, IMark[] result)