edu.nyu.acsys.CVC4.JavaIteratorAdapter_CommandSequence Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of cvc4-turnkey-permissive Show documentation

A self-unpacking, standalone CVC4 distribution that ships all required native support code and automatically unpacks it at runtime. Permissive-licensed version.

There is a newer version: 1.8

Show newest version

/* ----------------------------------------------------------------------------
 * This file was automatically generated by SWIG (http://www.swig.org).
 * Version 4.0.1
 *
 * Do not make changes to this file unless you know what you are doing--modify
 * the SWIG interface file instead.
 * ----------------------------------------------------------------------------- */

package edu.nyu.acsys.CVC4;

class JavaIteratorAdapter_CommandSequence implements java.util.Iterator {
  private transient long swigCPtr;
  protected transient boolean swigCMemOwn;

  protected JavaIteratorAdapter_CommandSequence(long cPtr, boolean cMemoryOwn) {
    swigCMemOwn = cMemoryOwn;
    swigCPtr = cPtr;
  }

  protected static long getCPtr(JavaIteratorAdapter_CommandSequence obj) {
    return (obj == null) ? 0 : obj.swigCPtr;
  }

  @SuppressWarnings("deprecation")
  protected void finalize() {
    delete();
  }

  public synchronized void delete() {
    if (swigCPtr != 0) {
      if (swigCMemOwn) {
        swigCMemOwn = false;
        CVC4JNI.delete_JavaIteratorAdapter_CommandSequence(swigCPtr);
      }
      swigCPtr = 0;
    }
  }

  public void remove() {
    throw new java.lang.UnsupportedOperationException();
  }

  public edu.nyu.acsys.CVC4.Command next() {
    if(hasNext()) {
      return getNext();
    } else {
      throw new java.util.NoSuchElementException();
    }
  }

  public JavaIteratorAdapter_CommandSequence(CommandSequence t) {
    this(CVC4JNI.new_JavaIteratorAdapter_CommandSequence(CommandSequence.getCPtr(t), t), true);
  }

  public boolean hasNext() {
    return CVC4JNI.JavaIteratorAdapter_CommandSequence_hasNext(swigCPtr, this);
  }

  private edu.nyu.acsys.CVC4.Command getNext() { return CVC4JNI.JavaIteratorAdapter_CommandSequence_getNext(swigCPtr, this); }

}