SpaceFailed.java

00001 /* ----------------------------------------------------------------------------
00002  * This file was automatically generated by SWIG (http://www.swig.org).
00003  * Version 1.3.29
00004  *
00005  * Do not make changes to this file unless you know what you are doing--modify
00006  * the SWIG interface file instead.
00007  * ----------------------------------------------------------------------------- */
00008 
00009 package org.gecode;
00010 
00011 public class SpaceFailed extends java.lang.RuntimeException {
00012   private long swigCPtr;
00013   protected boolean swigCMemOwn;
00014 
00015   protected SpaceFailed(long cPtr, boolean cMemoryOwn) {
00016     swigCMemOwn = cMemoryOwn;
00017     swigCPtr = cPtr;
00018   }
00019 
00020   protected static long getCPtr(SpaceFailed obj) {
00021     return (obj == null) ? 0 : obj.swigCPtr;
00022   }
00023 
00024   protected void finalize() {
00025     delete();
00026   }
00027 
00028   public void delete() {
00029     if(swigCPtr != 0 && swigCMemOwn) {
00030       swigCMemOwn = false;
00031       GecodeJNI.delete_SpaceFailed(swigCPtr);
00032     }
00033     swigCPtr = 0;
00034   }
00035 
00036   public SpaceFailed(String msg) {
00037     this(GecodeJNI.new_SpaceFailed(msg), true);
00038   }
00039 
00040 }