Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
CGenerator.javaTODOAuto-generated catch block
CSetCompStrategy.javaTODOrequest
CTransUtil.javaTODOUse more accurate type
NameMangler.javaTODOUpdate IR to support set1
CGenerator.javaTODOAuto-generated catch block
NewRewriteTrans.javaFIXMEadd check to make sure it is the right one
RenameMathLibraryTrans.javaTODOAuto-generated method stub
SubClassResponsibilityMethodsTrans.javaTODOInvestigate whether this can be done more cleanly without looking at the source VDM node.
CSeqCompStrategy.javaTODOrequest
CallRewriteTrans.javaTODOAuto-generated method stub
FieldAssignToFieldSetMacroTrans.javaTODOShould match on something more specific than just caseAIdentifierVarExpIR?
FieldExpRewriteTrans.javaTODOAuto-generated method stub
LiteralInstantiationRewriteTrans.javaTODOthis may need additional rewrites actually this must be a seq comprehension
CLetBeStStmTrans.javaTODOPJ Make the platform version of this transformation extensible so that
CallRewriteTrans.javaFIXMEwe need to consider all methods not only the first one
CallRewriteTrans.javaTODOCurrently, VDM2C ignores the type arguments of function instantiations.
CallRewriteTrans.javaFIXMEwe need to consider all methods not only the first one
SystemArchitectureAnalysis.javaTODOAuto-generated catch block
DistTransTest.javaTODOAuto-generated method stub
GenerateDepObjId.javaTODOAuto-generated method stub
GenerateSendBusTrans.javaTODOIf no bus exists we get an error
Vtables.javaTODOcheck all overrides
Vtables.javaTODOcheck all overrides
Vtables.javaFIXMEthis should also be recursive
Vtables.javaFIXMEthis should also be recursive
CGen.javaTODOPVJ use the emitCode method
CGenMain.javaTODOAuto-generated catch block
CGenMain.javaTODOAuto-generated catch block
VTableGenerator.javaTODOnot sure what to do if we have something thats not an identifier pattern