Re: [isabelle] libisabelle: embedding into application
- To: Walther Neuper <neuper at ist.tugraz.at>
- Subject: Re: [isabelle] libisabelle: embedding into application
- From: Lars Hupel <hupel at in.tum.de>
- Date: Mon, 18 May 2015 10:25:59 +0200
- Cc: Andreas PÃchtrager <pand at gmx.at>, cl-isabelle-users at lists.cam.ac.uk
- In-reply-to: <55546D29.firstname.lastname@example.org>
- References: <54D8C13C.email@example.com> <54DB4E8F.firstname.lastname@example.org> <54DB753F.email@example.com> <54DB83FD.firstname.lastname@example.org> <54DB9885.email@example.com> <54E1FFF9.firstname.lastname@example.org> <54E4F1D5.email@example.com> <54E5E8C7.firstname.lastname@example.org> <54E5E9C3.email@example.com> <54E602CC.firstname.lastname@example.org> <54EB4BC3.email@example.com> <54EC58DF.firstname.lastname@example.org> <email@example.com> <55389D0C.firstname.lastname@example.org> <5539FC94.email@example.com> <553A5F95.firstname.lastname@example.org> <email@example.com> <55546D29.firstname.lastname@example.org>
- User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
> However, with (1) we see a principal obstacle: Translation from Scala's
> XML.Tree into Java objects requires import of the objects' definitions
> somewhere in libisabelle/examples.
The "examples" module already depends on all that, so importing that
should work, at least from Scala. From Java, the situation is more
difficult because of the intricacies of how Scala nested classes/objects
are being compiled to JVM class files.
> (1a) Another possibility is to configure compilation in the Scala IDE,
> but here we are only partially successful, too.
> We still hope to finally use libisabelle-full.jar as a library for our
> front-end, where the library knows as little as possible about the
That is indeed the goal. Ideally, the 'libisabelle' sources should
remain unchanged and applications can just include that JAR file and add
operations, handlers, ...
If that doesn't work, something is wrong on my side. Does the full JAR
not include everything, or does Eclipse doesn't like it?
This archive was generated by a fusion of
Pipermail (Mailman edition) and