}
public void createProblemMarkerFor(final IResource resource,
final IErlFunction erlElement, final String message, final int problemSeverity)
throws CoreException {
final ISourceRange range = erlElement == null ? null : erlElement.getNameRange();
final IMarker marker = createProblemMarker(resource, null, message, 0,
problemSeverity);
final int start = range == null ? 0 : range.getOffset();
final int end = range == null ? 1 : start + range.getLength();
marker.setAttribute(IMarker.CHAR_START, Integer.valueOf(start));
marker.setAttribute(IMarker.CHAR_END, Integer.valueOf(end));
}