main page modules namespaces classes files
Gecode/J home

Branching.java

Go to the documentation of this file.

/*
 *  Main authors:
 *     Mikael Lagerkvist <lagerkvist@gecode.org>
 *     Guido Tack <tack@gecode.org>
 *
 *  Copyright:
 *     Mikael Lagerkvist, 2006
 *     Guido Tack, 2006
 *
 *  Last modified:
 *     $Date: 2006-09-26 16:51:04 +0200 (Tue, 26 Sep 2006) $ by $Author: zayenz $
 *     $Revision: 3706 $
 *
 *  This file is part of Gecode, the generic constraint
 *  development environment:
 *     http://www.gecode.org
 *
 *  See the file "LICENSE" for information on usage and
 *  redistribution of this file, and for a
 *     DISCLAIMER OF ALL WARRANTIES.
 *
 */

package org.gecode;

import java.lang.reflect.*;
import java.lang.reflect.Constructor;
import java.lang.reflect.InvocationTargetException;

public abstract class Branching 
  extends JavaBranching
  implements GecodeEnumConstants {

    public Branching() {
        swigReleaseOwnership();
    }

    public void dispose(Space home) {}

    public final void dispose_internal(JavaSpace home) {
        dispose(new DummySpace(home.getCPtr(home),
                               home.swigCMemOwn));
    }

    public Branching copy(Space home, boolean share) {
        try {
            Constructor ctors[] = this.getClass().getDeclaredConstructors();
            if (this.getClass().getEnclosingClass() == null) {
                for (int i = 0; i < ctors.length; ++i) {
                    Class<?> args[] = ctors[i].getParameterTypes();
                    if (args.length != 3) continue;
                    if (args[0] != Space.class) continue;
                    if (args[1] != Boolean.class) continue;
                    if (args[2] != this.getClass()) continue;
                    ctors[i].setAccessible(true);
                    return (Branching)ctors[i].newInstance(home, share, this);
                }
            } else {
                throw new FatalException("Nested classes must override " +
                                         "the copy(Space home, boolean share) method");
            }
            throw new NoSuchMethodException();
        } catch(NoSuchMethodException ex) {
            throw new FatalException("No suitable copy-constructor defined for " 
                                     + this.getClass().getName(), ex);
        } catch(InstantiationException ex) {
            throw new FatalException("No suitable copy-constructor defined for " 
                                     + this.getClass().getName(), ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException("No suitable copy-constructor defined for " 
                                     + this.getClass().getName(), ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException("No suitable copy-constructor defined for " 
                                     + this.getClass().getName(), ex);
        }
    }
    public JavaBranching copy_internal(JavaSpace home, boolean share) {
        JavaBranching ret = null;
        try {
            ret = copy(new DummySpace(home.getCPtr(home),
                                      home.swigCMemOwn), share);
        } catch (Throwable e) {
            System.err.println("Exception while copying a branching:");
            System.err.println(e.getMessage());
            e.printStackTrace();
            System.err.println("Exit.");
            System.exit(2);
        }
        return ret;
    }
    public abstract boolean status(Space home);
    public final boolean status_internal(JavaSpace home) {
        boolean ret = false;
        try {
            ret = status(new DummySpace(home.getCPtr(home), home.swigCMemOwn));
        } catch (Throwable e) {
            System.err.println("Exception while branching:");
            System.err.println(e.getMessage());
            e.printStackTrace();
            System.err.println("Exit.");
            System.exit(2);
        }
        return ret;
    }
    public abstract ExecStatus commit(Space home, JavaBranchingDesc d, long a);
    public final ExecStatus commit_internal(JavaSpace home, JavaBranchingDesc d, long a) {
        ExecStatus ret = null;
        try {
            ret = commit(new DummySpace(home.getCPtr(home),
                                        home.swigCMemOwn), d, a);
        } catch (Throwable e) {
            System.err.println("Exception while committing to a branch:");
            System.err.println(e.getMessage());
            e.printStackTrace();
            System.err.println("Exit.");
            System.exit(2);
        }
        return ret;
    }
    public abstract JavaBranchingDesc description(Space home);
    public final JavaBranchingDesc description_internal(JavaSpace home) {
        JavaBranchingDesc ret = null;
        try {
            ret = description(new DummySpace(home.getCPtr(home),
                                             home.swigCMemOwn));
        } catch (Throwable e) {
            System.err.println("Exception while computing branching description:");
            System.err.println(e.getMessage());
            e.printStackTrace();
            System.err.println("Exit.");
            System.exit(2);
        }
        return ret;
    }
}