Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
ExitTypeCollector.javaTODOWe don't know what an expression call will raise
ModuleTypeChecker.javaFIXMEinternal error
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
ExitTypeCollector.javaTODOWe don't know what an operation call will raise
ExitTypeCollector.javaTODOWe don't know what an expression will raise
ClassTypeChecker.javaFIXMEinternal error
DBGPReader.javaTODOHandle the error in VDMJ, terminate?
NextGenRTLogger.javaTODOAuto-generated catch block
DeclVisitorIR.javaFIXMEpatterns should be handled by transformations
PatternTrans.javaTODOMake it such that the successer var is passed on (multiple binds)
TypeVisitorIR.javaTODOMorten initially requested some way of knowing whether a type originates
ExpVisitorIR.javaTODOUpdate the type checker?
TransAssistantIR.javaTODOThis actually forces the return type to be 'void'. Maybe generalise?
ModuleToClassTransformation.javaTODOImplement the import analysis cases
PatternTrans.javaTODOcurrently values patterns are replaced by strings
TransAssistantIR.javaFIXMEmake this method work on generic PMUltipleBinds
IROperatorLookup.javaTODOOperators must be added as they come. Are there more to be added?
JavaCodeGen.javaTODOneeds to take all of them into account
Exp2StmTrans.javaTODO
IROperatorLookup.javaTODOThis is not the way to do it! Fix operator precedence!
IsaTranslations.javaFIXMEUnhack result name extraction for implicit functions
TraceNode.javaTODOTo be done. Consider where the right place is to check for this.
IsaTranslations.javaFIXMEUnhack invariant extraction for namedt ypes
IsaTranslations.javaFIXMEUnhack invariant extraction for named types
RecInvTransformation.javaTODOConstructing names like this will work since names on the form _<name> cannot appear in a VDM model. What
RecAccessorTrans.javaTODOPrivatise record fields?
TraceRunnerMain.javaTODOAuto-generated catch block
TypePredDecorator.javaTODOMake this case handle state designators
JmlGenUtil.javaTODOCurrently invariant method are named on the form "module_typename" although this does not truly
TypePredUtil.javaTODOConsider better handling
TypePredHandler.javaTODOConsider this for the atomic statement
TraceNode.javaTODOType check missing here If the type check fails we would also have to do filtering
VdmSlNewModuleWizard.javaTODODefine functions here\n"
VdmSlNewModuleWizard.javaTODODefine values here\n"
VdmSlNewModuleWizard.javaTODODefine operations here\n"
VdmSlRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
VdmSlRuntimeUtil.javaFIXMEthrow approiate error
VdmSlNewModuleWizard.javaTODODefine types here\n"
VdmSlNewModuleWizard.javaTODODefine state here\n"
VdmTypeCheckerUi.javaTODOwe may be able to use the istypechecked and istypecorrect in a better way here
EditorUtility.javaTODOAuto-generated catch block
VdmNewProjectWizard.javaTODOAuto-generated catch block
VdmTypeCheckerUi.javaTODOwe may be able to use the istypechecked and istypecorrect in a better way here
VdmCompletionHelper.javaTODOTemp class which has to be removed and replaced with the NameGen from package org.overture.codegen.vdm2jml.util; since it duplicates functionality
VdmCompletionHelper.javaTODOAuto-generated method stub
EditorUtility.javaTODOAuto-generated catch block
EditorUtility.javaTODOAuto-generated catch block
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
NameGen.javaTODOTemp class which has to be removed and replaced with the NameGen from package org.overture.codegen.vdm2jml.util; since it duplicates functionality
ImportStandardLibraryMarkerResolution.javaTODOAuto-generated method stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated constructor stub
VdmOutlineTreeContentProvider.javaTODOAuto-generated method stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n*/\n"+
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n\n"+
VdmSlProjectNature.javaTODOAuto-generated method stub
VdmSlProjectNature.javaTODOAuto-generated method stub
VdmRtRuntimeChecksLaunchConfigurationTab.javaTODOAuto-generated catch block
VdmRtProjectNature.javaTODOAuto-generated method stub
VdmRtNewSystemWizard.javaTODODeploy deployable object to cpu's\n/*\n"+
VdmRtNewSystemWizard.javaTODODefine deployable objects as static instance variables\n"+
VdmPpNewClassWizard.javaTODODefine functions here\n"
VdmPpNewClassWizard.javaTODODefine instance variables here\n"
VdmRtProjectNature.javaTODOAuto-generated method stub
VdmPpNewClassWizard.javaTODODefine Combinatorial Test Traces here\n" + "end "
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmPpNewClassWizard.javaTODODefine types here\n"
VdmPpRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
ValidationConjecturesView.javaTODOAuto-generated constructor stub
TraceFileRunner.javaTODORemove DUMMY. Introduced to hack time travels
Vdm2UmlCommand.javaTODOAuto-generated catch block
ValidationConjecturesView.javaTODOAuto-generated method stub
TraceViewer.javaTODORemove magic numbers
TraceViewer.javaFIXMEAll these magic numbers?!
TraceFileRunner.javaFIXME- MVQ Dirty hack in order to extend the blue line (Active/Blocked) to the end of canvas.
BusMessageEventHandler.javaTODOMVQ Review if all objects are required in all draw methods
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaFIXMEMagic numbers
OverviewEventViewer.javaTODOMVQ This info is not used?
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
OverviewEventViewer.javaTODOMVQ This info is not used?
DummyViewer.javaTODOAuto-generated method stub
VdmElementImageProvider.javaTODOthis map should be deleted when the AST fix is made
VdmElementImageDescriptor.javaFIXMEthis was never used why was it here? -jwc/22Feb2013
VdmElementLabels.javaTODOAuto-generated method stub
VdmElementLabels.javaTODOthis map should be deleted when the AST fix is made
VdmCodeScanner.javaTODOthis is a hack to get latex related stuff commented
VdmExternalEditor.javaFIXME
GotoDefinitionHandler.javaTODOAuto-generated catch block
GotoDefinitionHandler.javaTODOAuto-generated catch block
VdmAnnotationHover.javaTODOAuto-generated catch block
AdapterFactoryWorkbenchAdapter.javaTODOAuto-generated method stub
VdmEditor.javaTODOdon't search for mutexes
VdmAnnotationHover.javaTODOAuto-generated catch block
UmlTypeCreator.javaTODOAuto-generated method stub
Vdm2UmlCommand.javaTODOAuto-generated catch block
Vdm2UmlAssociationUtil.javaTODOAuto-generated catch block
Vdm2Uml.javaTODOfix for modelio not supporting version 4.0.0 of EMF UML
Xetex.javaTODOAuto-generated catch block
Xetex.javaTODOAuto-generated catch block
VdmQuickInterpreter.javaTODOAuto-generated catch block
Xetex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
ProcessConsolePrinter.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
WorkbenchPropertyPage1.javaTODOAuto-generated method stub
WorkbenchPropertyPage1.javaTODOAuto-generated constructor stub
LatexUtils.javaTODOCheck whether this must be the else case of (model == null || !model.isTypeCorrect())
WorkbenchPropertyPage1.javaTODOAuto-generated catch block
OpenVdmToolsProjectCommandHandler.javaTODOAuto-generated catch block
ExternalCoverageEditor.javaTODOAuto-generated catch block
DotHandler.javaTODOAuto-generated catch block
WorkbenchPreferencePageCsk.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
ConjectureMarker.javaTODOAuto-generated method stub
ConjectureData.javaTODOCheck if conjecture already exists in the list
CpuEventViewer.javaTODO");
CpuEventViewer.javaTODOMAA
VdmBreakpointPropertyPage.javaTODOPlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(),
VdmBreakpointPropertyPage.javaTODOproperty page 10 (VdmBreakpointPropertyPage)",
VdmLineBreakpointPropertyPage.javaTODOthe member should be reated here
VdmLineBreakpointPropertyPage.javaTODOI removed this label until we find a solution to fidn the member
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmBreakpointPropertyPage.javaTODOproperty title (VdmBreakpointPropertyPage)");
VdmLineBreakpointAdapter.javaTODOAuto-generated catch block
VdmBreakpointAdapterFactory.javaTODOAuto-generated method stub
VdmBreakpointAdapterFactory.javaTODOAuto-generated catch block
VdmDebugModelPresentation.javaTODOAuto-generated catch block
VdmDebugModelPresentation.javaTODOit fixes the source lookup for wordDocs - not sure if this has other implications
VdmLaunchShortcut.javaTODO
VdmLaunchShortcut.javaTODOget ISourceUnit from editor
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ExternalCoverageEditor.javaTODOAuto-generated catch block
CoverageEditor.javaTODOAuto-generated catch block
TracesTreeView.javaTODO
StorageManager.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
DebuggerPropertiesManager.javaTODOAuto-generated catch block
AsyncCaller.javaTODOAuto-generated catch block
StorageManager.javaTODOcould not parse file. Posible not found
TracesXmlStoreReader.javaTODO
JarClassSelector.javaTODOAuto-generated method stub
VdmLineBreakpointPropertyPage.javaTODOHELP CONTEXT
AsyncCaller.javaTODOAuto-generated catch block
VdmEvaluationEngine.javaTODOAuto-generated method stub
VdmEvaluationEngine.javaTODOimprove
DbgpDebugger.javaTODOerror handling
DbgpDebugger.javaFIXMEshould use single command queue here to guarantee we handle responses in the same sequences as we send
VdmVariable.javaTODOUse key if provided
VdmVariable.javaTODOlocalize
VdmVariableWrapperValue.javaTODOAuto-generated method stub
VdmVariable.javaTODOperform more smart verification
VdmThread.javaTODOremove state from name
VdmThread.javaTODOlog exception
VdmThreadStateManager.javaFIXMEI believe that the current debugger do not support any comminication while running
VdmThread.javaTODOAuto-generated catch block
VdmLineBreakpoint.javaTODOAuto-generated catch block
VdmDebugTarget.javaTODOAuto-generated catch block
VdmThread.javaTODOlog exception
VdmStackFrame.javaTODOAuto-generated catch block
VdmStreamProxy.javaTODOis there a better way to access these internal preferences??
DebugConsoleManager.javaTODOwe allow both debug and run here...
WatchCommand.javaTODOAuto-generated method stub
VdmLineBreakpointPropertiesRulerActionDelegate.javaTODOAuto-generated constructor stub
LogView.javaFIXMEwhat is this! why is it here and is it used
VdmThreadEventHandler.javaTODOAuto-generated catch block
LogView.javaTODOAuto-generated method stub
LogView.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOtemporary fix. Collapses all threads except the running one
DbgpSuspendOperation.javaTODOthink about what to do with this status
VdmThreadEventHandler.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOAuto-generated catch block
DbgpDebugger.javaTODOhandling
DbgpDebugger.javaTODOerror handling
DbgpOperation.javaTODOimprove
DbgpDebugger.javaTODOto debug log
VdmProject.javaTODOcheck this, does it break something? not using the actual location. This was changed to do linked files.
ResourceManager.javaFIXMEuse new method isProjectBuildConttent(file)
DbgpRawListener.javaTODOAuto-generated method stub
VdmDebugPlugin.javaTODO
ClasspathUtils.javaTODOput in constant file
ClasspathUtils.javaTODOClasspathUtils.collectClasspath(new String[] { GenericOvertureInstallType.EMBEDDED_VDMJ_BUNDLE_ID, GenericOvertureInstallType.DBGP_FOR_VDMJ_BUNDLE_ID }, result);
ResourceManager.javaTODOAuto-generated catch block
ResourceManager.javaTODOAuto-generated catch block
VdmModelWorkingCopy.javaFIXMEstate!!
VdmModelException.javaTODOAuto-generated method stub
Options.javaTODOAuto-generated catch block
Options.javaTODOAuto-generated catch block
VdmjBuilder.javaTODOAuto-generated catch block
VdmjBuilder.javaFIXMEfire build complete event
VdmModelException.javaTODOAuto-generated constructor stub
IVdmElement.javaTODO(philippe) predicate shouldn't throw an exception
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated catch block
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated method stub
IVdmBreakpointListener.javaTODOimplement
DbgpXmlParser.javaTODOthis should probably be logged
VdmConsoleInputListener.javaTODOAuto-generated catch block
SetVdmType.javaTODOAuto-generated constructor stub
DbgpPropertyCommands.javaTODOcheck length!!!
DbgpDebugingEngine.javaFIXMEthis event is delivered on the separate thread, so sometimes logging misses a few initial packets.
DbgpXmlEntityParser.javaTODOCheck ATTR_TYPE who knows when. According to the http//xdebug.org/docs-dbgp.php#stack-get
DbgpPacketReceiver.javaTODOcorrect init tag handling without this hack
IDbgpContinuationCommands.javaTODOadd detach handling to commands and DbgpDetachedException!!!
DbgpRequest.javaTODOoptimize - send directly to stream without string
DbgpDebugingEngine.javaFIXME[OutOfMemory] The start is skipped if a out of memory exception have occurred. The memory here is the
DbgpDebugingEngine.javaFIXME[OutOfMemory]
TypeCheckerStmVisitor.javaTODOfix
TypeCheckerExpVisitor.javaTODOcheck if this is still needed?!
TypeCheckerImportsVisitor.javaTODO
TypeCheckerImportsVisitor.javaTODO.toDetailedString()