javax.constraints.impl.constraint.And Maven / Gradle / Ivy

Go to download
//================================================================
// J A V A  C O M M U N I T Y  P R O C E S S
// 
// J S R  3 3 1 
// 
// CONSTRAINER-BASED REFERENCE IMPLEMENTATION
//
// Copyright (c) Cork Constraint Computation Centre, 2010
// University College Cork, Cork, Ireland, www.4c.ucc.ie
// Constrainer is copyrighted by Exigen Group, USA.
// 
//================================================================
package javax.constraints.impl.constraint;


import javax.constraints.impl.Constraint;
import javax.constraints.impl.Problem;

import com.exigen.ie.constrainer.IntBoolExp;

public class And extends Constraint {

	public And(javax.constraints.Constraint c1, javax.constraints.Constraint c2) {
		super(c1.getProblem()); 
		Object myC1 = c1.getImpl();
		if (myC1 == null)
			error(c1);
		Object myC2 = c2.getImpl();
		if (myC2 == null)
			error(c2);
		IntBoolExp b1 = ((com.exigen.ie.constrainer.Constraint)myC1).toIntBoolExp();
		if (b1 == null)
			error(c1);
		IntBoolExp b2 = ((com.exigen.ie.constrainer.Constraint)myC2).toIntBoolExp();
		if (b2 == null)
			error(c2);
		IntBoolExp newConstraint;
		newConstraint = b1.and(b2);
		Problem p = (Problem)c1.getProblem();
		setImpl(p.getConstrainer().addConstraint(newConstraint));
	}
	
	void error(javax.constraints.Constraint c) {
		throw new RuntimeException("Constraint "+c.getName() + " cannot be used with constraint And");
	}
}