{"functions":[],"name":"raddoppiatore","main":{"rawId":"main","tpe":"Void","name":"main","statements":[{"@type":"Begin","id":"id_bb1b1f26_2818_452d_a3a3_0c27735a48ce"},{"newline":true,"@type":"Output","id":"id_9671791f_a1d1_4d67_a627_29fd08d3135a","value":"\"benvenuto\""},{"newline":true,"@type":"Output","id":"id_90f06a44_52d1_435b_b1fd_fe9230185966","value":"\"Questo programma serve per raddoppiare i numerii \""},{"@type":"Declare","tpe":"Integer","name":"x","id":"id_8691b2da_68c2_40c5_bff1_38caea06fba9","initValue":null},{"@type":"Input","name":"x","id":"id_3d7e2707_baf0_4e62_8a5a_ad518b76ef08","prompt":null},{"newline":true,"@type":"Output","id":"id_22907bb3_ff76_498a_8d8a_27679fdd8912","value":"\"inserisci il numero da raddoppiare\""},{"@type":"Declare","tpe":"Integer","name":"risultato","id":"id_6524f7f3_972b_4849_9175_a4c0b8782862","initValue":null},{"@type":"Assign","name":"risultato","id":"id_dd2a6e12_dd12_4f49_947b_83eadcd94a48","value":"x*2"},{"newline":true,"@type":"Output","id":"id_d8c3cec1_6b3d_42da_ab1c_ee0a7fc30953","value":"\"il numero raddoppiato è :\" +risultato"},{"@type":"Return","id":"id_3c74b3f0_bdfb_41c0_9614_cb09689c1bce","maybeValue":null}],"parameters":[]},"id":"id_87cae55b_8530_43f5_aa0a_08b2dac3b4e1","config":{"showDebugVars":true,"showFunctions":true,"lang":"c++","showGenCode":true},"version":"0.2","revision":208}