Raindrop Source Readme

This package:

  This archive file contains the source code for the Raindrop Automata project and all dependant projects and resources required for Automata to run.  This source code is provided in an eclipse exported archive file.  The directory structure is preserved.  

Installation:

  1) Unzip "Raindrop Source.zip" to a folder
     Inside this folder there will be six project folders.
     "automata"
     "Diva_2"
     "Prism Kweelt"
     "Ptplot"
     "RainbowCore"
     "Raindrop"
  2) Open eclipse, start a new java project
    a) Under "New Java Project" in the content pane, choose "Create Project from existing source"
    b) Choose the automata folder
    c) name the project "automata"
  3) Repeat step two for all 6 projects
  
  Usage:
  
    For examples running tests on provided data look at TestingSuite.java in Project automata, package /edu/wpi/cs/dsrg/xmldb/xat/testing
    
    To generate new .token files for custom tests, use TokenFileGenerator.java in Project automata, package /edu/wpi/cs/dsrg/xmldb/xat/component/datagenerators/xml