jEdit Community home jEdit Community Wiki > Plugins > JavaCore jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Plugins . { Changes | Index | Search | Go }

Java Core

The Java Core plugin is designed to act as a single point of dependency for any Java-centric plugin that needs to use classpaths and/or sourcepaths. It uses jEdit 4.2's services mechanism to allow classpath and sourcepath information to be provided in different ways by different implementors. Plugins using Java Core do not have to be dependent on any particular service, just Java Core itself. Java Core includes a default service implementation and an Ant Helper based implementation is available from the jEdit community site. Hopefully, in the future, more plugins will provide a Java Core service and more will use Java Core.

Plugin Page Form
Plugin Name?: Java Core
Category: Java Centric
Plugin Status: Stable
Maintainer: Robert Fletcher
Source Forge Account?: rfletch6
Latest Version?: 0.6
Released: February 10 2004
Where To Download:
Description: The Java Core plugin is designed to act as a single point of dependency for any Java-centric plugin that needs to use classpaths and/or sourcepaths. It uses jEdit 4.2's services mechanism to allow classpath and sourcepath information to be provided in different ways by different implementors. Plugins using Java Core do not have to be dependent on any particular service, just Java Core itself. Java Core includes a default service implementation and an Ant Helper based implementation is available from the jEdit community site. Hopefully, in the future, more plugins will provide a Java Core service and more will use Java Core.
Compatibility: Works With 42?, Supports Dynamic Loading?

Topic JavaCore . { Edit | Attach | Ref-By | Printable | Diffs | r1.2 | > | r1.1 | More }
Revision r1.2 - 13 Feb 2004 - 14:20 GMT - Robert Fletcher
Parents: Web Home
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads