constraint_equalset.java

来自「SRI international 发布的OAA框架软件」· Java 代码 · 共 61 行

/*
#=========================================================================
# Copyright 2003 SRI International.  All rights reserved.
#
# The material contained in this file is confidential and proprietary to SRI
# International and may not be reproduced, published, or disclosed to others
# without authorization from SRI International.
#
# DISCLAIMER OF WARRANTIES
#
# SRI International MAKES NO REPRESENTATIONS OR WARRANTIES ABOUT THE
# SUITABILITY OF THE SOFTWARE, EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT
# LIMITED TO THE IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
# PARTICULAR PURPOSE, OR NON-INFRINGEMENT. SRI International SHALL NOT BE
# LIABLE FOR ANY DAMAGES SUFFERED BY LICENSEE AS A RESULT OF USING, MODIFYING
# OR DISTRIBUTING THIS SOFTWARE OR ITS DERIVATIVES
#=========================================================================
  Author : shardt
  Date: Aug 11, 2003
*/
package com.sri.oaa2.tools.oaatest;

import org.xml.sax.*;
import com.sri.oaa2.icl.*;
import java.util.*;


class Constraint_equalset extends SetConstraint {
  protected Constraint_equalset(Attributes attribs,Locator loc) 
    throws ParseException {
    super(attribs,loc,"equalset");
  }
  
  /** Check whether actual is equalset to this.value. */
  protected boolean checkValue(IclTerm actual) {
    List wrapActual = wrapIclList(actual);
    if (wrapActual == null) {
      return false;
    }

    // value is subset of actual 
    Iterator iter = getValue().iterator();
    while (iter.hasNext()) {
      if (!wrapActual.contains(iter.next())) {
        return false;
      }
    }
    
    // actual is subset of value
    Iterator iter2 = wrapActual.iterator();
    while (iter2.hasNext()) {
      IclTermWrapper child = (IclTermWrapper)iter2.next();
      if (!getValue().contains(child)) {
        return false;
      }
    }

    return true;
  }
}