Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Deleting the toolbox directory causes CoreExeception on toolbox startup

See original GitHub issue

SUMMARY Deleting the {{name}}.toolbox directory causes the toolbox to throw CoreException on startup.

SYSTEM

$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 18.04.3 LTS
Release:	18.04
Codename:	bionic

REPRO

start the toolbox
create or import a spec for foo.tla
create and run a model
exit the toolbox
delete the foo.toolbox directory (and the states directory, but this one is created by the tlc command line I think)
start the toolbox (the toolbox will load the project foo.tla on startup)

ERROR1

Dialog displays: Failed to create the part’s controls

Top lines of error snippet:

org.eclipse.core.runtime.AssertionFailedException: assertion failed: 
	at org.eclipse.core.runtime.Assert.isTrue(Assert.java:113)
	at org.eclipse.core.runtime.Assert.isTrue(Assert.java:99)
	at org.eclipse.ui.part.MultiPageEditorPart.setActivePage(MultiPageEditorPart.java:1078)
	at org.eclipse.ui.forms.editor.FormEditor.setActivePage(FormEditor.java:621)
	at org.eclipse.ui.part.MultiPageEditorPart.createPartControl(MultiPageEditorPart.java:355)
...

ERROR2

The console output shows:

org.eclipse.ui.PartInitException: Cannot determine URI for '/logical_clock/logical_clock.tla'.
...

FILES

Issue Analytics

State:
Created 3 years ago
Comments:6 (3 by maintainers)

Top GitHub Comments

1reaction

ToddGcommented, Apr 23, 2020

Ok. Thanks for the clarification. I’m happy to help. I’ll report critical things if/when I bump into them.

0reactions

ToddGcommented, Apr 23, 2020

Ah, even better. Ok, I’ll roll up my sleeves and alloc some time for this.

Top Results From Across the Web

Why do I receive warning messages about the Toolbox Path ...

Click the "Update Toolbox Path Cache" button to reset the Toolbox Path Cache. After the Toolbox Path Cache is reset, the error should...

Toolbox Path Caching in MATLAB :: Startup and Shutdown ...

For performance reasons, MATLAB caches toolbox directory information across sessions. The caching features are mostly transparent to you. However, if MATLAB ...

Detect Matlab startup from toolbox - Stack Overflow

When MATLAB starts up, it runs matlabrc.m , which is not user-specific and is stored in the \toolbox\local folder.

Full Text Bug Listing - TLA+ - Inria

The plan for using pcal files has been abandoned, so this is moot. Bug 19. Summary: Toolbox caches obsolete values on startup. Product: ......

Should I add FieldTrip with all subdirectories to my MATLAB ...

because that will add many toolbox directories to your path that you won't use. Furthermore, it would cause some toolboxes to be on...