gov.nasa.jpf.util.json

Class CGCall

Parameters:
jsonObject - - parsed JSON object
CGCreators - - hash of factories to create Choice Generators
Returns:
list of choice generators that should be set in a current state.