import edu.neu.ccs.demeterf.*;
import edu.neu.ccs.demeter.Ident;

// to check all apply methods in a transformer (FuncDef) for type correctness
// returns true if all apply methods are type-correct
public class MethodCheck extends IDb{
    ClassDefList cdl;
    MethodCheck(ClassDefList c){ cdl = c; }

    Boolean combine(MethodDef m, TypeName ret, TypeName arg){
        // Your code replaces the following line
	// Your code will use the ClassDefList 
	// which is the class graph information
        return true;
    }

    // r for MethodList
    Boolean combine(FuncDef f, Boolean r){ return r; }

    // f for first, r for rest
    Boolean combine(MethodCons c, Boolean f, Boolean r){ return f&&r; }    

    // default if MethodList-object is empty
    Boolean combine(MethodEmpty e){ return true; }
}

// your code