Open Tasks - Fixed Open Tasks

Fixed Tasks

FileTypeMessage
ResourceManager.javaTODOAuto-generated catch block
ClasspathUtils.javaTODOput in constant file
ClasspathUtils.javaTODOClasspathUtils.collectClasspath(new String[] { GenericOvertureInstallType.EMBEDDED_VDMJ_BUNDLE_ID, GenericOvertureInstallType.DBGP_FOR_VDMJ_BUNDLE_ID }, result);
Options.javaTODOAuto-generated catch block
VdmjBuilder.javaFIXMEfire build complete event
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)
ResourceManager.javaTODOAuto-generated catch block
IVdmElement.javaTODO(philippe) predicate shouldn't throw an exception
IsaTranslations.javaFIXMEUnhack invariant extraction for namedt ypes
IsaTranslations.javaFIXMEUnhack invariant extraction for named types
IsaTranslations.javaFIXMEUnhack result name extraction for implicit functions
Options.javaTODOAuto-generated catch block
VdmModelWorkingCopy.javaFIXMEstate!!
VdmModelException.javaTODOAuto-generated method stub
VdmModelException.javaTODOAuto-generated constructor stub
VdmElementLabels.javaTODOthis map should be deleted when the AST fix is made
VdmElementImageProvider.javaTODOthis map should be deleted when the AST fix is made
VdmElementImageDescriptor.javaFIXMEthis was never used why was it here? -jwc/22Feb2013
GotoDefinitionHandler.javaTODOAuto-generated catch block
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated method stub
VdmResourceDragAdapterAssistant.javaTODOAuto-generated constructor stub
VdmElementLabels.javaTODOAuto-generated method stub
VdmAnnotationHover.javaTODOAuto-generated catch block
VdmAnnotationHover.javaTODOAuto-generated catch block
AdapterFactoryWorkbenchAdapter.javaTODOAuto-generated method stub
VdmjBuilder.javaTODOAuto-generated catch block
GotoDefinitionHandler.javaTODOAuto-generated catch block
VdmCodeScanner.javaTODOthis is a hack to get latex related stuff commented
VdmExternalEditor.javaFIXME
VdmEditor.javaTODOdon't search for mutexes
VdmTypeCheckerUi.javaTODOwe may be able to use the istypechecked and istypecorrect in a better way here
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
DbgpRequest.javaTODOoptimize - send directly to stream without string
DbgpRawListener.javaTODOAuto-generated method stub
VdmDebugPlugin.javaTODO
VdmNewProjectWizard.javaTODOAuto-generated catch block
ImportStandardLibraryMarkerResolution.javaTODOAuto-generated method stub
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
VdmLanguagePropertyPage.javaTODOAuto-generated catch block
VdmOutlineTreeContentProvider.javaTODOAuto-generated method stub
EditorUtility.javaTODOAuto-generated catch block
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
NameGen.javaTODOTemp class which has to be removed and replaced with the NameGen from package org.overture.codegen.vdm2jml.util; since it duplicates functionality
VdmDebugTarget.javaTODOAuto-generated catch block
VdmConsoleInputListener.javaTODOAuto-generated catch block
SetVdmType.javaTODOAuto-generated constructor stub
IVdmBreakpointListener.javaTODOimplement
VdmDebugTarget.javaTODOAuto-generated catch block
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated method stub
VdmDebugTarget.javaTODOAuto-generated method stub
DbgpDebugingEngine.javaFIXMEthis event is delivered on the separate thread, so sometimes logging misses a few initial packets.
DbgpDebugingEngine.javaFIXME[OutOfMemory] The start is skipped if a out of memory exception have occurred. The memory here is the
DbgpDebugingEngine.javaFIXME[OutOfMemory]
IDbgpContinuationCommands.javaTODOadd detach handling to commands and DbgpDetachedException!!!
DbgpXmlParser.javaTODOthis should probably be logged
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
DbgpPropertyCommands.javaTODOcheck length!!!
VdmVariableWrapperValue.javaTODOAuto-generated method stub
VdmVariable.javaTODOperform more smart verification
VdmVariable.javaTODOUse key if provided
VdmVariable.javaTODOlocalize
DbgpDebugger.javaTODOerror handling
DbgpDebugger.javaFIXMEshould use single command queue here to guarantee we handle responses in the same sequences as we send
VdmEvaluationEngine.javaTODOAuto-generated method stub
VdmEvaluationEngine.javaTODOimprove
VdmThread.javaTODOlog exception
VdmStackFrame.javaTODOAuto-generated catch block
VdmStack.javaTODOFOLLOWUP added for debug view
VdmLineBreakpoint.javaTODOAuto-generated catch block
VdmThreadStateManager.javaFIXMEI believe that the current debugger do not support any comminication while running
VdmThread.javaTODOAuto-generated catch block
VdmThread.javaTODOremove state from name
VdmThread.javaTODOlog exception
LogView.javaTODOAuto-generated method stub
LogView.javaTODOAuto-generated catch block
LogView.javaFIXMEwhat is this! why is it here and is it used
VdmThreadEventHandler.javaTODOAuto-generated catch block
WatchCommand.javaTODOAuto-generated method stub
VdmLineBreakpointPropertiesRulerActionDelegate.javaTODOAuto-generated constructor stub
VdmStreamProxy.javaTODOis there a better way to access these internal preferences??
DebugConsoleManager.javaTODOwe allow both debug and run here...
DbgpOperation.javaTODOimprove
DbgpDebugger.javaTODOto debug log
DbgpDebugger.javaTODOhandling
DbgpDebugger.javaTODOerror handling
VdmThreadEventHandler.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOAuto-generated catch block
VdmThreadEventHandler.javaTODOtemporary fix. Collapses all threads except the running one
DbgpSuspendOperation.javaTODOthink about what to do with this status
VdmBreakpointPropertyPage.javaTODOproperty title (VdmBreakpointPropertyPage)");
VdmLineBreakpointAdapter.javaTODOAuto-generated catch block
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmDebugModelPresentation.javaTODOAuto-generated method stub
VdmLineBreakpointPropertyPage.javaTODOthe member should be reated here
VdmLineBreakpointPropertyPage.javaTODOI removed this label until we find a solution to fidn the member
VdmBreakpointPropertyPage.javaTODOPlatformUI.getWorkbench().getHelpSystem().setHelp(getControl(),
VdmBreakpointPropertyPage.javaTODOproperty page 10 (VdmBreakpointPropertyPage)",
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
VmArgumentsLaunchConfigurationTab.javaTODOAuto-generated catch block
VdmLaunchShortcut.javaTODO
VdmLaunchShortcut.javaTODOget ISourceUnit from editor
VdmDebugModelPresentation.javaTODOAuto-generated catch block
VdmDebugModelPresentation.javaTODOit fixes the source lookup for wordDocs - not sure if this has other implications
VdmBreakpointAdapterFactory.javaTODOAuto-generated method stub
VdmBreakpointAdapterFactory.javaTODOAuto-generated catch block
VdmSlNewModuleWizard.javaTODODefine functions here\n"
VdmSlNewModuleWizard.javaTODODefine values here\n"
VdmSlNewModuleWizard.javaTODODefine types here\n"
VdmSlNewModuleWizard.javaTODODefine state here\n"
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmSlRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
VdmSlRuntimeUtil.javaFIXMEthrow approiate error
VdmSlNewModuleWizard.javaTODODefine operations here\n"
AsyncCaller.javaTODOAuto-generated catch block
ProcessConsolePrinter.javaTODOAuto-generated catch block
JarClassSelector.javaTODOAuto-generated method stub
VdmLineBreakpointPropertyPage.javaTODOHELP CONTEXT
VdmSlProjectNature.javaTODOAuto-generated method stub
VdmSlProjectNature.javaTODOAuto-generated method stub
DebuggerPropertiesManager.javaTODOAuto-generated catch block
AsyncCaller.javaTODOAuto-generated catch block
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n*/\n"+
VdmRtNewSystemWizard.javaTODOStatic operation , 100);\n\n"+
VdmRtNewSystemWizard.javaTODODeploy deployable object to cpu's\n/*\n"+
VdmRtNewSystemWizard.javaTODODefine deployable objects as static instance variables\n"+
ExternalCoverageEditor.javaTODOAuto-generated catch block
CoverageEditor.javaTODOAuto-generated catch block
IsaTransControl.javaFIXMEreport errors
VdmRtRuntimeChecksLaunchConfigurationTab.javaTODOAuto-generated catch block
VdmPpNewClassWizard.javaTODODefine functions here\n"
VdmPpNewClassWizard.javaTODODefine instance variables here\n"
VdmPpNewClassWizard.javaTODODefine types here\n"
VdmPpProjectNature.javaTODOAuto-generated method stub
VdmRtProjectNature.javaTODOAuto-generated method stub
VdmRtProjectNature.javaTODOAuto-generated method stub
VdmPpRuntimeUtil.javaFIXMEthis might not has any errors if it goes wrong
VdmPpNewClassWizard.javaTODODefine Combinatorial Test Traces here\n" + "end "
ProcessConsolePrinter.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
PdfLatex.javaTODOAuto-generated catch block
TracesXmlStoreReader.javaTODO
Xetex.javaTODOAuto-generated catch block
Xetex.javaTODOAuto-generated catch block
Xetex.javaTODOAuto-generated catch block
VdmQuickInterpreter.javaTODOAuto-generated catch block
WorkbenchPreferencePageCsk.javaTODOAuto-generated method stub
OpenVdmToolsProjectCommandHandler.javaTODOAuto-generated catch block
ExternalCoverageEditor.javaTODOAuto-generated catch block
LatexUtils.javaTODOCheck whether this must be the else case of (model == null || !model.isTypeCorrect())
WorkbenchPropertyPage1.javaTODOAuto-generated catch block
WorkbenchPropertyPage1.javaTODOAuto-generated method stub
WorkbenchPropertyPage1.javaTODOAuto-generated constructor stub
Vdm2Uml.javaTODOfix for modelio not supporting version 4.0.0 of EMF UML
UmlTypeCreator.javaTODOAuto-generated method stub
Vdm2UmlCommand.javaTODOAuto-generated catch block
Vdm2UmlCommand.javaTODOAuto-generated catch block
CpuEventViewer.javaTODOMAA
ConjectureMarker.javaTODOAuto-generated method stub
ConjectureData.javaTODOCheck if conjecture already exists in the list
Vdm2UmlAssociationUtil.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
TracesTreeView.javaTODO
StorageManager.javaTODOAuto-generated catch block
StorageManager.javaTODOcould not parse file. Posible not found
DotHandler.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
ViewContentProvider.javaTODOAuto-generated catch block
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
CpuEventViewer.javaTODO");
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
DummyViewer.javaTODOAuto-generated method stub
ValidationConjecturesView.javaTODOAuto-generated method stub
ValidationConjecturesView.javaTODOAuto-generated constructor stub
TraceFileRunner.javaTODORemove DUMMY. Introduced to hack time travels
TraceFileRunner.javaFIXME- MVQ Dirty hack in order to extend the blue line (Active/Blocked) to the end of canvas.
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaTODOMVQ This info is not used?
OverviewEventViewer.javaTODOMVQ This info is not used?
BusMessageEventHandler.javaTODOMVQ Review if all objects are required in all draw methods
TraceViewer.javaTODORemove magic numbers
TraceViewer.javaFIXMEAll these magic numbers?!
OverviewEventViewer.javaFIXMEMagic numbers
FlatCheckedEnvironment.javaTODOAccessSpecifier not defined
Environment.javaTODORWL This is not sound, however the behaviour below is not sound
ClassTypeChecker.javaFIXMEinternal error
ClassTypeChecker.javaFIXMEinternal error
PrivateClassEnvironment.javaFIXMEHere the SClassDefinitionAssistantTC is used so I can't delete the method from the assistant
ModuleTypeChecker.javaFIXMEinternal error
ModuleTypeChecker.javaFIXMEinternal error
ModuleTypeChecker.javaFIXMEinternal error
ModuleReader.javaFIXMEdlmodules not implemented
XMLStreamReader.javaTODO
InstanceVariableChecker.javaTODOAuto-generated method stub
InstanceVariableChecker.javaTODOAuto-generated method stub
ImplicitDefinitionFinder.javaTODOshould I expand this even more?
DefinitionTypeFinder.javaTODOAdd assistant Javadoc
VariableNameCollector.javaTODOIs this applicable?
VariableNameCollector.javaTODOAdd assistant Javadoc
PureDefinitionChecker.javaTODOAuto-generated method stub
PureDefinitionChecker.javaTODOAuto-generated method stub
PDefinitionAssistantTC.javaTODOAdd assistant Javadoc
TypeCheckerAssistantFactory.javaTODOAdd assistant Javadoc
ITypeCheckerAssistantFactory.javaTODOAdd assistant Javadoc
TypeComparator.javaTODOWhen nodes are cloned this 'if(sub == sup)' will not work,
TypeCheckerUtil.javaTODOAuto-generated catch block
HackLexNameToken.javaFIXMERemove this class when we figure out how to compare lexNametoken without using types
AClassTypeAssistantTC.javaTODOUsed in the TypeCheckerExpVisitor.
SClassDefinitionAssistantTC.javaFIXMEThis method is used and outside the TypeFinder visitor so I can't delete it!
PTypeExtendedChecker.javaTODOAuto-generated method stub
PTypeExtendedChecker.javaTODOAuto-generated method stub
NarrowerThanComparator.javaTODOAuto-generated method stub
NarrowerThanComparator.javaTODOAuto-generated method stub
PTypeResolver.javaTODOAuto-generated method stub
PTypeResolver.javaTODOreturn deref.clone()
PTypeFinder.javaTODOAuto-generated method stub
PTypeFinder.javaTODOAuto-generated method stub
MultipleBindLister.javaTODOAuto-generated method stub
PreNameFinder.javaTODOAuto-generated method stub
PreNameFinder.javaTODOAuto-generated method stub
VariableNameCollector.javaTODOWhat About Here, how to I need to handle it. like I have it or Bring the method to this class?
ConcreateTypeImplementor.javaTODOTypes in unionType should be a SET
SimplePatternChecker.javaTODOAuto-generated method stub
SimplePatternChecker.javaTODOAuto-generated method stub
MultipleBindLister.javaTODOAuto-generated method stub
VoidExistanceChecker.javaTODOAuto-generated method stub
VoidExistanceChecker.javaTODOAuto-generated method stub
VoidBasisChecker.javaTODOAuto-generated method stub
VoidBasisChecker.javaTODOAuto-generated method stub
TypeCheckerStmVisitor.javaTODOcorrect, possibly wrong typecheck implementation
TypeCheckerDefinitionVisitor.javaTODOTHIS COULD BE A HACK to code (ctype.getClassdef()
TypeCheckerDefinitionVisitor.javaFIXMEThis is a TEST, it should be tried to see if
TypeCheckerDefinitionVisitor.javaTODOThis should be a call to the assignment definition typecheck
TypeDisplayer.javaTODOAuto-generated method stub
ProductExtendedChecker.javaTODOAuto-generated method stub
ProductExtendedChecker.javaTODOAuto-generated method stub
PTypeResolver.javaTODOAuto-generated method stub
TypeEqualityChecker.javaTODOAuto-generated method stub
TypeEqualityChecker.javaTODOAuto-generated method stub
TypeEqualityChecker.javaFIXMEapply method is not applicable here.
TypeDisplayer.javaTODOAuto-generated method stub
TypePrettyPrinterVisitor.javaTODOAuto-generated method stub
TypePrettyPrinterVisitor.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
StateDesignatorNameGetter.javaTODOAuto-generated method stub
PogParamStmVisitor.javaFIXMEState Inv For Atomic assignments
TypeSetAnalysis.javaTODOAuto-generated catch block
TypeSetAnalysis.javaTODOAuto-generated catch block
TypeCheckerStmVisitor.javaTODOPatternBind stuff
TypeCheckerStmVisitor.javaTODOMissing the other DefStatement
PrettyPrinterVisitor.javaTODOAuto-generated method stub
PrettyPrinterVisitor.javaTODOAuto-generated method stub
TypeSetAnalysis.javaTODOAuto-generated catch block
TypeSetAnalysis.javaTODOAuto-generated catch block
PMultipleBindAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PBindAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PStmAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PPatternAssistantInterpreter.javaFIXMEshould we handle exceptions like this
ACpuClassDefinitionAssistantInterpreter.javaTODOHere is one basis to pass the parameter with the Context.
TestRunner.javaTODOAuto-generated catch block
VdmLocaleExtractor.javaTODOAuto-generated method stub
VdmLocaleExtractor.javaTODOAuto-generated method stub
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PExpAssistantInterpreter.javaFIXMEshould we handle exceptions like this
SClassDefinitionAssistantInterpreter.javaFIXMEThis ought to be done at the end of type checking...
SClassDefinitionAssistantInterpreter.javaTODOrewrite this???
NextGenRTLogger.javaTODOAuto-generated catch block
RTThreadCreateMessage.javaTODOChange show trace to allow thread name to allow easier inspection of text log file //+
ExpressionEvaluator.javaFIXMEnot good
ExpressionEvaluator.javaFIXMEnot good
Tracepoint.javaFIXMEuse visitor here
SourceFile.javaTODOremove this filtering it can never happen because of the new scanner
Context.javaTODOSlow though.
Context.javaTODO
DBGPReader.javaTODOHandle the error in VDMJ, terminate?
DBGPExecProcesser.javaTODOAuto-generated catch block
PTypeAssistantInterpreter.javaFIXMEshould we handle exceptions like this
PStmAssistantInterpreter.javaFIXMEshould we handle exceptions like this
ExpressionEvaluator.javaTODONot very efficient to do this every time. But we can't
DBGPReaderV2.javaTODO
DBGPReaderV2.javaTODOBUG Here is a problem if the evaluate is suspended in a
DBGPReader.javaTODOthis needs to be checked when
TraceExpander.javaTODOAuto-generated method stub
TraceExpander.javaTODOAuto-generated method stub
SequenceTraceNode.javaTODOnot good, poor performance
ObjectThread.javaFIXMEuse visitor here
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
ClassListInterpreter.javaFIXMEthis exception should be thrown
ClassListInterpreter.javaTODOCheck this method, where it is used.
OperationValidationExpression.javaTODOAuto-generated method stub
OperationValidationExpression.javaTODOThe names should probably be changed to LexNameToken
BasicRuntimeValidator.javaTODOAuto-generated catch block
BasicRuntimeValidator.javaTODOAuto-generated catch block
ObjectThread.javaFIXMEuse visitor here
CPUResource.javaTODOoptimize by converting the speed into the correct units only once
BUSResource.javaTODOoptimize by converting the speed into the correct units only once
ValueObserver.javaTODOAuto-generated catch block
NamedValueLister.javaTODOAuto-generated method stub
NamedValueLister.javaTODOAuto-generated method stub
NamedValueLister.javaTODOAuto-generated catch block
InstanceVariableChecker.javaTODOAuto-generated method stub
ValuesDefinitionLocator.javaTODOAuto-generated method stub
ValuesDefinitionLocator.javaTODOAuto-generated method stub
TypeDefinitionChecker.javaTODOAuto-generated method stub
TypeDefinitionChecker.javaTODOAuto-generated method stub
DefinitionValueChecker.javaTODOAuto-generated method stub
DefinitionStatementFinder.javaTODOAuto-generated method stub
DefinitionStatementFinder.javaTODOAuto-generated method stub
DefinitionRunTimeChecker.javaTODOAuto-generated method stub
InstanceVariableChecker.javaTODOAuto-generated method stub
ExpressionFinder.javaTODOAuto-generated method stub
ExpressionFinder.javaTODOAuto-generated method stub
DefinitionValueChecker.javaTODOAuto-generated method stub
IdentifierPatternFinder.javaTODOAuto-generated method stub
IdentifierPatternFinder.javaTODOAuto-generated method stub
ConstrainedPatternChecker.javaTODOAuto-generated method stub
ConstrainedPatternChecker.javaTODOAuto-generated method stub
ValueCollector.javaTODOAuto-generated method stub
ValueCollector.javaTODOAuto-generated method stub
LengthFinder.javaTODOAuto-generated method stub
LengthFinder.javaTODOAuto-generated method stub
ExpressionValueCollector.javaTODOAuto-generated method stub
ExpressionValueCollector.javaTODOAuto-generated method stub
ExpExpressionFinder.javaTODOAuto-generated method stub
ExpExpressionFinder.javaTODOAuto-generated method stub
BindValueCollector.javaTODOAuto-generated method stub
BindValueCollector.javaTODOAuto-generated method stub
SubExpressionsLocator.javaTODOAuto-generated method stub
SubExpressionsLocator.javaTODOAuto-generated method stub
CppLanguageIterator.javaTODOAuto-generated method stub
CppLanguageIterator.javaTODOAuto-generated method stub
TraceRunnerMain.javaTODOHandle the error in VDMJ, terminate?
TraceRunnerMain.javaTODOAuto-generated catch block
CppVdmLibLanguageIterator.javaTODOAuto-generated method stub
CppVdmLibLanguageIterator.javaTODOAuto-generated constructor stub
CppLanguageIterator.javaTODOAuto-generated method stub
CppLanguageIterator.javaTODOAuto-generated method stub
StatementFinder.javaTODOAuto-generated method stub
StatementFinder.javaTODOAuto-generated method stub
StatementExpressionFinder.javaTODOAuto-generated method stub
StatementExpressionFinder.javaTODOAuto-generated method stub
ExternalInterpreterTest.javaTODOAuto-generated method stub
ExternalInterpreterTest.javaTODOAuto-generated method stub
OperationValue.javaTODO
AllValuesCollector.javaTODOHere we have a strange behavior from transforming this call to type.apply(THIS,ctxt)
DependencyAnalyser.javaTODOAuto-generated method stub
DependencyAnalyser.javaTODOAuto-generated method stub
ExtDependency.javaTODOAuto-generated constructor stub
CppVdmtoolsTransSeries.javaFIXMEShould be updated to use CPP specific type
ModuleToClassTransformation.javaTODOImplement the import analysis cases
Exp2StmTrans.javaTODO
IROperatorLookup.javaTODOThis is not the way to do it! Fix operator precedence!
IROperatorLookup.javaTODOOperators must be added as they come. Are there more to be added?
CppVdmLibLanguageIterator.javaTODOAuto-generated catch block
CppVdmLibLanguageIterator.javaTODOAuto-generated catch block
CppVdmLibLanguageIterator.javaTODOAuto-generated catch block
CppVdmLibLanguageIterator.javaTODOAuto-generated catch block
CppCodeGen.javaTODOIn the Java code generator the mergeVisitor keeps track of nodes that
CppCodeGen.javaTODOIn the Java code generator the mergeVisitor keeps track of nodes that
CppCodeGen.javaTODOAuto-generated catch block
CppVdmLibLanguageIterator.javaTODOAuto-generated method stub
TypePredDecorator.javaTODOMake this case handle state designators
JmlGenUtil.javaTODOCurrently invariant method are named on the form "module_typename" although this does not truly
JavaCodeGen.javaTODOneeds to take all of them into account
TraceNode.javaTODOTo be done. Consider where the right place is to check for 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?
TypePredUtil.javaTODOConsider better handling
TypePredHandler.javaTODOConsider this for the atomic statement
PatternTrans.javaTODOMake it such that the successer var is passed on (multiple binds)
PatternTrans.javaTODOcurrently values patterns are replaced by strings
TransAssistantIR.javaFIXMEmake this method work on generic PMUltipleBinds
TransAssistantIR.javaTODOThis actually forces the return type to be 'void'. Maybe generalise?
TraceNode.javaTODOType check missing here If the type check fails we would also have to do filtering
TypeVisitorIR.javaTODOMorten initially requested some way of knowing whether a type originates
ExpVisitorIR.javaTODOUpdate the type checker?
DeclVisitorIR.javaFIXMEpatterns should be handled by transformations