[TG-1157] Store generic info in specialised class#1651

Merged

thk123 merged 3 commits intodiffblue:developfrom thk123:bugfix/TG-1157/store-generic-info-in-specialized-class

Dec 6, 2017

+39-35

Commits on Dec 6, 2017

Tidying of java_specialized_generic_class_typet
thk123
committed
Add the generic type arguments to the specalised type
thk123
committed
Renaming generic_tag to generic_name since not a tag
thk123
committed