FIX: JSON remove space before symbols + quote values

issue#70
Winant Pablo 2017-02-12 12:54:58 +01:00
parent 64642d928c
commit 96b35ff078
2 changed files with 5 additions and 5 deletions

View File

@ -66,9 +66,9 @@ InitParamStatement::writeJuliaOutput(ostream &output, const string &basename)
void
InitParamStatement::writeJsonOutput(ostream &output) const
{
output << "{\"statementName\": \"param_init\", \"name\": \"" << symbol_table.getName(symb_id) << "\", " << "\"value\": ";
output << "{\"statementName\": \"param_init\", \"name\": \"" << symbol_table.getName(symb_id) << "\", " << "\"value\": \"";
param_value->writeOutput(output);
output << "}";
output << "\"}";
}
void