Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[imp-dev] Anyone using MarkerCreatorWithBatching.{page, BUILDER_ID, PROBLEM_MARKER_ID} ?

Hi All,

Is anyone setting or even referencing these fields?

The 'page' field is unused in the class itself, and I suspect that it's globally unused as well.

The two ID fields can, and almost certainly should be, set via the constructor. In fact, I can't see why they shouldn't be private (or perhaps protected) and final.

--
Cheers,
  -- Bob
--------------------------------
Robert M. Fuhrer
Research Staff Member
Programming Technologies Dept.
IBM T.J. Watson Research Center

IMP Team Lead (http://www.eclipse.org/imp)
X10: Productivity for High-Performance Parallel Programming (http://x10-lang.org)


Back to the top