czt-devel Mailing List for Community Z Tools (Page 4)

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 422-6466

Hi Anthony,

Nice to hear from you --- and apologies for the delay. I was away in Brazil on holiday in the middle of nowhere :-)…

--- git

I had a similar feeling when I started using it (through Andrius diligent suggestion for my doing so).
It is away better than SVN in various respects and not that difficult in itself. A few new concepts like
push/pull/fetch, but they are natural (distributed) counterparts for commit/update/check.

--- IDEs and CZT.jar

the jEdit development was meant as a testbed for how a CZT GUI would look like / need --- if I recall correctly.
In itself jEdit came a long way since then and improved in various respects. We keep it alive to make allow for
a light-weight IDE usage, but not all recent features have been implemented for it.

Andrius is an Eclipse wizard, having worked in industry building Eclipse-based plugins and systems. This made
the transition to Eclipse (and update over the original development by Mark and his students) possible.

Again, I insisted to keep the IDE separate (and a reflection of) the CZT.jar, which does contain access to all
recent/new features. Eclipse has extra bells and whistles, though. They make specification and cross referencing
much easier / smoother than in jEdit or other editor.

--- new features

Over the last two years Andrius an I have been developed CZT in a number of areas --- perhaps because we are
both at Newcastle there was not much mail traffic :-)

I will write a separate email on these features.

---- release

Andrius recently added nightly builds, which means you can get newest (stable) features without much fuss
(i.e. no need for long builds and/or GIT).

We make a point about only pushing (new repository versions) stable versions of features (i.e. those that passed
tests and that we have worked with in some model in practice). This way nightly builds are reliable.

We plan to have a release over the summer, and Andrius is launching soon (coming week) a new website / doc site too !

--- memory

see other mail on new features...

---------

Best,
Leo

On 31 Mar 2013, at 17:52, Anthony Hall <an...@an...<mailto:an...@an...>> wrote:

Dear Andrius

Thanks very much for your instant response. I suppose I had better bite the bullet and get going with git :(.

That is correct - the error you are seeing is due to incompatibilities with jEdit 5. The latest sources in CZT Git repository do have this fixed and should be working with jEdit 5.

Is there are reason you need the jEdit plugin in particular? There's also an Eclipse-based CZT IDE available - a "preview" snapshot of the latest version is available in http://sourceforge.net/projects/czt/files/czt-ide/2.0-pre1/ . That is for Eclipse-based IDE though, I did not add the czt.jar and jEdit plugins there yet. The Eclipse-based IDE has actually more features and polish than the jEdit plugins..

To be honest I don’t know. I’ve never used either Eclipse or jEdit (because of course I use my own Z Word Tools as an editor). The reason I was looking at it is that I may have to do some work with Object-Z and I wanted to see what support CZT had for editing Object-Z. What do you think is the easiest way to do that?

I am planning to add "nightly" builds to CZT downloads section in the next weeks so there would be easier downloads for people who do not want to build from scratch.
That would be useful – though looking at the instructions it seemed I had to do a local build as a prerequisite for installing the jEdit plugins?

On the subject of builds, I note that there hasn’t been a release of CZT for ages – are there plans for a release?

I’m also feeling guilty because I have on my to-do list to look at the memory consumption problem. One reason I haven’t done really been motivated to do this is because I haven’t seen much activity on the mailing lists. But perhaps that’s deceptive. How active is the project nowadays?

Let us know what are your preferences.

I’d really welcome your advice – I’m not at all experienced in this area.

Many thanks

Anthony

Andrius Velykis
Newcastle University

On Sun, Mar 31, 2013 at 4:31 PM, Anthony Hall <an...@an...<mailto:an...@an...>> wrote:
I've got a (perhaps out of date) Subversion Revision 8214 of CZT and I'm
trying to get the jEdit plugins working. When I try to start the Zcharmap
plugin I get this message:

A BeanShell error occurred.
java.lang.NoSuchMethodError:
org.gjt.sp.jedit.textarea.TextAreaPainter.isAntiAliasEnabled()Z
        at ZCharMap.<init>(ZCharMap.java:93)
        at sun.reflect.NativeConstructorAccessorImpl.newInstance0(Native
Method)
        at
sun.reflect.NativeConstructorAccessorImpl.newInstance(NativeConstructorAcces
sorImpl.java:57)
        at
sun.reflect.DelegatingConstructorAccessorImpl.newInstance(DelegatingConstruc
torAccessorImpl.java:45)
        at java.lang.reflect.Constructor.newInstance(Constructor.java:525)
        at org.gjt.sp.jedit.bsh.Reflect.constructObject(Reflect.java:620)
        at
org.gjt.sp.jedit.bsh.BSHAllocationExpression.constructObject(BSHAllocationEx
pression.java:123)
        at
org.gjt.sp.jedit.bsh.BSHAllocationExpression.objectAllocation(BSHAllocationE
xpression.java:114)
        at
org.gjt.sp.jedit.bsh.BSHAllocationExpression.eval(BSHAllocationExpression.ja
va:62)
        at
org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:102
)
        at
org.gjt.sp.jedit.bsh.BSHPrimaryExpression.eval(BSHPrimaryExpression.java:47)
        at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:644)
        at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:738)
        at org.gjt.sp.jedit.bsh.Interpreter.eval(Interpreter.java:727)
        at org.gjt.sp.jedit.BeanShellFacade._eval(BeanShellFacade.java:148)
        at org.gjt.sp.jedit.BeanShellFacade.eval(BeanShellFacade.java:113)
        at org.gjt.sp.jedit.BeanShell.eval(BeanShell.java:369)
        at
org.gjt.sp.jedit.gui.DockableWindowFactory$Window.createDockableWindow(Docka
bleWindowFactory.java:467)
        at
org.gjt.sp.jedit.gui.DockableWindowManagerImpl.showDockableWindow(DockableWi
ndowManagerImpl.java:354)
        at
org.gjt.sp.jedit.gui.DockableWindowFactory$Window$OpenAction.invoke(Dockable
WindowFactory.java:498)
        at
org.gjt.sp.jedit.gui.InputHandler.invokeAction(InputHandler.java:342)
        at org.gjt.sp.jedit.jEdit$4.invokeAction(jEdit.java:3342)
        at org.gjt.sp.jedit.jEdit$4.invokeAction(jEdit.java:3324)
        at
org.gjt.sp.jedit.EditAction$Wrapper.actionPerformed(EditAction.java:212)
        at
javax.swing.AbstractButton.fireActionPerformed(AbstractButton.java:2018)
        at
javax.swing.AbstractButton$Handler.actionPerformed(AbstractButton.java:2341)
        at
javax.swing.DefaultButtonModel.fireActionPerformed(DefaultButtonModel.java:4
02)
        at
javax.swing.DefaultButtonModel.setPressed(DefaultButtonModel.java:259)
        at javax.swing.AbstractButton.doClick(AbstractButton.java:376)
        at
javax.swing.plaf.basic.BasicMenuItemUI.doClick(BasicMenuItemUI.java:833)
        at
javax.swing.plaf.basic.BasicMenuItemUI$Handler.mouseReleased(BasicMenuItemUI
.java:877)
        at
java.awt.AWTEventMulticaster.mouseReleased(AWTEventMulticaster.java:289)
        at java.awt.Component.processMouseEvent(Component.java:6505)
        at javax.swing.JComponent.processMouseEvent(JComponent.java:3321)
        at java.awt.Component.processEvent(Component.java:6270)
        at java.awt.Container.processEvent(Container.java:2229)
        at java.awt.Component.dispatchEventImpl(Component.java:4861)
        at java.awt.Container.dispatchEventImpl(Container.java:2287)
        at java.awt.Component.dispatchEvent(Component.java:4687)
        at
java.awt.LightweightDispatcher.retargetMouseEvent(Container.java:4832)
        at
java.awt.LightweightDispatcher.processMouseEvent(Container.java:4492)
        at java.awt.LightweightDispatcher.dispatchEvent(Container.java:4422)
        at java.awt.Container.dispatchEventImpl(Container.java:2273)
        at java.awt.Window.dispatchEventImpl(Window.java:2713)
        at java.awt.Component.dispatchEvent(Component.java:4687)
        at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:707)
        at java.awt.EventQueue.access$000(EventQueue.java:101)
        at java.awt.EventQueue$3.run(EventQueue.java:666)
        at java.awt.EventQueue$3.run(EventQueue.java:664)
        at java.security.AccessController.doPrivileged(Native Method)
        at
java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja
va:76)
        at
java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja
va:87)
        at java.awt.EventQueue$4.run(EventQueue.java:680)
        at java.awt.EventQueue$4.run(EventQueue.java:678)
        at java.security.AccessController.doPrivileged(Native Method)
        at
java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.ja
va:76)
        at java.awt.EventQueue.dispatchEvent(EventQueue.java:677)
        at
java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java
:211)
        at
java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:12
8)
        at
java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java
:117)
        at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:113)
        at
java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:105)
        at java.awt.EventDispatchThread.run(EventDispatchThread.java:90)

I realise that perhaps I need to update to the latest sources but as I
haven't got git installed and this is likely to involve heavy work with
Maven, I wondered if anyone could advise whether this is in fact the problem
or whether there is something different going wrong?

Thanks

Anthony

------------------------------------------------------------------------------
Own the Future-Intel(R) Level Up Game Demo Contest 2013
Rise to greatness in Intel's independent game demo contest. Compete
for recognition, cash, and the chance to get your game on Steam.
$5K grand prize plus 10 genre and skill prizes. Submit your demo
by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2
_______________________________________________
CZT-Devel mailing list
CZT...@li...<mailto:CZT...@li...>
https://lists.sourceforge.net/lists/listinfo/czt-devel

------------------------------------------------------------------------------
Own the Future-Intel(R) Level Up Game Demo Contest 2013
Rise to greatness in Intel's independent game demo contest. Compete
for recognition, cash, and the chance to get your game on Steam.
$5K grand prize plus 10 genre and skill prizes. Submit your demo
by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2_______________________________________________
CZT-Devel mailing list
CZT...@li...<mailto:CZT...@li...>
https://lists.sourceforge.net/lists/listinfo/czt-devel

2003	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct (1)	Nov	Dec (2)
2004	Jan (2)	Feb (15)	Mar (10)	Apr (1)	May (1)	Jun (4)	Jul (2)	Aug (3)	Sep (1)	Oct	Nov	Dec (3)
2005	Jan (3)	Feb (17)	Mar (6)	Apr (13)	May (17)	Jun (53)	Jul (36)	Aug (29)	Sep (17)	Oct (21)	Nov (37)	Dec (25)
2006	Jan	Feb (29)	Mar (85)	Apr (27)	May (25)	Jun (57)	Jul (3)	Aug (8)	Sep (24)	Oct (43)	Nov (22)	Dec (10)
2007	Jan (29)	Feb (38)	Mar (11)	Apr (29)	May (16)	Jun (1)	Jul (20)	Aug (25)	Sep (6)	Oct (25)	Nov (16)	Dec (14)
2008	Jan (18)	Feb (12)	Mar (3)	Apr (1)	May (23)	Jun (3)	Jul (7)	Aug	Sep (16)	Oct (27)	Nov (16)	Dec (7)
2009	Jan (1)	Feb (12)	Mar	Apr (16)	May (2)	Jun (4)	Jul	Aug (4)	Sep (7)	Oct (12)	Nov (8)	Dec
2010	Jan	Feb	Mar (2)	Apr	May	Jun (8)	Jul	Aug (11)	Sep	Oct (1)	Nov	Dec (1)
2011	Jan (14)	Feb (20)	Mar (3)	Apr (1)	May (1)	Jun (23)	Jul (1)	Aug (3)	Sep (5)	Oct (19)	Nov (1)	Dec (5)
2012	Jan (19)	Feb (4)	Mar	Apr (1)	May (2)	Jun (7)	Jul (33)	Aug (3)	Sep (3)	Oct	Nov	Dec
2013	Jan	Feb	Mar (3)	Apr (48)	May (1)	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2014	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep (1)	Oct	Nov	Dec
2015	Jan (1)	Feb	Mar	Apr	May	Jun	Jul	Aug (15)	Sep	Oct	Nov	Dec
2016	Jan	Feb (1)	Mar (1)	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov (1)	Dec
2019	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep (1)	Oct	Nov	Dec
2020	Jan	Feb	Mar	Apr	May (1)	Jun (9)	Jul	Aug (1)	Sep	Oct	Nov	Dec
2021	Jan	Feb	Mar	Apr	May	Jun	Jul (3)	Aug (3)	Sep (1)	Oct	Nov	Dec

czt-devel Mailing List for Community Z Tools (Page 4)

Tool support for the Z formal notation

czt-devel — For programmers using the CZT code