[jdt-core-dev] Flagging unnecessary cast/instanceof operations

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[jdt-core-dev] Flagging unnecessary cast/instanceof operations

From: "Philippe P Mulet" <philippe_mulet@xxxxxxxxxx>
Date: Tue, 8 Jul 2003 12:43:19 +0200
Delivered-to: jdt-core-dev@xxxxxxxxxxx
List-archive: <http://dev.eclipse.org/pipermail/jdt-core-dev/>
List-help: <mailto:jdt-core-dev-request@eclipse.org?subject=help>
List-subscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-core-dev>, <mailto:jdt-core-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <http://dev.eclipse.org/mailman/listinfo/jdt-core-dev>, <mailto:jdt-core-dev-request@eclipse.org?subject=unsubscribe>

Considering the addition of a compiler diagnosis to signal unnecessary
cast/instanceof operations, I am wondering what the community thinks about
the default setting for such an error.
I am enclined to think that it should be a warning by default... if you
have an opinion, please react.

Follow-Ups:
- Re: [jdt-core-dev] Flagging unnecessary cast/instanceof operations
  - From: bob . news
- Re: [jdt-core-dev] Flagging unnecessary cast/instanceof operations
  - From: Alain Magloire
- RE: [jdt-core-dev] Flagging unnecessary cast/instanceof operations
  - From: Scott Stanchfield

Prev by Date: [jdt-core-dev] New 3.0 early preview posted
Next by Date: RE: [jdt-core-dev] Flagging unnecessary cast/instanceof operations
Previous by thread: [jdt-core-dev] Primary Owner
Next by thread: RE: [jdt-core-dev] Flagging unnecessary cast/instanceof operations
Index(es):
- Date
- Thread

Breadcrumbs