KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > codehaus > groovy > classgen > VerifierCodeVisitor


1 /*
2  $Id: VerifierCodeVisitor.java,v 1.10 2004/07/13 14:37:48 jstrachan Exp $
3
4  Copyright 2003 (C) James Strachan and Bob Mcwhirter. All Rights Reserved.
5
6  Redistribution and use of this software and associated documentation
7  ("Software"), with or without modification, are permitted provided
8  that the following conditions are met:
9
10  1. Redistributions of source code must retain copyright
11     statements and notices. Redistributions must also contain a
12     copy of this document.
13
14  2. Redistributions in binary form must reproduce the
15     above copyright notice, this list of conditions and the
16     following disclaimer in the documentation and/or other
17     materials provided with the distribution.
18
19  3. The name "groovy" must not be used to endorse or promote
20     products derived from this Software without prior written
21     permission of The Codehaus. For written permission,
22     please contact info@codehaus.org.
23
24  4. Products derived from this Software may not be called "groovy"
25     nor may "groovy" appear in their names without prior written
26     permission of The Codehaus. "groovy" is a registered
27     trademark of The Codehaus.
28
29  5. Due credit should be given to The Codehaus -
30     http://groovy.codehaus.org/
31
32  THIS SOFTWARE IS PROVIDED BY THE CODEHAUS AND CONTRIBUTORS
33  ``AS IS'' AND ANY EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT
34  NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
35  FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL
36  THE CODEHAUS OR ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
37  INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
38  (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
39  SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
40  HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
41  STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
42  ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
43  OF THE POSSIBILITY OF SUCH DAMAGE.
44
45  */
46 package org.codehaus.groovy.classgen;
47
48 import org.codehaus.groovy.ast.ASTNode;
49 import org.codehaus.groovy.ast.CodeVisitorSupport;
50 import org.codehaus.groovy.ast.stmt.ForStatement;
51 import org.codehaus.groovy.ast.expr.BinaryExpression;
52 import org.codehaus.groovy.ast.expr.MethodCallExpression;
53 import org.codehaus.groovy.ast.expr.PropertyExpression;
54 import org.codehaus.groovy.ast.expr.FieldExpression;
55 import org.codehaus.groovy.ast.expr.VariableExpression;
56 import org.codehaus.groovy.syntax.parser.RuntimeParserException;
57 import org.objectweb.asm.Constants;
58
59 /**
60  * Verifies the method code
61  *
62  * @author <a HREF="mailto:james@coredevelopers.net">James Strachan</a>
63  * @version $Revision: 1.10 $
64  */
65 public class VerifierCodeVisitor extends CodeVisitorSupport implements Constants {
66
67     private Verifier verifier;
68
69     VerifierCodeVisitor(Verifier verifier) {
70         this.verifier = verifier;
71     }
72
73     public void visitMethodCallExpression(MethodCallExpression call) {
74         assertValidIdentifier(call.getMethod(), "method name", call);
75         super.visitMethodCallExpression(call);
76     }
77
78     public void visitForLoop(ForStatement expression) {
79         assertValidIdentifier(expression.getVariable(), "for loop variable name", expression);
80         super.visitForLoop(expression);
81     }
82
83     public void visitPropertyExpression(PropertyExpression expression) {
84         assertValidIdentifier(expression.getProperty(), "property name", expression);
85         super.visitPropertyExpression(expression);
86     }
87
88     public void visitFieldExpression(FieldExpression expression) {
89         assertValidIdentifier(expression.getFieldName(), "field name", expression);
90         super.visitFieldExpression(expression);
91     }
92
93     public void visitVariableExpression(VariableExpression expression) {
94         assertValidIdentifier(expression.getVariable(), "variable name", expression);
95         super.visitVariableExpression(expression);
96     }
97
98     public void visitBinaryExpression(BinaryExpression expression) {
99         /*
100         if (verifier.getClassNode().isScript() && expression.getOperation().getType() == Token.EQUAL) {
101             // lets turn variable assignments into property assignments
102             Expression left = expression.getLeftExpression();
103             if (left instanceof VariableExpression) {
104                 VariableExpression varExp = (VariableExpression) left;
105
106                 //System.out.println("Converting variable expression: " + varExp.getVariable());
107
108                 PropertyExpression propExp =
109                     new PropertyExpression(VariableExpression.THIS_EXPRESSION, varExp.getVariable());
110                 expression.setLeftExpression(propExp);
111             }
112         }
113         */
114         super.visitBinaryExpression(expression);
115     }
116
117     public static void assertValidIdentifier(String JavaDoc name, String JavaDoc message, ASTNode node) {
118         int size = name.length();
119         if (size <= 0) {
120             throw new RuntimeParserException("Invalid " + message + ". Identifier must not be empty", node);
121         }
122         char firstCh = name.charAt(0);
123         if (!Character.isJavaIdentifierStart(firstCh) || firstCh == '$') {
124             throw new RuntimeParserException("Invalid " + message + ". Must start with a letter but was: " + name, node);
125         }
126
127         for (int i = 1; i < size; i++) {
128             char ch = name.charAt(i);
129             if (!Character.isJavaIdentifierPart(ch)) {
130                 throw new RuntimeParserException("Invalid " + message + ". Invalid character at position: " + (i + 1) + " of value: " + ch + " in name: " + name, node);
131             }
132         }
133     }
134 }
135
Popular Tags