@ 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 .