TLA+ Toolbox java exception

[yves teissier]

Hi all,

I have an error when I want to open a specification with TLA toolbox.

Toolbox version : 1.4.7

OS : Windows 7 professional SP 1 64bits

Java : version 7 (build 1.7.0_45-b18)

Specification : PlusCal.tla (or another. I want only to try the toolbox)

Hope it's complete.

Yves

[Markus Alexander Kuppe]

On 12/19/2013 03:02 PM, yves teissier wrote:
> I have an error when I want to open a specification with TLA toolbox.
> Toolbox version : 1.4.7
> OS : Windows 7 professional SP 1 64bits
> Java : version 7 (build 1.7.0_45-b18)
> Specification : PlusCal.tla (or another. I want only to try the toolbox)

Hi Yves,

is there a log file in workspace/.metadata/.log with a complete stack
trace of the NullPointerException?

Thanks
Markus

[yves teissier]

This is the log file.

Regards,

Yves

2013/12/19 Markus Alexander Kuppe <tlaplus-go...@lemmster.de>

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/bTjUnQKkEMo/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+u...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at http://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/groups/opt_out.

[Markus Alexander Kuppe]

On 12/19/2013 04:51 PM, yves teissier wrote:
> This is the log file.

Hi Yves,

it looks as if your spec and project files are gone on the file system
level. What is the directory content of
C:\Users\SESA188919\Documents\Perso\Technique\TLA+\toolbox\workspace\ if
it exists at all?

Markus

[Markus Alexander Kuppe]

On 12/19/2013 04:51 PM, yves teissier wrote:

> This is the log file.