Example for synthetic local variable

examples/local/build.xml

+<project name="disl-example" basedir="." default="build">
+	<import file="../build-example.xml" />
+</project>

examples/local/src-app/Main.java

+public class Main {
+
+	public static void main(String[] args) {
+		System.out.println("Application: Inside method main");
+	}
+}

examples/local/src-inst/DiSLClass.java

+import ch.usi.dag.disl.annotation.After;
+import ch.usi.dag.disl.annotation.AfterReturning;
+import ch.usi.dag.disl.annotation.Before;
+import ch.usi.dag.disl.annotation.SyntheticLocal;
+import ch.usi.dag.disl.marker.BodyMarker;
+
+public class DiSLClass {
+
+	@SyntheticLocal
+	public static long timeBefore;
+
+	@Before(marker = BodyMarker.class, scope = "Main.main")
+	public static void beforemain() {
+
+		System.out.println("Instrumentation: Before method main");
+		timeBefore = System.nanoTime ();
+	}
+
+	@After(marker = BodyMarker.class, scope = "Main.main")
+	public static void aftermain() {
+
+		long timeAfter = System.nanoTime ();
+		System.out.println("Instrumentation: After method main which took " + (timeAfter - timeBefore) + "ns");
+	}
+}

examples/local/src-inst/MANIFEST.MF

+Manifest-Version: 1.0
+DiSL-Classes: DiSLClass