KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > hammurapi > inspectors > CastingPrimitiveTypesRule


1 /*
2  * Hammurapi
3  * Automated Java code review system.
4  * Copyright (C) 2004 Hammurapi Group
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License as published by
8  * the Free Software Foundation; either version 2 of the License, or
9  * (at your option) any later version.
10  *
11  * This program is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14  * GNU General Public License for more details.
15  *
16  * You should have received a copy of the GNU General Public License
17  * along with this program; if not, write to the Free Software
18  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19  *
20  * URL: http://www.hammurapi.org
21  * e-Mail: support@hammurapi.biz
22  */
23 package org.hammurapi.inspectors;
24
25 import org.hammurapi.InspectorBase;
26
27 import com.pavelvlasov.jsel.JselException;
28 import com.pavelvlasov.jsel.expressions.TypeCast;
29 import com.pavelvlasov.jsel.primitives.PrimitiveType;
30 import com.pavelvlasov.review.SourceMarker;
31
32
33 /**
34  * ER-096
35  * Avoid casting primitive data types to lower precision
36  * @author Pavel Vlasov
37  * @version $Revision: 1.4 $
38  */
39 public class CastingPrimitiveTypesRule extends InspectorBase {
40     
41     public void visit(TypeCast element) throws JselException {
42         if (element.getTypeSpecification().getDimensions()==0 && element.getTypeSpecification().getType() instanceof PrimitiveType) {
43             PrimitiveType castType=(PrimitiveType) element.getTypeSpecification().getType();
44             PrimitiveType sourceType=(PrimitiveType) element.getExpression().getTypeSpecification().getType();
45             if (castType.isLowerPrecision(sourceType)) {
46                 context.reportViolation((SourceMarker) element);
47             }
48         }
49     }
50     
51 }
52
Popular Tags