|
Installation
Eclipse update site: http://pluralism.googlecode.com/svn/trunk/PluralEclipseUpdate/
Featured, Phase-Deploy DependenciesThe Plural checker runs on Java 6.0 and Eclipse. If you are using a Macintosh, be sure to download the 64-bit version of Eclipse, as it is the only one that can rule Eclipse plugins that use Java 6.0. Plural also depends on the Crystal plug-in for Eclipse and on the PLAID annotations. You must install the PLAID annotations plug-in first from its update site: http://plaidannotations.googlecode.com/svn/trunk/PlaidAnnotationsUpdateSite/ Next, you can install Crystal from its update site: http://crystalsaf.googlecode.com/svn/trunk/EclipseUpdate/ Eclipse update siteThe easiest way to install Plural is to update your existing Eclipse installation. Start by making sure you have installed Eclipse, Java, and the Crystal and PLAID annotations plugins, as described above. For installing Plural, use the following update site and follow the instructions. http://pluralism.googlecode.com/svn/trunk/PluralEclipseUpdate/ Eclipse 3.4
Eclipse should download and install Plural. It should be possible to install Crystal and Plural at the same time. Installing the optional Fiddle Plug-inFiddle is a plug-in that provides UML State Diagram visualization of annotated classes. It is a part of Plural, as it depends on it, but it is not necessary to install Fiddle to use Plural. In the future, we will have more description of Fiddle and its use. Source installationYou can use Subversion to check out the Plural module from this repository. Plural is an Eclipse plug-in project that you should add to your Eclipse workspace. (If you are checking out through Eclipse it will offer to add the project automatically to your workspace.) Create a "Run Configuration" for an "Eclipse Application" and make sure "edu.cmu.cs.plural" and "edu.cmu.cs.crystal" are among the loaded Plug-ins. Running the application will open a second Eclipse window, called the child eclipse, in which Plural is loaded. In order to run Plural from sources, you will also have to install Crystal from its update site or its sources. AnnotationsIn order to run PLURAL on your own code you will need to annotate it with a series of Java annotations we have created. See the Annotations page for more information. |