edu.neu.ccs.demeterf.typecheck
Class Checker

java.lang.Object
  edu.neu.ccs.demeterf.ID
      edu.neu.ccs.demeterf.typecheck.Checker

All Implemented Interfaces:

Augmentor, Builder, BuilderAugmentor

public class Checker
extends ID

Checker function class. Implements the type checking functionality over the CD-for-CDs.

Field Summary

Fields inherited from interface edu.neu.ccs.demeterf.Builder

methodName

Fields inherited from interface edu.neu.ccs.demeterf.Augmentor

methodName

Constructor Summary

Checker(List<TypeDef> ds, MethodDB<java.lang.reflect.Method> b, java.lang.Class<?> bc, Control c, Option<TypeT> ta)

Method Summary

static void	check(List<TypeDef> types, java.lang.String funcT, java.lang.String startT, Control ctrl, Option<java.lang.String> ta)
edu.neu.ccs.demeterf.typecheck.Ret	recurse(java.lang.String n)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Checker

public Checker(List<TypeDef> ds,
               MethodDB<java.lang.reflect.Method> b,
               java.lang.Class<?> bc,
               Control c,
               Option<TypeT> ta)

Method Detail

check

public static void check(List<TypeDef> types,
                         java.lang.String funcT,
                         java.lang.String startT,
                         Control ctrl,
                         Option<java.lang.String> ta)

recurse

public edu.neu.ccs.demeterf.typecheck.Ret recurse(java.lang.String n)