mark various 'partial constructors' as deprecated#2491

Merged

kroening merged 6 commits intodevelopfrom

std_code_constructors

Jul 24, 2018

Commits on Jul 6, 2018

mark various 'partial constructors' as deprecated, and introduce complete ones
Daniel Kroening
committed
use proper constructor for codet
Daniel Kroening
committed
use proper constructor for code_declt
Daniel Kroening
committed
use proper constructor for side_effect_expr_function_callt
Daniel Kroening
committed
use proper constructor for code_expressiont
Daniel Kroening
committed
use proper constructor for code_assertt
Daniel Kroening
committed