This is an old revision of the document!
AlphaZ has been only tested on Linux 64 bits and MacOs.
The eclipse environment with all necessary plug-ins is available in the AlphaZ project directory. The following script will start the eclipse with AlphaZ installed.
#!/bin/bash #Path to the eclipse -- should NOT be changed export ECLIPSE_HOME=/s/chopin/e/proj/AlphaZ/BinTree/eclipse-alphaz-bundle/eclipse/ #Path to the java used -- should NOT be changed export JAVA_HOME=/usr/local/java64/bin/ export PATH=${JAVA_HOME}:${PATH} ${ECLIPSE_HOME}/eclipse $* -vmargs -d64 -Xms256m -Xmx1024m &
Save the above script as eclipse.custom
on your home directory (say as ~/eclipse.custom) and run it (don't forget to give execute permission to the script).
Bundles for other environments are available under http://www.cs.colostate.edu/AlphaZ/bundles/
.
Simply download the archive for your OS/architecture and extract its content.
AlphaZ bundle will be also automatically updated.
If you met some problems while using AlphaZ, please refer to the common pitfall section. We described some common problems that users met, and provided possible solutions.
To get started with AlphaZ, a Java plug-in project with examples can be checked out from our repository.
“File→New→Other”
from the menu and select “Checkout Projects from SVN”
“Create a new repository location”
and click “Next”
http://www.cs.colostate.edu/AlphaZsvn/Development
as the URL and click “Next”
“Alphabets”
and click “Finish”
Inside the Alphabets
project, you will find two directories, AlphabetsExamples
and CommandScripts
. Alphabets is the programming language for programming in equations (with extension .ab), and CompilerScripts (.cs) are script files to use the scripting interface of AlphaZ.
Try running BasicScript.cs
in the CommandScripts
directory to make sure that the system is working on your machine.
ReadAlphabets
loads .ab files and parses it to get a Program
object.
Objects returned by commands and strings/integers can be stored in untyped variables.
Show
, AShow
, PrintAST
are all commands to print out the program in different formats.
generateXXX
commands takes the program and generates executable C code.
You may have some error connecting to the repository through eclipse
“Preferences→Team→SVN”
and change the SVN interface to “SVNKit(Pure Java)”
and try again.Check the following if something does not work