All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class epp.TypeNameChecker 

java.lang.Object
   |
   +----epp.Macro
           |
           +----epp.TypeNameChecker
public abstract class TypeNameChecker
extends Macro
クラス TypeNameChecker は、すべての TypeNameChecker オブジェクトのクラスの スーパークラスです。.

TypeNameChecker オブジェクトは、型チェックパスにおいて、 "Object[]" のような型を表現する抽象構文木が、 実際にどのような型を表すかを決定するオブジェクトです。

TypeNameChecker の使われ方は TypeChecker と同じで、 メソッド call の引数として渡された Tree を、 型情報付きの Tree に変換して返します。

See Also:
initTypeNameCheckerTable, defineTypeNameChecker, extendTypeNameChecker, TypeChecker

Constructor Index

o TypeNameChecker()

Method Index

o call(Tree)
サブクラスにおいて、 tree をマクロ展開するメソッドを定義します。
o checkArgsLength(Tree, int)
ノードの引数の数をチェックします。.
o typeNameCheckTree(Tree)

Constructors

o TypeNameChecker 
 public TypeNameChecker()

Methods

o call 
 public abstract Tree call(Tree tree)
サブクラスにおいて、 tree をマクロ展開するメソッドを定義します。

Overrides:
call in class Macro
o typeNameCheckTree 
 public static Tree typeNameCheckTree(Tree tree)
o checkArgsLength 
 public static void checkArgsLength(Tree tree,
                                    int argc)
ノードの引数の数をチェックします。. 

All Packages  Class Hierarchy  This Package  Previous  Next  Index