001 /* Copyright (c) 2005-2008, Torbjorn Ekman 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 import java.util.*; 032 033 aspect DeclareBeforeUse { 034 inh lazy int VariableDeclaration.blockIndex(); 035 eq Program.getChild().blockIndex() = -1;// default value 036 eq Block.getStmt(int index).blockIndex() = index;// index in stmt list of block 037 038 syn boolean Block.declaredBeforeUse(VariableDeclaration decl, int indexUse) = 039 decl.blockIndex() < indexUse; 040 041 // TODO use inherited attr? 042 public int ASTNode.varChildIndex(TypeDecl t) { 043 ASTNode node = this; 044 while (node != null && node.getParent() != null && node.getParent().getParent() != t) { 045 node = node.getParent(); 046 } 047 if (node == null) { 048 return -1; 049 } 050 return t.getBodyDeclListNoTransform().getIndexOfChild(node); 051 } 052 053 public boolean TypeDecl.declaredBeforeUse(Variable decl, ASTNode use) { 054 int indexDecl = ((ASTNode) decl).varChildIndex(this); 055 int indexUse = use.varChildIndex(this); 056 return indexDecl < indexUse; 057 } 058 059 public boolean TypeDecl.declaredBeforeUse(Variable decl, int indexUse) { 060 int indexDecl = ((ASTNode) decl).varChildIndex(this); 061 return indexDecl < indexUse; 062 } 063 }