@Override
public ResolvedPointerType caseFunctionHeader(FunctionHeader object) {
ResolvedType rettype = resolve(object.getRettype());
List<ResolvedType> paramTypes = new LinkedList<ResolvedType>();
for (Parameter p : object.getParameters().getParameters()) {
paramTypes.add(resolve(p.getType()));
}
if (object.getParameters().getVararg() != null) paramTypes.add(TYPE_VARARG);
return new ResolvedPointerType(new ResolvedFunctionType(rettype, paramTypes), BigInteger.ZERO);
}
@Override
public ResolvedType caseParameter(Parameter object) {
return resolve(object.getType().getType());
}