All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class epp.TypeCheck 

java.lang.Object
   |
   +----epp.TypeCheck
public class TypeCheck
extends Object
EPP $B%W%j%W%m%;%C%5$,;}$D%a%=%C%I$N$&$A(B $B%U%!%$%k(B TypeCheck.java $B$GDj5A$5$l$k%a%=%C%I$O!"(B $B7?%A%'%C%/%Q%9$N9|AH$_$r(B $BDj5A$9$k$b$N$G$9!#(B.

$BCm0U!'(B $B$3$N%/%i%9$O!"(B javadoc $B$r:n$k$?$a$NJX59E*$J%/%i%9$G$9!#(B $B

See Also:
TypeChecker

Constructor Index

o TypeCheck()

Method Index

o afterTypeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$r o beforeTypeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$r o defaultVarEnv()
$B%H%C%W%l%Y%k$K$*$1$kJQ?t4D6-$r:n$C$FJV$7$^$9!#(B
o defineTypeChecker(Symbol, TypeChecker)
TypeChecker $B$N%F!<%V%k$K!"(B TypeChecker $B%*%V%8%'%/%H$rEPO?$9$k(B $B%a%=%C%I$G$9!#(B.
o defineTypeNameChecker(Symbol, TypeNameChecker)
TypeNameChecker $B$N%F!<%V%k$K!"(B TypeNameChecker $B%*%V%8%'%/%H$rEPO?$9$k(B $B%a%=%C%I$G$9!#(B.
o extendTypeChecker(Symbol, TypeChecker)
$BEPO?$5$l$F$$$k(B TypeChecker $B%*%V%8%'%/%H$r(B decorator pattern $B$K$h$C$F(B $B3HD%$9$k$?$a$N%a%=%C%I$G$9!#(B.
o extendTypeNameChecker(Symbol, TypeNameChecker)
$BEPO?$5$l$F$$$k(B TypeNameChecker $B%*%V%8%'%/%H$r(B decorator pattern $B$K$h$C$F(B $B3HD%$9$k$?$a$N%a%=%C%I$G$9!#(B.
o generateTypeNameTable()
TypeNameTable $B$r@8@.$9$k(B factory method $B$G$9!#(B.
o initTypeCheckerTable()
TypeChecker $B$N%F!<%V%k$r=i4|2=$9$k%a%=%C%I$G$9!#(B.
o initTypeNameCheckerTable()
TypeNameChecker $B$N%F!<%V%k$r=i4|2=$9$k%a%=%C%I$G$9!#(B.
o typeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$G$9!#(B.

Constructors

o TypeCheck 
 public TypeCheck()

Methods

o initTypeCheckerTable 
 public void initTypeCheckerTable()
TypeChecker $B$N%F!<%V%k$r=i4|2=$9$k%a%=%C%I$G$9!#(B. plug-in $B$O$3$N%a%=%C%I$r3HD%$7!"(B defineTypeChecker $B$d(B extendTypeChecker $B$r8F$S=P$9$3$H$K$h$C$F!"(B $B%F!<%V%k$KEPO?$5$l$k7?%A%'%C%/%*%V%8%'%/%H$rDI2C!&3HD%$G$-$^$9!#(B

o defineTypeChecker 
 public void defineTypeChecker(Symbol tag,
                               TypeChecker func)
TypeChecker $B$N%F!<%V%k$K!"(B TypeChecker $B%*%V%8%'%/%H$rEPO?$9$k(B $B%a%=%C%I$G$9!#(B.

See Also:
TypeChecker
o extendTypeChecker 
 public void extendTypeChecker(Symbol tag,
                               TypeChecker func)
$BEPO?$5$l$F$$$k(B TypeChecker $B%*%V%8%'%/%H$r(B decorator pattern $B$K$h$C$F(B $B3HD%$9$k$?$a$N%a%=%C%I$G$9!#(B.

See Also:
TypeChecker
o initTypeNameCheckerTable 
 public void initTypeNameCheckerTable()
TypeNameChecker $B$N%F!<%V%k$r=i4|2=$9$k%a%=%C%I$G$9!#(B.

See Also:
TypeNameChecker
o defineTypeNameChecker 
 public void defineTypeNameChecker(Symbol tag,
                                   TypeNameChecker func)
TypeNameChecker $B$N%F!<%V%k$K!"(B TypeNameChecker $B%*%V%8%'%/%H$rEPO?$9$k(B $B%a%=%C%I$G$9!#(B.

See Also:
TypeNameChecker
o extendTypeNameChecker 
 public void extendTypeNameChecker(Symbol tag,
                                   TypeNameChecker func)
$BEPO?$5$l$F$$$k(B TypeNameChecker $B%*%V%8%'%/%H$r(B decorator pattern $B$K$h$C$F(B $B3HD%$9$k$?$a$N%a%=%C%I$G$9!#(B.

See Also:
TypeNameChecker
o beforeTypeCheckingPass 
 public void beforeTypeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$r
o typeCheckingPass 
 public void typeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$G$9!#(B. plug-in $B$O!"$3$N%Q%9
o generateTypeNameTable 
 public TypeNameTable generateTypeNameTable()
TypeNameTable $B$r@8@.$9$k(B factory method $B$G$9!#(B.

See Also:
TypeNameTable
o afterTypeCheckingPass 
 public void afterTypeCheckingPass()
$B7?%A%'%C%/%Q%9$NK\BN$r
o defaultVarEnv 
 public VarEnv defaultVarEnv()
$B%H%C%W%l%Y%k$K$*$1$kJQ?t4D6-$r:n$C$FJV$7$^$9!#(B 

All Packages  Class Hierarchy  This Package  Previous  Next  Index