public final void addDefinitelyAssignedVariables(Scope scope,
		int initStateIndex) {
	marker.setAttributes(new String[]{IMarker.MESSAGE, IMarker.SEVERITY,
			IMarker.LOCATION, IJavaModelMarker.CYCLE_DETECTED,
			IJavaModelMarker.CLASSPATH_FILE_FORMAT, IJavaModelMarker.ID,
			IJavaModelMarker.ARGUMENTS,});
}