Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
ExitTypeCollector.javaTODOWe don't know what an expression call will raise
ModuleTypeChecker.javaFIXMEinternal error
PreNameFinder.javaTODOAuto-generated method stub
MultipleBindLister.javaTODOAuto-generated method stub
InstanceVariableChecker.javaTODOAuto-generated method stub
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
PogParamStmVisitor.javaFIXMEState Inv For Atomic assignments
StatementFinder.javaTODOAuto-generated method stub
StatementFinder.javaTODOAuto-generated method stub
OperationValue.javaTODO
AllValuesCollector.javaTODOHere we have a strange behavior from transforming this call to type.apply(THIS,ctxt)
ValueCollector.javaTODOAuto-generated method stub
ValueCollector.javaTODOAuto-generated method stub
StatementExpressionFinder.javaTODOAuto-generated method stub
StatementExpressionFinder.javaTODOAuto-generated method stub
IdentifierPatternFinder.javaTODOAuto-generated method stub
IdentifierPatternFinder.javaTODOAuto-generated method stub
LengthFinder.javaTODOAuto-generated method stub
LengthFinder.javaTODOAuto-generated method stub
ClassTypeChecker.javaFIXMEinternal error
TypePrettyPrinterVisitor.javaTODOAuto-generated method stub
TypePrettyPrinterVisitor.javaTODOAuto-generated method stub
PrettyPrinterVisitor.javaTODOAuto-generated method stub
PrettyPrinterVisitor.javaTODOAuto-generated method stub
PrettyPrinterVisitorDefinitions.javaTODOAuto-generated method stub
PrettyPrinterVisitorDefinitions.javaTODOAuto-generated method stub
VariableSubVisitor.javaFIXMEcomplete the variable substitution visitor
StateDesignatorNameGetter.javaTODOAuto-generated method stub
VdmLocaleExtractor.javaTODOAuto-generated method stub
InstanceVariableChecker.javaTODOAuto-generated method stub
NamedValueLister.javaTODOAuto-generated catch block
InstanceVariableChecker.javaTODOAuto-generated method stub
DefinitionStatementFinder.javaTODOAuto-generated method stub
ExpressionFinder.javaTODOAuto-generated method stub
DefinitionValueChecker.javaTODOAuto-generated method stub
DefinitionRunTimeChecker.javaTODOAuto-generated method stub
Delegate.javaFIXMEthis is to handle inheritance in the same way as VDMJ did. See CSV and IO, where the subclass
DefinitionStatementFinder.javaTODOAuto-generated method stub
DefinitionRunTimeChecker.javaTODOAuto-generated method stub
TraceExpander.javaTODOAuto-generated method stub
TraceExpander.javaTODOAuto-generated method stub
ClassListInterpreter.javaFIXMEthis exception should be thrown
ClassListInterpreter.javaTODOCheck this method, where it is used.
BindValueCollector.javaTODOAuto-generated method stub
ConstrainedPatternChecker.javaTODOAuto-generated method stub
ConstrainedPatternChecker.javaTODOAuto-generated method stub
ExpressionValueCollector.javaTODOAuto-generated method stub
ExpressionValueCollector.javaTODOAuto-generated method stub
SubExpressionsLocator.javaTODOAuto-generated method stub
ValuesDefinitionLocator.javaTODOAuto-generated method stub
ExpExpressionFinder.javaTODOAuto-generated method stub
ExpExpressionFinder.javaTODOAuto-generated method stub
NamedValueLister.javaTODOAuto-generated method stub
NamedValueLister.javaTODOAuto-generated method stub
ExpressionEvaluator.javaTODONot very efficient to do this every time. But we can't
DBGPReaderV2.javaTODO
ExpressionEvaluator.javaFIXMEnot good
ExpressionEvaluator.javaFIXMEnot good
DBGPReader.javaTODOHandle the error in VDMJ, terminate?
DBGPExecProcesser.javaTODOAuto-generated catch block
DBGPReaderV2.javaTODOBUG Here is a problem if the evaluate is suspended in a
DBGPReader.javaTODOthis needs to be checked when
PStmAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PTypeAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PStmAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PMultipleBindAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PBindAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
ObjectThread.javaFIXMEuse visitor here
CPUResource.javaTODOoptimize by converting the speed into the correct units only once
SequenceTraceNode.javaTODOnot good, poor performance
ObjectThread.javaFIXMEuse visitor here
OperationValidationExpression.javaTODOAuto-generated method stub
OperationValidationExpression.javaTODOThe names should probably be changed to LexNameToken
BUSResource.javaTODOoptimize by converting the speed into the correct units only once
ValueObserver.javaTODOAuto-generated catch block
Tracepoint.javaFIXMEuse visitor here
SourceFile.javaTODOremove this filtering it can never happen because of the new scanner
BasicRuntimeValidator.javaTODOAuto-generated catch block
BasicRuntimeValidator.javaTODOAuto-generated catch block
NextGenRTLogger.javaTODOAuto-generated catch block
RTThreadCreateMessage.javaTODOChange show trace to allow thread name to allow easier inspection of text log file //+
Context.javaTODOSlow though.
Context.javaTODO
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
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
ACpuClassDefinitionAssistantInterpreter.javaTODOHere is one basis to pass the parameter with the Context.
TestRunner.javaTODOAuto-generated catch block
SClassDefinitionAssistantInterpreter.javaFIXMEThis ought to be done at the end of type checking...
SClassDefinitionAssistantInterpreter.javaTODOrewrite this???
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.javaTODOHandle the error in VDMJ, terminate?
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
ProcessConsolePrinter.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]
TypeDisplayer.javaTODOAuto-generated method stub
TypeDisplayer.javaTODOAuto-generated method stub
PTypeResolver.javaTODOAuto-generated method stub
TypeCheckerStmVisitor.javaTODOfix
TypeCheckerExpVisitor.javaTODOcheck if this is still needed?!
TypeCheckerImportsVisitor.javaTODO
TypeCheckerImportsVisitor.javaTODO.toDetailedString()
VoidExistanceChecker.javaTODOAuto-generated method stub
TypeEqualityChecker.javaTODOAuto-generated method stub
VoidBasisChecker.javaTODOAuto-generated method stub