[imp-dev] about IFactGeneratorFactory

[Jurgen Vinju <Jurgen.Vinju@xxxxxx>]

Hi Bob,

I think the issues in pdb can be solved by changing this interface:

public interface IFactGeneratorFactory {
    String getName();
    IFactGenerator create(Type type);
    void declareTypes(TypeFactory factory);
}

to

public interface IFactGeneratorFactory {
    String getName();
    IFactGenerator create(Type type);
    TypeStore declareTypes();
}

IFactGeneratorFactory classes are registered via the analysisManager
extension point. It makes
sense for an analysis to declare the types it works with.

The previous shape of the interface was
also a bit weird, since it takes the TypeFactory as a parameter which
is a singleton.

Starting from this change, and following through its consequences
should get the TODO done.

Cheers,

Jurgen