Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
VdmThread.javaTODOremove state from name
VdmThread.javaTODOAuto-generated catch block
VdmThread.javaTODOlog exception
VdmThread.javaTODOlog exception
VdmVariable.javaTODOUse key if provided
VdmVariable.javaTODOperform more smart verification
VdmThreadStateManager.javaFIXMEI believe that the current debugger do not support any comminication while running
VdmVariable.javaTODOlocalize
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated method stub
VdmConsoleInputListener.javaTODOAuto-generated catch block
VdmDebugTarget.javaTODOAuto-generated catch block
VdmLineBreakpoint.javaTODOAuto-generated catch block
VdmStackFrame.javaTODOAuto-generated catch block
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOtemporary fix. Collapses all threads except the running one
VdmThreadEventHandler.javaTODOAuto-generated catch block
DbgpOperation.javaTODOimprove
DbgpSuspendOperation.javaTODOthink about what to do with this status
LogView.javaFIXMEwhat is this! why is it here and is it used
LogView.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOAuto-generated catch block
VdmEvaluationEngine.javaTODOAuto-generated method stub
DbgpDebugger.javaFIXMEshould use single command queue here to guarantee we handle responses in the same sequences as we send
VdmVariableWrapperValue.javaTODOAuto-generated method stub
VdmEvaluationEngine.javaTODOimprove
DbgpDebugger.javaTODOhandling
DbgpDebugger.javaTODOto debug log
DbgpDebugger.javaTODOerror handling
DbgpDebugger.javaTODOerror handling
VdmModelWorkingCopy.javaFIXMEstate!!
Options.javaTODOAuto-generated catch block
VdmModelException.javaTODOAuto-generated constructor stub
VdmModelException.javaTODOAuto-generated method stub
ClasspathUtils.javaTODOput in constant file
ResourceManager.javaTODOAuto-generated catch block
Options.javaTODOAuto-generated catch block
ClasspathUtils.javaTODOClasspathUtils.collectClasspath(new String[] { GenericOvertureInstallType.EMBEDDED_VDMJ_BUNDLE_ID, GenericOvertureInstallType.DBGP_FOR_VDMJ_BUNDLE_ID }, result);
VdmjBuilder.javaTODOAuto-generated catch block
IVdmElement.javaTODO(philippe) predicate shouldn't throw an exception
VdmjBuilder.javaFIXMEfire build complete event
DbgpPropertyCommands.javaTODOcheck length!!!
DbgpPacketReceiver.javaTODOcorrect init tag handling without this hack
DbgpDebugingEngine.javaFIXME[OutOfMemory] The start is skipped if a out of memory exception have occurred. The memory here is the
DbgpDebugingEngine.javaFIXMEthis event is delivered on the separate thread, so sometimes logging misses a few initial packets.
IVdmBreakpointListener.javaTODOimplement
SetVdmType.javaTODOAuto-generated constructor stub
DbgpXmlEntityParser.javaTODOCheck ATTR_TYPE who knows when. According to the http//xdebug.org/docs-dbgp.php#stack-get
DbgpXmlParser.javaTODOthis should probably be logged
VdmProject.javaTODOcheck this, does it break something? not using the actual location. This was changed to do linked files.
VdmDebugPlugin.javaTODO
ResourceManager.javaTODOAuto-generated catch block
ResourceManager.javaFIXMEuse new method isProjectBuildConttent(file)
IDbgpContinuationCommands.javaTODOadd detach handling to commands and DbgpDetachedException!!!
DbgpDebugingEngine.javaFIXME[OutOfMemory]
DbgpRawListener.javaTODOAuto-generated method stub
DbgpRequest.javaTODOoptimize - send directly to stream without string
VdmSlNewModuleWizard.javaTODODefine values here\n"
VdmSlNewModuleWizard.javaTODODefine functions here\n"
VdmSlNewModuleWizard.javaTODODefine state here\n"
VdmSlNewModuleWizard.javaTODODefine types here\n"
VdmSlNewModuleWizard.javaTODODefine operations here\n"
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n\n"+
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n*/\n"+
VdmRtNewSystemWizard.javaTODODefine deployable objects as static instance variables\n"+
VdmRtNewSystemWizard.javaTODODeploy deployable object to cpu's\n/*\n"+
VdmSlRuntimeUtil.javaFIXMEthrow approiate error
VdmSlRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
VdmSlProjectNature.javaTODOAuto-generated method stub
VdmSlProjectNature.javaTODOAuto-generated method stub
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmOutlineTreeContentProvider.javaTODOAuto-generated method stub
VdmCompletionHelper.javaTODOAuto-generated method stub
VdmCompletionHelper.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
NameGen.javaTODOTemp class which has to be removed and replaced with the NameGen from package org.overture.codegen.vdm2jml.util; since it duplicates functionality
VdmElementImageDescriptor.javaFIXMEthis was never used why was it here? -jwc/22Feb2013
VdmElementImageProvider.javaTODOthis map should be deleted when the AST fix is made
GotoDefinitionHandler.javaTODOAuto-generated catch block
GotoDefinitionHandler.javaTODOAuto-generated catch block
VdmResourceDragAdapterAssistant.javaTODOAuto-generated constructor stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmElementLabels.javaTODOthis map should be deleted when the AST fix is made
VdmElementLabels.javaTODOAuto-generated method stub
VdmPpNewClassWizard.javaTODODefine instance variables here\n"
VdmPpNewClassWizard.javaTODODefine functions here\n"
VdmPpRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
VdmPpNewClassWizard.javaTODODefine types here\n"
VdmRtProjectNature.javaTODOAuto-generated method stub
VdmRtRuntimeChecksLaunchConfigurationTab.javaTODOAuto-generated catch block
VdmPpNewClassWizard.javaTODODefine Combinatorial Test Traces here\n" + "end "
VdmRtProjectNature.javaTODOAuto-generated method stub
EditorUtility.javaTODOAuto-generated catch block
VdmTypeCheckerUi.javaTODOwe may be able to use the istypechecked and istypecorrect in a better way here
EditorUtility.javaTODOAuto-generated catch block
EditorUtility.javaTODOAuto-generated catch block
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmTypeCheckerUi.javaTODOwe may be able to use the istypechecked and istypecorrect in a better way here
VdmNewProjectWizard.javaTODOAuto-generated catch block
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaTODOMVQ This info is not used?
DummyViewer.javaTODOAuto-generated method stub
OverviewEventViewer.javaTODOMVQ This info is not used?
TraceViewer.javaFIXMEAll these magic numbers?!
TraceViewer.javaTODORemove magic numbers
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaFIXMEMagic numbers
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
AdapterFactoryWorkbenchAdapter.javaTODOAuto-generated method stub
VdmAnnotationHover.javaTODOAuto-generated catch block
Vdm2Uml.javaTODOfix for modelio not supporting version 4.0.0 of EMF UML
Vdm2UmlAssociationUtil.javaTODOAuto-generated catch block
VdmExternalEditor.javaFIXME
VdmCodeScanner.javaTODOthis is a hack to get latex related stuff commented
VdmAnnotationHover.javaTODOAuto-generated catch block
VdmEditor.javaTODOdon't search for mutexes
TraceFileRunner.javaTODORemove DUMMY. Introduced to hack time travels
ValidationConjecturesView.javaTODOAuto-generated constructor stub
BusMessageEventHandler.javaTODOMVQ Review if all objects are required in all draw methods
TraceFileRunner.javaFIXME- MVQ Dirty hack in order to extend the blue line (Active/Blocked) to the end of canvas.
Vdm2UmlCommand.javaTODOAuto-generated catch block
UmlTypeCreator.javaTODOAuto-generated method stub
ValidationConjecturesView.javaTODOAuto-generated method stub
Vdm2UmlCommand.javaTODOAuto-generated catch block
WorkbenchPropertyPage1.javaTODOAuto-generated constructor stub
WorkbenchPropertyPage1.javaTODOAuto-generated method stub
WorkbenchPreferencePageCsk.javaTODOAuto-generated method stub
DotHandler.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
WorkbenchPropertyPage1.javaTODOAuto-generated catch block
LatexUtils.javaTODOCheck whether this must be the else case of (model == null || !model.isTypeCorrect())
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ExternalCoverageEditor.javaTODOAuto-generated catch block
OpenVdmToolsProjectCommandHandler.javaTODOAuto-generated catch block
CoverageEditor.javaTODOAuto-generated catch block
ExternalCoverageEditor.javaTODOAuto-generated catch block
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
CpuEventViewer.javaTODOMAA
CpuEventViewer.javaTODO");
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
Xetex.javaTODOAuto-generated catch block
Xetex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
ProcessConsolePrinter.javaTODOAuto-generated catch block
ConjectureData.javaTODOCheck if conjecture already exists in the list
ConjectureMarker.javaTODOAuto-generated method stub
Xetex.javaTODOAuto-generated catch block
VdmQuickInterpreter.javaTODOAuto-generated catch block
VdmBreakpointAdapterFactory.javaTODOAuto-generated catch block
VdmBreakpointAdapterFactory.javaTODOAuto-generated method stub
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmDebugModelPresentation.javaTODOit fixes the source lookup for wordDocs - not sure if this has other implications
VdmDebugModelPresentation.javaTODOAuto-generated catch block
DebugConsoleManager.javaTODOAuto-generated catch block
VdmStreamProxy.javaTODOis there a better way to access these internal preferences??
LogView.javaTODOAuto-generated method stub
DebugConsoleManager.javaTODOwe allow both debug and run here...
VdmLaunchShortcut.javaTODOget ISourceUnit from editor
VdmLaunchShortcut.javaTODO
VdmLineBreakpointPropertiesRulerActionDelegate.javaTODOAuto-generated constructor stub
WatchCommand.javaTODOAuto-generated method stub
AsyncCaller.javaTODOAuto-generated catch block
DebuggerPropertiesManager.javaTODOAuto-generated catch block
ProcessConsolePrinter.javaTODOAuto-generated catch block
AsyncCaller.javaTODOAuto-generated catch block
StorageManager.javaTODOAuto-generated catch block
TracesTreeView.javaTODO
TracesXmlStoreReader.javaTODO
StorageManager.javaTODOcould not parse file. Posible not found
VdmBreakpointPropertyPage.javaTODOproperty page 10 (VdmBreakpointPropertyPage)",
VdmBreakpointPropertyPage.javaTODOPlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(),
VdmLineBreakpointAdapter.javaTODOAuto-generated catch block
VdmBreakpointPropertyPage.javaTODOproperty title (VdmBreakpointPropertyPage)");
VdmLineBreakpointPropertyPage.javaTODOHELP CONTEXT
JarClassSelector.javaTODOAuto-generated method stub
VdmLineBreakpointPropertyPage.javaTODOI removed this label until we find a solution to fidn the member
VdmLineBreakpointPropertyPage.javaTODOthe member should be reated here