[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
How can I open .tla files in TLA+ Toolbox?
Hi all,
I've fallen at the first hurdle, apparently. I've installed TLA+ Toolbox 1.4.8 on OS X 10.10. I have then downloaded the files accompanying the Specifying Systems book, which includes, for example, /HourClock/HourClock.tla. How do I open this file in TLA+ Toolbox?
The first weirdness is that to open a file I have to choose "Add New Spec ..." which gives me a dialog window that says I am *creating* a spec, not opening one. Is this true, or am I missing something?
The second weirdness is that half the time when I click the "Browse..." button in this dialog, nothing happens.
The third weirdness is that on the times when the "Browse..." dialog does appear, I just get a "spinner" going around and around forever, and no files ever display in the selection pane. (Also, again, the dialog says "Save As" rather than "Open".)
When I run the application from the terminal, I see these stacktraces in the stdout, though they do not obviously correspond to any actions I take in the application:
2014-11-17 20:55:33.445 toolbox[18192:4269848] Cannot remove an observer <FI_TIconViewScrollView 0x100452cb0> for the key path "contentLayoutRect" from <SWTFileSavePanel 0x100357c10> because it is not registered as an observer.
2014-11-17 20:55:33.448 toolbox[18192:4269848] (
0 CoreFoundation 0x00007fff8447164c __exceptionPreprocess + 172
1 libobjc.A.dylib 0x00007fff88e016de objc_exception_throw + 43
2 CoreFoundation 0x00007fff844714fd +[NSException raise:format:] + 205
3 Foundation 0x00007fff8730b666 -[NSObject(NSKeyValueObserverRegistration) _removeObserver:forProperty:] + 604
4 Foundation 0x00007fff8730b369 -[NSObject(NSKeyValueObserverRegistration) removeObserver:forKeyPath:] + 114
5 Foundation 0x00007fff8731aad4 -[NSObject(NSKeyValueObserverRegistration) removeObserver:forKeyPath:context:] + 253
6 AppKit 0x00007fff89c29887 -[NSScrollView _setWindow:] + 342
7 AppKit 0x00007fff89bee3b2 -[NSView removeFromSuperview] + 453
8 AppKit 0x00007fff89df2dd0 -[NSScrollView removeFromSuperview] + 227
9 FinderKit 0x00007fff906b1282 -[FI_TBrowserContainerController destroyBrowserView:] + 176
10 FinderKit 0x00007fff906b4bbd -[FIContainerController destroyBrowserView:] + 84
11 FinderKit 0x00007fff906b0308 -[FI_TBrowserContainerController buildBrowserView:containerState:] + 332
12 FinderKit 0x00007fff906b019f -[FI_TBrowserContainerController buildBrowserView:] + 136
13 FinderKit 0x00007fff906ad62e -[FI_TBrowserContainerController setTargetPath:withViewStyle:rebuildView:] + 1326
14 FinderKit 0x00007fff906ad9ce -[FI_TBrowserContainerController forceSetTargetPath:withViewStyle:] + 85
15 FinderKit 0x00007fff906376d5 -[FIFinderViewGutsController _internalSetTargetPath:withViewStyle:] + 703
16 FinderKit 0x00007fff9063702b -[FIFinderViewGutsController setTargetNode:withViewStyle:] + 515
17 FinderKit 0x00007fff90639f31 -[FIFinderViewGutsController finderLocationPopUp:didChangeToDirectoryURL:] + 136
18 FinderKit 0x00007fff90666670 -[FILocationPopUp setTargetNode:] + 224
19 FinderKit 0x00007fff906668c0 -[FILocationPopUp retargetFromMenuItem:] + 82
20 libsystem_trace.dylib 0x00007fff8e79ecd7 _os_activity_initiate + 75
21 AppKit 0x00007fff89da45e7 -[NSApplication sendAction:to:from:] + 410
22 AppKit 0x00007fff89dbe72a -[NSMenuItem _corePerformAction] + 382
23 AppKit 0x00007fff89dbe447 -[NSCarbonMenuImpl performActionWithHighlightingForItemAtIndex:] + 114
24 libsystem_trace.dylib 0x00007fff8e79ecd7 _os_activity_initiate + 75
25 AppKit 0x00007fff89e0bce6 -[NSMenu performActionForItemAtIndex:] + 131
26 AppKit 0x00007fff89e0bc56 -[NSMenu _internalPerformActionForItemAtIndex:] + 35
27 AppKit 0x00007fff89e0baa2 -[NSCarbonMenuImpl _carbonCommandProcessEvent:handlerCallRef:] + 107
28 AppKit 0x00007fff89db403b NSSLMMenuEventHandler + 724
29 HIToolbox 0x00007fff9280532c _ZL23DispatchEventToHandlersP14EventTargetRecP14OpaqueEventRefP14HandlerCallRec + 1260
30 HIToolbox 0x00007fff9280476e _ZL30SendEventToEventTargetInternalP14OpaqueEventRefP20OpaqueEventTargetRefP14HandlerCallRec + 386
31 HIToolbox 0x00007fff92819286 SendEventToEventTarget + 40
32 HIToolbox 0x00007fff9284e795 _ZL18SendHICommandEventjPK9HICommandjjhPKvP20OpaqueEventTargetRefS5_PP14OpaqueEventRef + 428
33 HIToolbox 0x00007fff92881e8d SendMenuCommandWithContextAndModifiers + 59
34 HIToolbox 0x00007fff92881e34 SendMenuItemSelectedEvent + 188
35 HIToolbox 0x00007fff92881d06 _ZL19FinishMenuSelectionP13SelectionDataP10MenuResultS2_ + 96
36 HIToolbox 0x00007fff929b1bc1 _ZL19PopUpMenuSelectCoreP8MenuData5PointdS1_tjPK4RecttjS4_S4_PK14__CFDictionaryPK10__CFStringPP13OpaqueMenuRefPt + 1877
37 HIToolbox 0x00007fff929b0d44 _ZL26_HandlePopUpMenuSelection8P13OpaqueMenuRefP14OpaqueEventRefj5PointtjPK4RecttS6_S6_PK14__CFDictionaryPK10__CFStringPS0_Pt + 633
38 HIToolbox 0x00007fff929b0edb _HandlePopUpMenuSelectionWithDictionary + 287
39 AppKit 0x00007fff89e0a93c _NSSLMPopUpCarbonMenu3 + 5567
40 AppKit 0x00007fff89e09369 _NSPopUpCarbonMenu3 + 39
41 AppKit 0x00007fff89e09145 -[NSCarbonMenuImpl popUpMenu:atLocation:width:forView:withSelectedItem:withFont:withFlags:withOptions:] + 350
42 AppKit 0x00007fff89e07fe4 -[NSPopUpButtonCell trackMouse:inRect:ofView:untilMouseUp:] + 559
43 AppKit 0x00007fff89e06289 -[NSControl mouseDown:] + 714
44 AppKit 0x00007fff8a2fffef -[NSWindow _reallySendEvent:] + 12827
45 AppKit 0x00007fff89d8a65c -[NSWindow sendEvent:] + 368
46 AppKit 0x00007fff89d3c1e6 -[NSApplication sendEvent:] + 2238
47 libswt-pi-cocoa-3738.jnilib 0x00000001145d6c4a Java_org_eclipse_swt_internal_cocoa_OS_objc_1msgSendSuper__Lorg_eclipse_swt_internal_cocoa_objc_1super_2JJ + 97
48 ??? 0x0000000107811eee 0x0 + 4420869870
)
I am able to open .tla files by constructing the absolute path to them and pasting this into the field in the "Add New Spec ..." dialog. But this is a pain.
So ... is my installation just completely FUBAR, or does anyone else have these issues?
Thanks,
James