Empty ArrayLiterals have no BaseType set

team-worthwhile / worthwhile

PSE am KIT 2011/12: Programmverifikation (Team 2)

BSD 3-Clause "New" or "Revised" License

5 stars 3 forks source link

Empty ArrayLiterals have no BaseType set #28

Closed bafain closed 12 years ago

bafain commented 12 years ago

Also see WorthwhileTypesystem.java at b410c0d9781e40351c920adf09537a0eccf8aca6, lines 66-68 where BaseType is set to null when the ArrayLiteral's values is empty.

bafain commented 12 years ago

Please verify the possible ArrayLiteral occurrences and the respective expected types (7a07965bc0a906862454bd13f5b7e739247f97f7) as well as a possible implementation, that has been added to WorthwhileTypesystem.java, covering them (4d905ba123aee9c2ce09572d496e3b44db7a4e7c).