Java now uses struct_tag types (2nd edition)#3530

Merged

allredj merged 5 commits intodiffblue:developfrom

allredj:java-struct-tag2

Dec 7, 2018

Commits on Dec 6, 2018

java frontend: symbol_type -> struct_tag

Daniel Kroening
authored and
Joel Allred
committed
use a struct_tag to identify base classes

Daniel Kroening
authored and
Joel Allred
committed
C++: bases are now struct tags

Daniel Kroening
authored and
Joel Allred
committed
Handle ID_struct_tag in interpreter get_size()
Joel Allred
committed
Doc linting
Joel Allred
committed