Generics support#1434

Merged

thk123 merged 28 commits intodiffblue:developfrom

majakusber:generics_support

Oct 10, 2017

Commits on Oct 9, 2017

Revert "Revert "TG-374 Feature/java support generics""

thk123
authored and
svorenova
committed
Fixing handling the case of *

thk123
authored and
svorenova
committed
Classes that aren't generic but inherit from a generic type have a signature

thk123
authored and
svorenova
committed
When dealing with generic arrays we should treat them like ref arrays too

thk123
authored and
svorenova
committed
Correctly handle nested generic types

thk123
authored and
svorenova
committed
Adding conversions for wild cards

thk123
authored and
svorenova
committed
Adding some useful debug info

thk123
authored and
svorenova
committed
Correcting a typo

thk123
authored and
svorenova
committed
Deal with generic methods

thk123
authored and
svorenova
committed
Extending the tests for the generic class

thk123
authored and
svorenova
committed
Adding unit tests for parsing wild card functions

thk123
authored and
svorenova
committed
Correct handling of the java generic class signature

Thomas Kiley
authored and
svorenova
committed
Adding unit test for java class that inherits from a generic class

Thomas Kiley
authored and
svorenova
committed
Applied use of utility function for loading a class file

Thomas Kiley
authored and
svorenova
committed
Adding tests for generic functions

Thomas Kiley
authored and
svorenova
committed
Adding unit test for generic array
svorenova
committed

Commits on Oct 10, 2017

Adding unit test for recursive generic class
svorenova
committed
Reverting method descriptor loading
svorenova
committed
Disabling part of the unit test for generic classes
svorenova
committed
Turning back on regression tests
svorenova
committed
Cleaning java files
svorenova
committed
Handling wild card generics with exception
svorenova
committed
Adding a warning and a commentary for unsupported generics, cleaning
svorenova
committed
Resolving name shadowing
svorenova
committed
Updating the calls of lookup method to reflect the new return type
svorenova
committed
Disabling part of the unit test for generic classes
svorenova
committed
Adding exception and tests for missing closing delimiter
svorenova
committed
Removing signature parsing for local variables
svorenova
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Uh oh!

Generics support#1434

Generics support#1434
thk123 merged 28 commits intodiffblue:developfrom
majakusber:generics_support

Commits on Oct 9, 2017

Revert "Revert "TG-374 Feature/java support generics""

Fixing handling the case of *

Classes that aren't generic but inherit from a generic type have a signature

When dealing with generic arrays we should treat them like ref arrays too

Correctly handle nested generic types

Adding conversions for wild cards

Adding some useful debug info

Correcting a typo

Deal with generic methods

Extending the tests for the generic class

Adding unit tests for parsing wild card functions

Correct handling of the java generic class signature

Adding unit test for java class that inherits from a generic class

Applied use of utility function for loading a class file

Adding tests for generic functions

Adding unit test for generic array

Commits on Oct 10, 2017

Adding unit test for recursive generic class

Reverting method descriptor loading

Disabling part of the unit test for generic classes

Turning back on regression tests

Cleaning java files

Handling wild card generics with exception

Adding a warning and a commentary for unsupported generics, cleaning

Resolving name shadowing

Updating the calls of lookup method to reflect the new return type

Disabling part of the unit test for generic classes

Adding exception and tests for missing closing delimiter

Removing signature parsing for local variables

Uh oh!

Generics support#1434thk123 merged 28 commits intodiffblue:developdiffblue/cbmc:developfrom majakusber:generics_supportmajakusber/cbmc:generics_supportCopy head branch name to clipboard

Commits

Commits on Oct 9, 2017

Commits on Oct 10, 2017

Generics support#1434
thk123 merged 28 commits intodiffblue:developfrom
majakusber:generics_support