public CatVarRenamer()
{
mNames = new CatTypeVarList();
}
static CatFxnType RenameVars(CatFxnType ft, CatTypeVarList vars)
{
return new CatFxnType(RenameVars(ft.GetCons(), vars), RenameVars(ft.GetProd(), vars), ft.HasSideEffects());
}
private void GetAllVars(CatTypeVarList vars)
{
foreach (CatKind k in GetChildKinds())
{
if (k is CatFxnType)
{
(k as CatFxnType).GetAllVars(vars);
}
else if (k.IsKindVar())
{
vars.Add(k);
}
}
}
static CatTypeVector RenameVars(CatTypeVector vec, CatTypeVarList vars)
{
CatTypeVector ret = new CatTypeVector();
foreach (CatKind k in vec.GetKinds())
{
if (k.IsKindVar() && vars.ContainsKey(k.ToString()))
ret.Add(vars[k.ToString()]);
else if (k is CatFxnType)
ret.Add(RenameVars(ret, vars));
else if (k is CatTypeVector)
throw new Exception("unexpected type vector in function during renaming");
else
ret.Add(k);
}
return ret;
}
public CatTypeVarList GetAllVars()
{
CatTypeVarList ret = new CatTypeVarList();
GetAllVars(ret);
return ret;
}
