001 /* Copyright (c) 2011, Jesper Öqvist <jesper.oqvist@cs.lth.se> 002 * All rights reserved. 003 * 004 * Redistribution and use in source and binary forms, with or without 005 * modification, are permitted provided that the following conditions are met: 006 * 007 * 1. Redistributions of source code must retain the above copyright notice, 008 * this list of conditions and the following disclaimer. 009 * 010 * 2. Redistributions in binary form must reproduce the above copyright notice, 011 * this list of conditions and the following disclaimer in the documentation 012 * and/or other materials provided with the distribution. 013 * 014 * 3. Neither the name of the copyright holder nor the names of its 015 * contributors may be used to endorse or promote products derived from this 016 * software without specific prior written permission. 017 * 018 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" 019 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 020 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 021 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE 022 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 023 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 024 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 025 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 026 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 027 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 028 * POSSIBILITY OF SUCH DAMAGE. 029 */ 030 031 /** 032 * JLS $5.1.9 033 * 034 * Add unchecked conversion warnings to the type checking 035 * of assignments, declaration initializers and cast expressions. 036 * 037 * TODO: The unchecked conversion warning can be suppressed with 038 * the SuppressWarnings annotation. 039 */ 040 aspect UncheckedConversion { 041 public void VariableDeclaration.checkWarnings() { 042 if (hasInit() && !suppressWarnings("unchecked")) { 043 checkUncheckedConversion(getInit().type(), type()); 044 } 045 } 046 047 public void FieldDeclaration.checkWarnings() { 048 if (hasInit() && !suppressWarnings("unchecked")) { 049 checkUncheckedConversion(getInit().type(), type()); 050 } 051 } 052 053 public void AssignSimpleExpr.checkWarnings() { 054 if (!withinSuppressWarnings("unchecked")) { 055 checkUncheckedConversion(getSource().type(), getDest().type()); 056 } 057 } 058 059 public void CastExpr.checkWarnings() { 060 if (!withinSuppressWarnings("unchecked")) { 061 checkUncheckedConversion(getExpr().type(), getTypeAccess().type()); 062 } 063 } 064 065 public void ASTNode.checkUncheckedConversion(TypeDecl source, TypeDecl dest) { 066 if (source.isUncheckedConversionTo(dest)) { 067 warning("unchecked conversion from raw type " + source.typeName() 068 + " to generic type " + dest.typeName()); 069 } 070 } 071 072 /** 073 * An unchecked conversion occurs when converting from a 074 * raw type G to a generic type G<T1, ..., Tn>. 075 */ 076 syn boolean TypeDecl.isUncheckedConversionTo(TypeDecl dest) = 077 (!dest.isRawType()) && this.isRawType(); 078 }