main page modules namespaces classes files
Gecode/J home

ViewArray.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 ViewArray<View extends GecodeView> extends ArrayList<View> {
    public ViewArray() {
        super();
    }

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

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

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

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

    public ViewArray(JavaSpace home, int size, Class<? extends View> type) {
        super(size);
        try {
            Constructor<? extends View> 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 ViewArray(JavaSpace home, int size, Class<? extends View> type, Object arg) {
        super(size);
        try {
            Constructor<? extends View> 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 ViewArray(JavaSpace home, int size, Class<? extends View> type, 
                    Object arg1, Object arg2) {
        super(size);
        try {
            Constructor<? extends View> 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 ViewArray(JavaSpace home, int size, Class<? extends View> type, 
                    Object arg1, Object arg2, Object arg3) {
        super(size);
        try {
            Constructor<? extends View> 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 <Var extends GecodeVar> ViewArray(JavaSpace home, Class<? extends View> type, 
                                          VarArray<Var> va) {
        super(va.size());
        if (va.size() == 0) return;
        try {
            Constructor<? extends View> ctor = type.getConstructor(JavaSpace.class, 
                                                         va.get(0).getClass());
            for (Var v : va) {
                add(ctor.newInstance(home, v));
            }
        } 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> ViewArray(JavaSpace home, Class<? extends View> type, A[] as) {
        super(as.length);
        if (as.length == 0) return;
        try {
            Constructor<? extends View> 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> ViewArray(JavaSpace home, Class<? extends View> 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 View> 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 void cancel(Space home, JavaPropagator p, PropCond pc) {
        for (View v : this)
            v.cancel(home, p, pc);
    }

    public void subscribe(JavaSpace home, JavaPropagator p, PropCond pc) {
        for (View v : this)
            v.subscribe(home, p, pc);
    }

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

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