gov.nasa.jpf.util.json

Interface CGCreator

public interface CGCreator

Creates Choice generator from Value array. We need this interface because there are too many Choice Generators in JPF if we will try to create CG trying to match CG constructors parameters and Values array we will have following problems:

Ambiguity with some constructors User would unable to create some kind of CG (some requires Config for example) User would need to specify unique ids in JSON

See Also:

Value