String function ( DatosLogin arg0 ) { Gson loc0 = new Gson ( ) ; return loc0 . toJson ( arg0 ) ; }
pre : c ! = null post : devuelve la representacion json de c. concode_field_sep String mail concode_elem_sep String pass concode_field_sep String getPass concode_elem_sep void setMail concode_elem_sep DatosLogin fromJson concode_elem_sep void setPass concode_elem_sep String getMail