[Jenkins]Jenkins

Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
ExitTypeCollector.javaTODOWe don't know what an expression call will raise
ClassTypeChecker.javaFIXMEinternal error
TypeCheckerStmVisitor.javaTODOfix
ModuleTypeChecker.javaFIXMEinternal error
ExitTypeCollector.javaTODOWe don't know what an expression will raise
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
TypeCheckerExpVisitor.javaTODOcheck if this is still needed?!