1 files changed, 40 insertions, 0 deletions
diff --git a/src/api/java/cvc5/AbstractPointer.java b/src/api/java/cvc5/AbstractPointer.java
new file mode 100644
index 000000000..f6cdff8ad
--- /dev/null
+++ b/src/api/java/cvc5/AbstractPointer.java
@@ -0,0 +1,40 @@
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Mudathir Mohamed
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ *
+ * The cvc5 java API.
+ */
+
+package cvc5;
+
+abstract class AbstractPointer implements IPointer
+{
+  protected final Solver solver;
+  protected final long pointer;
+
+  public long getPointer()
+  {
+    return pointer;
+  }
+
+  @Override public String toString()
+  {
+    return toString(pointer);
+  }
+
+  abstract protected String toString(long pointer);
+
+  AbstractPointer(Solver solver, long pointer)
+  {
+    this.solver = solver;
+    this.pointer = pointer;
+  }
+}