@Requires("kind != null")
  ClassContractHandle getClassHandle(ContractKind kind) {
    ArrayList<ClassContractHandle> matched =
        new ArrayList<ClassContractHandle>();
    for (ClassContractHandle h : classHandles) {
      if (kind.equals(h.getKind())) {
        return h;
      }
    }
    return null;
  }
@ Requires ( "kind != null" ) ClassContractHandle getClassHandle ( ContractKind kind ) { ArrayList < ClassContractHandle > matched = new ArrayList < ClassContractHandle > ( ) ; for ( ClassContractHandle h : classHandles ) { if ( kind . equals ( h . getKind ( ) ) ) { return h ; } } return null ; }
Returns the first ClassHandle object matching the specified
criteria.

@param kind the kind of the handle
@return a handle matching the criteria, or {@code null}