main page modules namespaces classes files
Gecode/J home

VarArray.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-11 17:06:50 +0200 (Mon, 11 Sep 2006) $ by $Author: zayenz $
 *     $Revision: 3650 $
 *
 *  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.util.ArrayList;
import java.lang.reflect.Constructor;
import java.lang.reflect.InvocationTargetException;

public class VarArray<Var extends GecodeVar> extends ArrayList<Var> {
    public VarArray() {
        super();
    }

    public VarArray(int size) {
        super(size);
    }

    @SuppressWarnings("unchecked") 
    public <C extends Iterable<Var>> VarArray(JavaSpace newHome, 
                                              boolean share, C va) {
        super();
        for (Var v: va) {
            add((Var)v.copy(newHome, share));
        }
    }

    public <C extends Iterable<? extends Var>> VarArray(C va) {
        super();
        for (Var v: va) add(v);
    }

    public <V2 extends Var> VarArray(V2... args) {
        super(args.length);
        for (V2 v: args) add(v);
    }

    public VarArray(JavaSpace home, int size, Class<? extends Var> type) {
        super(size);
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class);
            
            for (int i = 0; i < size; ++i) {
                add(ctor.newInstance(home));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }

    public VarArray(JavaSpace home, int size, Class<? extends Var> type, Object arg) {
        super(size);
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class, arg.getClass());
            
            for (int i = 0; i < size; ++i) {
                add(ctor.newInstance(home, arg));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }

    public VarArray(JavaSpace home, int size, Class<? extends Var> type, 
                    Object arg1, Object arg2) {
        super(size);
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class, 
                                                        arg1.getClass(),
                                                        arg2.getClass());
            
            for (int i = 0; i < size; ++i) {
                add(ctor.newInstance(home, arg1, arg2));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }

    public VarArray(JavaSpace home, int size, Class<? extends Var> type, 
                    Object arg1, Object arg2, Object arg3) {
        super(size);
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class,
                                                        arg1.getClass(),
                                                        arg2.getClass(),
                                                        arg3.getClass());
            
            for (int i = 0; i < size; ++i) {
                add(ctor.newInstance(home, arg1, arg2, arg3));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }
    
    public <A> VarArray(JavaSpace home, Class<? extends Var> type, A[] as) {
        super(as.length);
        if (as.length == 0) return;
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class, as[0].getClass());
            for (A a: as) {
                add(ctor.newInstance(home, a));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }

    public <A,B> VarArray(JavaSpace home, Class<? extends Var> type, A[] as, B[] bs) {
        super(as.length);
        if (as.length != bs.length)
            throw new IllegalArgumentException("Arraylengths do not match: " +
                                               as.length + " != " + bs.length);
        if (as.length == 0) return;
        try {
            Constructor<? extends Var> ctor = type.getConstructor(JavaSpace.class, 
                                                         as[0].getClass(),
                                                         bs[0].getClass());
            for (int i = 0; i < as.length; ++i) {
                add(ctor.newInstance(home, as[i], bs[i]));
            }
        } catch(NoSuchMethodException ex) {
            throw new FatalException(ex);
        } catch(InstantiationException ex) {
            throw new FatalException(ex);
        } catch(IllegalAccessException ex) {
            throw new FatalException(ex);
        } catch(InvocationTargetException ex) {
            throw new FatalException(ex);
        }
    }

    public boolean assigned() {
        for (Var v : this)
            if (!v.assigned())
                return false;
        return true;
    }

    public void swap(int a, int b) {
        Var tmp = get(a);
        set(a, get(b));
        set(b, tmp);
    }

    public String toString() {
        String ret = "[";
        int n = size();
        for (int i=0; i < n; i++) {
            GecodeVar v = get(i);
            String name = v.getName();
            if (!name.equals(""))
                ret += name+"=";
            ret += v.toString();
            if (i<n-1)
                ret += ",";
        }
        return ret+"]";
    }
}