1 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 33 34 public abstract class TestStmt extends Stmt { 35 36 public abstract Expr getTest(); 37 38 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 49 public TestStmt(SourceLocation location) { 50 super(location); 51 52 } 53 54 55 public String getDefaultDisplayName() { 56 return "TestStmt()"; 57 } 58 59 } 61 62 63 | Popular Tags |