KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > compiler > base > ast > TestStmt


1 /* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
2  *
3  * This file is part of the compiler and core tools for the AspectJ(tm)
4  * programming language; see http://aspectj.org
5  *
6  * The contents of this file are subject to the Mozilla Public License
7  * Version 1.1 (the "License"); you may not use this file except in
8  * compliance with the License. You may obtain a copy of the License at
9  * either http://www.mozilla.org/MPL/ or http://aspectj.org/MPL/.
10  *
11  * Software distributed under the License is distributed on an "AS IS" basis,
12  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
13  * for the specific language governing rights and limitations under the
14  * License.
15  *
16  * The Original Code is AspectJ.
17  *
18  * The Initial Developer of the Original Code is Xerox Corporation. Portions
19  * created by Xerox Corporation are Copyright (C) 1999-2002 Xerox Corporation.
20  * All Rights Reserved.
21  *
22  * Contributor(s):
23  */

24
25 package org.aspectj.compiler.base.ast;
26
27 import org.aspectj.compiler.base.*;
28 import org.aspectj.compiler.base.cst.BlockScope;
29
30 /**
31   * @grammar
32   */

33
34 public abstract class TestStmt extends Stmt {
35
36     public abstract Expr getTest();
37
38     //INTRO from ScopePass
39
public void preScope(ScopeWalker walker) { walker.pushBlock(); }
40     public ASTObject postScope(ScopeWalker walker) { walker.popBlock(); return this; }
41
42
43     public void checkSpec() {
44         getTest().assertType(getTypeManager().booleanType);
45     }
46
47     //BEGIN: Generated from @child and @property
48

49     public TestStmt(SourceLocation location) {
50         super(location);
51
52     }
53
54
55     public String JavaDoc getDefaultDisplayName() {
56         return "TestStmt()";
57     }
58
59     //END: Generated from @child and @property
60
}
61
62
63
Popular Tags