Input file parsers.

The input file of the controller has to be written in JSON format.