Re: [CZT-Devel] Problem installing jEdit plugin

[Andrius V. <and...@ne...>]

Dear Anthony,

Good to hear about your progress and sorry for a bit of delay with my
reply. My answers follow.

First, my real question: when I did finally get jEdit and zcharmap working,
> I couldn’t find a way of inserting an object Z Class. Is there any way of
> doing this – can you edit object Z within CZT?
>

I am not too familiar with jEdit - there should be a drop-down on ZCharMap
that allows you to choose a dialect? Then you should get Object-Z charmap
that includes Class if I am not mistaken..

I myself work on CZT-Eclipse integration, so you could try it there. If you
use czt-ide standalone that I gave the link to previously: select Object Z
dialect in Preferences >  CZT > Compiler. Then when you open the Characters
view the Object-Z dialect should be selected there as well (or use
drop-down). Note that I am typing these names from memory so they may
actually be a bit different in the program :) Let me know if you get to
Object-Z symbols either in jEdit or Eclipse.

The problems that I encountered on the way were:****
>
> ** **
>
> 1. I did find it hard to get started. I don’t think there is anywhere on
> the website that gives up to date instructions for obtaining and building
> from source, is there? Eventually I found dev / src / site / markdown /
> guidelines.md but the link in there to setup instructions is broken and
> it took a bit of guessing to find setup.md. I know this seems v trivial,
> but I must admit I always find it very hard to find out how to do anything
> in czt; I  guess if you work with it every day this is not a problem, but
> it’s obscure for occasional users.
>

The /src/site files are destined for the upcoming new CZT website. The
website contents are generated automatically from these files. So as soon
as we do get around to launching the new website and new release, these
instructions should be accessible much easier (and rendered correctly). In
the root of repository there is INSTALL.md that points to setup.md - but I
do think a website will help with finding things :)


> 2. I cloned the repository ok and tried to run buildall. However it
> persistently gave me test errors in vcg. I built in the end by skipping
> tests, but it does look as if something is wrong. I attach t.log showing
> the test errors.
>

The errors are unexpected. I know Leo's been doing some changes to VCG so
maybe there are problems, though the last automatic build of `master` did
pass correctly.. Are you getting this error on Windows? We will try to
investigate.


> ****
>
> 3. I could then run the zcharmap plugin from jEdit. However, not all the
> characters showed up properly. I didn’t install the czt font because I was
> reminded that this had errors in it which stopped various .net programs
> working – are those errors still there?
>

I am afraid that CZT font still needs to be installed. I know loading the
font automatically should not be hard to add, but at the moment it needs to
be installed.


> 4 However on Windows Cambria Math does have all the characters and using
> that seemed to work OK, until after a time (I guess it was trying to
> autosave) I got a message saying that it could save a character in encoding
> CP1252. So I guess the instructions should say to change the default
> encoding to UTF8?
>

Good catch on encoding advice. Yea, I guess the instructions should say
that. We do lack testing in Windows and UTF8, since Leo and myself are
working on Macs and Z-LaTeX mostly :) Furthermore, jEdit plugins have not
seen much updates except from the compatibility with jEdit 5. More work has
gone towards the Eclipse-based integration from myself, since I am more
familiar with developing for Eclipse. So any updates, suggestions and
problem reports are most welcome!

(Answers to your previous e-mail below)

> I suppose I had better bite the bullet and get going with git L.
>
I would recommend Git wholeheartedly, especially if there is at least some
collaboration going..

> 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?
>
As I have worked on CZT for Eclipse, I would recommend trying the Eclipse
way :) Just don't forget to set Object-Z dialect in Preferences.

> 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?
>
I am not sure whether that is necessary. You need to get the czt.jar and
the jEdit plugins - that should be enough?

> On the subject of builds, I note that there hasn’t been a release of CZT
> for ages – are there plans for a release?
>
Yes, there is a plan. We have quite some new content, just need to finish
off some documentation and website updates.. and these take time and
willpower :)

> 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?
>
I would agree on limited activity in mailing lists. Leo and me are working
together at Newcastle University, so we are discussing face-to-face.
Otherwise it has been a bit more silent. I can only comment on project
activity that I know of. Leo and myself have new content that we have added
and would like to release: quite big organisational changes in builds,
updates to CZT for Eclipse, verification condition generator, integration
with Z/EVES theorem prover, and more changes, cleanup and fixes all over
the board. There's also some new work on Circus-Time coming from University
of York. So the project is not bustling, but is still going forward :)


> Thanks very much
>

Thank you for the reports - hope the answers help. And all contributions
are welcome of course - whether it is the memory consumption, or other
upgrades :)

Anthony****
>
> *From:* Andrius Velykis [mailto:and...@ne...]
> *Sent:* 31 March 2013 17:09
> *To:* Anthony Hall
> *Cc:* CZT-Devel
> *Subject:* Re: [CZT-Devel] Problem installing jEdit plugin****
>
> ** **
>
> Hi Anthony,****
>
> ** **
>
> 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..****
>
> ** **
>
> 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.****
>
> ** **
>
> Let us know what are your preferences.****
>
> ** **
>
> Andrius Velykis****
>
> Newcastle University****
>
> ** **
>
> On Sun, Mar 31, 2013 at 4:31 PM, Anthony Hall <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...
> https://lists.sourceforge.net/lists/listinfo/czt-devel****
>
> ** **
>