From: rtrimana <rtrimana@uci.edu>
Date: Wed, 26 Jun 2019 19:38:59 +0000 (-0700)
Subject: Adding MagicAccessorImpl class for GroovyMagic.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=e9116bac18b5218e6fbe81101de1575ddb94a8f0;p=jpf-core.git

Adding MagicAccessorImpl class for GroovyMagic.
---

diff --git a/examples/Empty.groovy b/examples/Empty.groovy
index 4c130be..77aec71 100644
--- a/examples/Empty.groovy
+++ b/examples/Empty.groovy
@@ -22,10 +22,14 @@ class Empty {
 
 	static void main(String[] args) {		
 
-		//Empty emp = new Empty();
+		Empty emp = new Empty();
 		//int result = emp.installed();
 		//println result;
-		//emp.installed()
+		emp.installed()
+		int x = 5;
+		int y = 6;
+		int result = x + y;
+		println result
 		println "End of call!"
 	}	
 }
diff --git a/src/classes/sun/reflect/MagicAccessorImpl.java b/src/classes/sun/reflect/MagicAccessorImpl.java
new file mode 100644
index 0000000..9015d66
--- /dev/null
+++ b/src/classes/sun/reflect/MagicAccessorImpl.java
@@ -0,0 +1,15 @@
+package sun.reflect;
+
+/**
+ * MJI model class for sun.reflect.generics.reflectiveObjects.MagicAccessorImpl
+ *
+ * This is a JPF specific version of a system class because we can't use the real,
+ * platform VM specific version (it's native all over the place, its field
+ * structure isn't documented, most of its methods are private, hence we can't
+ * even instantiate it properly).
+ *
+ * Note that this class never gets seen by the real VM - it's for JPF's eyes only.
+ *
+ */
+public class MagicAccessorImpl {
+}