Open Tasks - Fixed Open Tasks

Fixed Tasks

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