2 files changed, 125 insertions, 0 deletions
diff --git a/bindings/java/examples/build.xml b/bindings/java/examples/build.xml
new file mode 100644
index 0000000..e7f6f4d
--- /dev/null
+++ b/bindings/java/examples/build.xml
@@ -0,0 +1,41 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!-- build.xml: Ant build file for ppamltracer Java examples
+Copyright (C) 2014  Galois, Inc.
+
+This program is free software: you can redistribute it and/or modify it under
+the terms of the GNU General Public License as published by the Free Software
+Foundation, either version 3 of the License, or (at your option) any later
+version.
+
+This program is distributed in the hope that it will be useful, but WITHOUT
+ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
+FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
+details.
+
+You should have received a copy of the GNU General Public License along with
+this program.  If not, see <http://www.gnu.org/licenses/>.
+
+To contact Galois, complete the Web form at <http://corp.galois.com/contact/>
+or write to Galois, Inc., 421 Southwest 6th Avenue, Suite 300, Portland,
+Oregon, 97204-1622. -->
+
+<project name="ppamltracer-java-examples" basedir="." default="compile">
+
+  <property name="src" location="src" />
+
+  <property name="dist" location="dist" />
+  <property name="dist.classes" location="${dist}/classes" />
+
+
+  <target name="compile">
+    <mkdir dir="${dist.classes}" />
+    <javac srcdir="${src}"
+           destdir="${dist.classes}"
+           includeantruntime="true" />
+  </target>
+
+  <target name="clean">
+    <delete dir="${dist}"/>
+  </target>
+
+</project>
diff --git a/bindings/java/examples/src/com/galois/ppaml/tracer/examples/Simple.java b/bindings/java/examples/src/com/galois/ppaml/tracer/examples/Simple.java
new file mode 100644
index 0000000..a698573
--- /dev/null
+++ b/bindings/java/examples/src/com/galois/ppaml/tracer/examples/Simple.java
@@ -0,0 +1,84 @@
+/* Simple -- basic ppamltracer example
+ * This file is in the public domain. */
+
+package com.galois.ppaml.tracer.examples;
+
+import com.galois.ppaml.tracer.Phase;
+import com.galois.ppaml.tracer.Tracer;
+
+public class Simple {
+
+	protected Phase factPhase;
+
+	protected Phase fibPhase;
+
+	protected void go(Tracer tracer) {
+		// Register the phases.
+		factPhase = tracer.createPhase("fact");
+		fibPhase = tracer.createPhase("fib");
+
+		// Print factorials.
+		System.out.print("Factorials:");
+		for (int i = 0; i < 21; i++) {
+			System.out.print(" " + fact(i));
+		}
+		System.out.println();
+
+		// Print Fibonacci numbers.
+		System.out.print("Fibonacci numbers:");
+		for (int i = 0; i < 30; i++) {
+			System.out.print(" " + fib(i));
+		}
+		System.out.println();
+
+		// Finalize phases and exit.
+		factPhase.close();
+		fibPhase.close();
+	}
+
+	protected long fact(int n) {
+		// Record that we're running inside the factorial phase.
+		factPhase.start();
+		// Compute the factorial.
+		long result;
+		if (n == 0) {
+			result = 1;
+		} else {
+			result = n * fact(n - 1);
+		}
+		// Return the result.
+		factPhase.stop();
+		return result;
+	}
+
+	protected int fib(int n) {
+		// Record that we're running inside the Fibonacci phase.
+		fibPhase.start();
+		// Compute the nth Fibonacci number.
+		int result;
+		switch (n) {
+		case 0:
+		case 1:
+			result = n;
+			break;
+		default:
+			result = fib(n - 1) + fib(n - 2);
+			break;
+		}
+		// Return the result.
+		fibPhase.stop();
+		return result;
+	}
+
+	public static void main(String[] args) {
+		// Start ppamltracer.
+		Tracer tracer = new Tracer("/tmp/simple_report");
+
+		// Run the app.
+		(new Simple()).go(tracer);
+
+		// Finalize ppamltracer and exit.
+		tracer.close();
+	}
+
+}