From 3ba75ef701deb17a3871ca3b04d9596afac1c527 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Wed, 12 Feb 2020 14:48:10 -0800
Subject: Rename Java package to edu.stanford.CVC4 (#3752)

---
 src/expr/expr.i   | 6 +++---
 src/expr/record.i | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/expr')

diff --git a/src/expr/expr.i b/src/expr/expr.i
index fba1e8858..14ccf213c 100644
--- a/src/expr/expr.i
+++ b/src/expr/expr.i
@@ -99,18 +99,18 @@ namespace CVC4 {
 }
 
 // Expr is "iterable" on the Java side
-%typemap(javainterfaces) CVC4::Expr "java.lang.Iterable<edu.nyu.acsys.CVC4.Expr>";
+%typemap(javainterfaces) CVC4::Expr "java.lang.Iterable<edu.stanford.CVC4.Expr>";
 
 // the JavaIteratorAdapter should not be public, and implements Iterator
 %typemap(javaclassmodifiers) CVC4::JavaIteratorAdapter<CVC4::Expr, CVC4::Expr> "class";
-%typemap(javainterfaces) CVC4::JavaIteratorAdapter<CVC4::Expr, CVC4::Expr> "java.util.Iterator<edu.nyu.acsys.CVC4.Expr>";
+%typemap(javainterfaces) CVC4::JavaIteratorAdapter<CVC4::Expr, CVC4::Expr> "java.util.Iterator<edu.stanford.CVC4.Expr>";
 // add some functions to the Java side (do it here because there's no way to do these in C++)
 %typemap(javacode) CVC4::JavaIteratorAdapter<CVC4::Expr, CVC4::Expr> "
   public void remove() {
     throw new java.lang.UnsupportedOperationException();
   }
 
-  public edu.nyu.acsys.CVC4.Expr next() {
+  public edu.stanford.CVC4.Expr next() {
     if(hasNext()) {
       return getNext();
     } else {
diff --git a/src/expr/record.i b/src/expr/record.i
index 6133114cd..dce785ea3 100644
--- a/src/expr/record.i
+++ b/src/expr/record.i
@@ -35,7 +35,7 @@
 %typemap(out) std::pair<std::string, CVC4::Type> {
       $result = jenv->NewObjectArray(2, jenv->FindClass("java/lang/Object"), $null);
       jenv->SetObjectArrayElement($result, 0, jenv->NewStringUTF($1.first.c_str()));
-      jclass clazz = jenv->FindClass("edu/nyu/acsys/CVC4/Type");
+      jclass clazz = jenv->FindClass("edu/stanford/CVC4/Type");
       jmethodID methodid = jenv->GetMethodID(clazz, "<init>", "(JZ)V");
       jenv->SetObjectArrayElement($result, 1, jenv->NewObject(clazz, methodid, reinterpret_cast<uintptr_t>(new CVC4::Type($1.second)), true));
     };
-- 
cgit v1.2.3