org.eclipse.ocl.internal.evaluation.IterationTemplateIsUnique Maven / Gradle / Ivy

Go to download
/**
 * 
 *
 * Copyright (c) 2005, 2007 IBM Corporation and others.
 * All rights reserved.   This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 *
 * Contributors:
 *   IBM - Initial API and implementation
 *
 * 
 *
 * $Id: IterationTemplateIsUnique.java,v 1.2 2007/10/11 23:05:05 cdamus Exp $
 */

package org.eclipse.ocl.internal.evaluation;

import java.util.List;
import java.util.Set;

import org.eclipse.ocl.EvaluationEnvironment;
import org.eclipse.ocl.EvaluationVisitor;
import org.eclipse.ocl.expressions.Variable;

/**
 *
 */
public class IterationTemplateIsUnique
		extends IterationTemplate {
	
	private IterationTemplateIsUnique(
			EvaluationVisitor v) {
		super(v);
	}
	
	public static
	IterationTemplate getInstance(
			EvaluationVisitor v) {
		return new IterationTemplateIsUnique(v);
	}
	
	@Override
    protected Object evaluateResult(List> iterators, String resultName, Object bodyVal) {
		EvaluationEnvironment env = getEvalEnvironment();
		
		@SuppressWarnings("unchecked")
		Set