yijunyu/c-to-rust huggingface dataset:
// Original:
public CancelReservedInstancesListingResult cancelReservedInstancesListing(CancelReservedInstancesListingRequest request) {request = beforeClientExecution(request);return executeCancelReservedInstancesListing(request);}

// Translation:
public virtual CancelReservedInstancesListingResponse CancelReservedInstancesListing(CancelReservedInstancesListingRequest request){var options = new InvokeOptions();options.RequestMarshaller = CancelReservedInstancesListingRequestMarshaller.Instance;options.ResponseUnmarshaller = CancelReservedInstancesListingResponseUnmarshaller.Instance;return Invoke<CancelReservedInstancesListingResponse>(request, options);}
// Original:
public String getSignerName() {return null;}

// Translation:
public override string GetSignerName(){return "BearerTokenSigner";}
// Original:
public ListTagsForDeliveryStreamResult listTagsForDeliveryStream(ListTagsForDeliveryStreamRequest request) {request = beforeClientExecution(request);return executeListTagsForDeliveryStream(request);}

// Translation:
public virtual ListTagsForDeliveryStreamResponse ListTagsForDeliveryStream(ListTagsForDeliveryStreamRequest request){var options = new InvokeOptions();options.RequestMarshaller = ListTagsForDeliveryStreamRequestMarshaller.Instance;options.ResponseUnmarshaller = ListTagsForDeliveryStreamResponseUnmarshaller.Instance;return Invoke<ListTagsForDeliveryStreamResponse>(request, options);}
// Original:
public RegisterDomainResult registerDomain(RegisterDomainRequest request) {request = beforeClientExecution(request);return executeRegisterDomain(request);}

// Translation:
public virtual RegisterDomainResponse RegisterDomain(RegisterDomainRequest request){var options = new InvokeOptions();options.RequestMarshaller = RegisterDomainRequestMarshaller.Instance;options.ResponseUnmarshaller = RegisterDomainResponseUnmarshaller.Instance;return Invoke<RegisterDomainResponse>(request, options);}
// Original:
public ListEntityRecognizersResult listEntityRecognizers(ListEntityRecognizersRequest request) {request = beforeClientExecution(request);return executeListEntityRecognizers(request);}

// Translation:
public virtual ListEntityRecognizersResponse ListEntityRecognizers(ListEntityRecognizersRequest request){var options = new InvokeOptions();options.RequestMarshaller = ListEntityRecognizersRequestMarshaller.Instance;options.ResponseUnmarshaller = ListEntityRecognizersResponseUnmarshaller.Instance;return Invoke<ListEntityRecognizersResponse>(request, options);}
// Original:
public void setTimeout(int millis) {if (millis < 0)throw new IllegalArgumentException(MessageFormat.format(JGitText.get().invalidTimeout, Integer.valueOf(millis)));timeout = millis;}

// Translation:
public virtual void SetTimeout(int millis){if (millis < 0){throw new ArgumentException(MessageFormat.Format(JGitText.Get().invalidTimeout, Sharpen.Extensions.ValueOf(millis)));}timeout = millis;}
// Original:
public GetRepoSourceRepoRequest() {super("cr", "2016-06-07", "GetRepoSourceRepo", "cr");setUriPattern("/repos/[RepoNamespace]/[RepoName]/sourceRepo");setMethod(MethodType.GET);}

// Translation:
public GetRepoSourceRepoRequest(): base("cr", "2016-06-07", "GetRepoSourceRepo", "cr", "openAPI"){UriPattern = "/repos/[RepoNamespace]/[RepoName]/sourceRepo";Method = MethodType.GET;}
// Original:
public DescribeBatchInferenceJobResult describeBatchInferenceJob(DescribeBatchInferenceJobRequest request) {request = beforeClientExecution(request);return executeDescribeBatchInferenceJob(request);}

// Translation:
public virtual DescribeBatchInferenceJobResponse DescribeBatchInferenceJob(DescribeBatchInferenceJobRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeBatchInferenceJobRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeBatchInferenceJobResponseUnmarshaller.Instance;return Invoke<DescribeBatchInferenceJobResponse>(request, options);}
// Original:
public CreateSecurityGroupRequest(String groupName, String description) {setGroupName(groupName);setDescription(description);}

// Translation:
public CreateSecurityGroupRequest(string groupName, string description){_groupName = groupName;_description = description;}
// Original:
public final int serialize(int offset, byte[] data) {SerializingRecordVisitor srv = new SerializingRecordVisitor(data, offset);visitContainedRecords(srv);return srv.countBytesWritten();}

// Translation:
public override int Serialize(int offset, byte[] data){SerializingRecordVisitor srv = new SerializingRecordVisitor(data, offset);VisitContainedRecords(srv);return srv.CountBytesWritten();}
// Original:
public BatchGetImageResult batchGetImage(BatchGetImageRequest request) {request = beforeClientExecution(request);return executeBatchGetImage(request);}

// Translation:
public virtual BatchGetImageResponse BatchGetImage(BatchGetImageRequest request){var options = new InvokeOptions();options.RequestMarshaller = BatchGetImageRequestMarshaller.Instance;options.ResponseUnmarshaller = BatchGetImageResponseUnmarshaller.Instance;return Invoke<BatchGetImageResponse>(request, options);}
// Original:
public int read() throws IOException {try {beginRead();return super.read();} catch (InterruptedIOException e) {throw readTimedOut(e);} finally {endRead();}}

// Translation:
public override int Read(){try{BeginRead();return base.Read();}catch (ThreadInterruptedException){throw ReadTimedOut();}finally{EndRead();}}
// Original:
public ActivityTask pollForActivityTask(PollForActivityTaskRequest request) {request = beforeClientExecution(request);return executePollForActivityTask(request);}

// Translation:
public virtual PollForActivityTaskResponse PollForActivityTask(PollForActivityTaskRequest request){var options = new InvokeOptions();options.RequestMarshaller = PollForActivityTaskRequestMarshaller.Instance;options.ResponseUnmarshaller = PollForActivityTaskResponseUnmarshaller.Instance;return Invoke<PollForActivityTaskResponse>(request, options);}
// Original:
public int execute(StringBuilder buf) {if ( text!=null ) {buf.append(text);}return lastIndex+1;}

// Translation:
public virtual int Execute(StringBuilder buf){return index;}
// Original:
public float overheadPerValue(int bitsPerValue) {assert isSupported(bitsPerValue);return 0f;}

// Translation:
public virtual float OverheadPerValue(int bitsPerValue){Debug.Assert(IsSupported(bitsPerValue));return 0f;}
// Original:
public String toString() {return buf.toString();}

// Translation:
public override string ToString(){return buf.ToString();}
// Original:
public PrecedenceQueryParser(Analyzer analyer) {super(analyer);setQueryNodeProcessor(new PrecedenceQueryNodeProcessorPipeline(getQueryConfigHandler()));}

// Translation:
public PrecedenceQueryParser(Analyzer analyer): base(analyer){SetQueryNodeProcessor(new PrecedenceQueryNodeProcessorPipeline(QueryConfigHandler));}
// Original:
public final int position() {return position;}

// Translation:
public int position(){return _position;}
// Original:
public boolean equals(Object o) {return this.getClass() == o.getClass();}

// Translation:
public override bool Equals(object o){return this.GetType() == o.GetType();}
// Original:
public IntBuffer compact() {throw new ReadOnlyBufferException();}

// Translation:
public override java.nio.IntBuffer compact(){throw new java.nio.ReadOnlyBufferException();}
// Original:
public void writeByte(int v) {writeContinueIfRequired(1);_ulrOutput.writeByte(v);}

// Translation:
public void WriteByte(int v){_out.WriteByte(v);_size += 1;}
// Original:
public ExpireSessionResult expireSession(ExpireSessionRequest request) {request = beforeClientExecution(request);return executeExpireSession(request);}

// Translation:
public virtual ExpireSessionResponse ExpireSession(ExpireSessionRequest request){var options = new InvokeOptions();options.RequestMarshaller = ExpireSessionRequestMarshaller.Instance;options.ResponseUnmarshaller = ExpireSessionResponseUnmarshaller.Instance;return Invoke<ExpireSessionResponse>(request, options);}
// Original:
public GetSubscriptionAttributesRequest(String subscriptionArn) {setSubscriptionArn(subscriptionArn);}

// Translation:
public GetSubscriptionAttributesRequest(string subscriptionArn){_subscriptionArn = subscriptionArn;}
// Original:
public GetMetricDataResult getMetricData(GetMetricDataRequest request) {request = beforeClientExecution(request);return executeGetMetricData(request);}

// Translation:
public virtual GetMetricDataResponse GetMetricData(GetMetricDataRequest request){var options = new InvokeOptions();options.RequestMarshaller = GetMetricDataRequestMarshaller.Instance;options.ResponseUnmarshaller = GetMetricDataResponseUnmarshaller.Instance;return Invoke<GetMetricDataResponse>(request, options);}
// Original:
public DescribeDhcpOptionsResult describeDhcpOptions(DescribeDhcpOptionsRequest request) {request = beforeClientExecution(request);return executeDescribeDhcpOptions(request);}

// Translation:
public virtual DescribeDhcpOptionsResponse DescribeDhcpOptions(DescribeDhcpOptionsRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeDhcpOptionsRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeDhcpOptionsResponseUnmarshaller.Instance;return Invoke<DescribeDhcpOptionsResponse>(request, options);}
// Original:
public NavigableSet<E> subSet(E start, boolean startInclusive, E end,boolean endInclusive) {Comparator<? super E> c = backingMap.comparator();int compare = (c == null) ? ((Comparable<E>) start).compareTo(end) : c.compare(start, end);if (compare <= 0) {return new TreeSet<E>(backingMap.subMap(start, startInclusive, end,endInclusive));}throw new IllegalArgumentException();}

// Translation:
public virtual java.util.NavigableSet<E> subSet(E start, bool startInclusive, E end, bool endInclusive){java.util.Comparator<E> c = backingMap.comparator();int compare = (c == null) ? ((java.lang.Comparable<E>)start).compareTo(end) : c.compare(start, end);if (compare <= 0){return new java.util.TreeSet<E>(backingMap.subMap(start, startInclusive, end, endInclusive));}throw new System.ArgumentException();}
// Original:
public SendEmailResult sendEmail(SendEmailRequest request) {request = beforeClientExecution(request);return executeSendEmail(request);}

// Translation:
public virtual SendEmailResponse SendEmail(SendEmailRequest request){var options = new InvokeOptions();options.RequestMarshaller = SendEmailRequestMarshaller.Instance;options.ResponseUnmarshaller = SendEmailResponseUnmarshaller.Instance;return Invoke<SendEmailResponse>(request, options);}
// Original:
public String toString(){return String.valueOf(_value);}

// Translation:
public override string ToString(){return Convert.ToString(this._value, CultureInfo.CurrentCulture);}
// Original:
public static double getExcelDate(LocalDate date) {return getExcelDate(date, false);}

// Translation:
public static double GetExcelDate(DateTime date){return GetExcelDate(date, false);}
// Original:
public boolean equals( Object o ) {return o instanceof ItalianStemmer;}

// Translation:
public override bool Equals(object o){return o is ItalianStemmer;}
// Original:
public ListenerHandle addIndexChangedListener(IndexChangedListener listener) {return addListener(IndexChangedListener.class, listener);}

// Translation:
public virtual ListenerHandle AddIndexChangedListener(IndexChangedListener listener){return AddListener<IndexChangedListener>(listener);}
// Original:
public SynthesizeSpeechResult synthesizeSpeech(SynthesizeSpeechRequest request) {request = beforeClientExecution(request);return executeSynthesizeSpeech(request);}

// Translation:
public virtual SynthesizeSpeechResponse SynthesizeSpeech(SynthesizeSpeechRequest request){var options = new InvokeOptions();options.RequestMarshaller = SynthesizeSpeechRequestMarshaller.Instance;options.ResponseUnmarshaller = SynthesizeSpeechResponseUnmarshaller.Instance;return Invoke<SynthesizeSpeechResponse>(request, options);}
// Original:
public void merge(TextFragment frag2){textEndPos = frag2.textEndPos;score=Math.max(score,frag2.score);}

// Translation:
public virtual void Merge(TextFragment frag2){TextEndPos = frag2.TextEndPos;Score = Math.Max(Score, frag2.Score);}
// Original:
public CreateLedgerResult createLedger(CreateLedgerRequest request) {request = beforeClientExecution(request);return executeCreateLedger(request);}

// Translation:
public virtual CreateLedgerResponse CreateLedger(CreateLedgerRequest request){var options = new InvokeOptions();options.RequestMarshaller = CreateLedgerRequestMarshaller.Instance;options.ResponseUnmarshaller = CreateLedgerResponseUnmarshaller.Instance;return Invoke<CreateLedgerResponse>(request, options);}
// Original:
public DescribeFleetPortSettingsResult describeFleetPortSettings(DescribeFleetPortSettingsRequest request) {request = beforeClientExecution(request);return executeDescribeFleetPortSettings(request);}

// Translation:
public virtual DescribeFleetPortSettingsResponse DescribeFleetPortSettings(DescribeFleetPortSettingsRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeFleetPortSettingsRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeFleetPortSettingsResponseUnmarshaller.Instance;return Invoke<DescribeFleetPortSettingsResponse>(request, options);}
// Original:
public String getHost() {return host;}

// Translation:
public string getHost(){return host;}
// Original:
public short get() {if (position == limit) {throw new BufferUnderflowException();}return byteBuffer.getShort(position++ * SizeOf.SHORT);}

// Translation:
public override short get(){if (_position == _limit){throw new java.nio.BufferUnderflowException();}return byteBuffer.getShort(_position++ * libcore.io.SizeOf.SHORT);}
// Original:
public void ReInit(CharStream stream){jjmatchedPos = jjnewStateCnt = 0;curLexState = defaultLexState;input_stream = stream;ReInitRounds();}

// Translation:
public void ReInit(ICharStream stream){jjmatchedPos = jjnewStateCnt = 0;curLexState = defaultLexState;m_input_stream = stream;ReInitRounds();}
// Original:
public void set(int index, long value) {final int o = index / 12;final int b = index % 12;final int shift = b * 5;blocks[o] = (blocks[o] & ~(31L << shift)) | (value << shift);}

// Translation:
public override void Set(int index, long value){int o = index / 12;int b = index % 12;int shift = b * 5;blocks[o] = (blocks[o] & ~(31L << shift)) | (value << shift);}
// Original:
public ByteSequencesWriter(IndexOutput out) {this.out = out;}

// Translation:
public ByteSequencesWriter(DataOutput os){this.os = os;}
// Original:
public MultiTermsEnum(ReaderSlice[] slices) {queue = new TermMergeQueue(slices.length);top = new TermsEnumWithSlice[slices.length];subs = new TermsEnumWithSlice[slices.length];subDocs = new MultiPostingsEnum.EnumWithSlice[slices.length];for(int i=0;i<slices.length;i++) {subs[i] = new TermsEnumWithSlice(i, slices[i]);subDocs[i] = new MultiPostingsEnum.EnumWithSlice();subDocs[i].slice = slices[i];}currentSubs = new TermsEnumWithSlice[slices.length];}

// Translation:
public MultiTermsEnum(ReaderSlice[] slices){queue = new TermMergeQueue(slices.Length);top = new TermsEnumWithSlice[slices.Length];subs = new TermsEnumWithSlice[slices.Length];subDocs = new MultiDocsEnum.EnumWithSlice[slices.Length];subDocsAndPositions = new MultiDocsAndPositionsEnum.EnumWithSlice[slices.Length];for (int i = 0; i < slices.Length; i++){subs[i] = new TermsEnumWithSlice(i, slices[i]);subDocs[i] = new MultiDocsEnum.EnumWithSlice();subDocs[i].Slice = slices[i];subDocsAndPositions[i] = new MultiDocsAndPositionsEnum.EnumWithSlice();subDocsAndPositions[i].Slice = slices[i];}currentSubs = new TermsEnumWithSlice[slices.Length];}
// Original:
public char last() {if (start == end) {return DONE;}offset = end - 1;return string.charAt(offset);}

// Translation:
public char last(){if (start == end){return java.text.CharacterIteratorClass.DONE;}offset = end - 1;return @string[offset];}
// Original:
public AttributeSource(AttributeFactory factory) {this.attributes = new LinkedHashMap<>();this.attributeImpls = new LinkedHashMap<>();this.currentState = new State[1];this.factory = Objects.requireNonNull(factory, "AttributeFactory must not be null");}

// Translation:
public AttributeSource(AttributeFactory factory){this.attributes = new JCG.LinkedDictionary<Type, Util.Attribute>();this.attributeImpls = new JCG.LinkedDictionary<Type, Util.Attribute>();this.currentState = new State[1];this.factory = factory;}
// Original:
public Matcher reset(CharSequence input) {return reset(input, 0, input.length());}

// Translation:
public java.util.regex.Matcher reset(java.lang.CharSequence input){return reset(input, 0, input.Length);}
// Original:
public GetConfigurationProfileResult getConfigurationProfile(GetConfigurationProfileRequest request) {request = beforeClientExecution(request);return executeGetConfigurationProfile(request);}

// Translation:
public virtual GetConfigurationProfileResponse GetConfigurationProfile(GetConfigurationProfileRequest request){var options = new InvokeOptions();options.RequestMarshaller = GetConfigurationProfileRequestMarshaller.Instance;options.ResponseUnmarshaller = GetConfigurationProfileResponseUnmarshaller.Instance;return Invoke<GetConfigurationProfileResponse>(request, options);}
// Original:
public ValueEval evaluate(int srcRowIndex, int srcColumnIndex) {return new NumberEval(srcColumnIndex+1);}

// Translation:
public ValueEval Evaluate(int srcRowIndex, int srcColumnIndex){return new NumberEval(srcColumnIndex + 1);}
// Original:
public static double[] grow(double[] array, int minSize) {assert minSize >= 0: "size must be positive (got " + minSize + "): likely integer overflow?";if (array.length < minSize) {return growExact(array, oversize(minSize, Double.BYTES));} elsereturn array;}

// Translation:
public static float[] Grow(float[] array, int minSize){Debug.Assert(minSize >= 0, "size must be positive (got " + minSize + "): likely integer overflow?");if (array.Length < minSize){float[] newArray = new float[Oversize(minSize, RamUsageEstimator.NUM_BYTES_SINGLE)];Array.Copy(array, 0, newArray, 0, array.Length);return newArray;}else{return array;}}
// Original:
public DescribeVpcPeeringConnectionsResult describeVpcPeeringConnections(DescribeVpcPeeringConnectionsRequest request) {request = beforeClientExecution(request);return executeDescribeVpcPeeringConnections(request);}

// Translation:
public virtual DescribeVpcPeeringConnectionsResponse DescribeVpcPeeringConnections(DescribeVpcPeeringConnectionsRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeVpcPeeringConnectionsRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeVpcPeeringConnectionsResponseUnmarshaller.Instance;return Invoke<DescribeVpcPeeringConnectionsResponse>(request, options);}
// Original:
public FloatBuffer put(float c) {throw new ReadOnlyBufferException();}

// Translation:
public override java.nio.FloatBuffer put(float c){throw new java.nio.ReadOnlyBufferException();}
// Original:
public int sumTokenSizes(int fromIx, int toIx) {int result = 0;for (int i=fromIx; i<toIx; i++) {result += _ptgs[i].getSize();}return result;}

// Translation:
public int sumTokenSizes(int fromIx, int ToIx){int result = 0;for (int i = fromIx; i < ToIx; i++){result += _ptgs[i].Size;}return result;}
// Original:
public DirectBytesStartArray(int initSize, Counter counter) {this.bytesUsed = counter;this.initSize = initSize;}

// Translation:
public DirectBytesStartArray(int initSize, Counter counter){this.bytesUsed = counter;this.m_initSize = initSize;}
// Original:
public void clear() {for (T[] block : directory) {if (block != null)Arrays.fill(block, null);}size = 0;tailDirIdx = 0;tailBlkIdx = 0;tailBlock = directory[0];}

// Translation:
public override void Clear(){foreach (T[] block in directory){if (block != null){Arrays.Fill(block, default(T));}}size = 0;tailDirIdx = 0;tailBlkIdx = 0;tailBlock = directory[0];}
// Original:
public UploadMultipartPartResult uploadMultipartPart(UploadMultipartPartRequest request) {request = beforeClientExecution(request);return executeUploadMultipartPart(request);}

// Translation:
public virtual UploadMultipartPartResponse UploadMultipartPart(UploadMultipartPartRequest request){var options = new InvokeOptions();options.RequestMarshaller = UploadMultipartPartRequestMarshaller.Instance;options.ResponseUnmarshaller = UploadMultipartPartResponseUnmarshaller.Instance;return Invoke<UploadMultipartPartResponse>(request, options);}
// Original:
public HCenterRecord(RecordInputStream in) {field_1_hcenter = in.readShort();}

// Translation:
public HCenterRecord(RecordInputStream in1){field_1_hcenter = in1.ReadShort();}
// Original:
public CreateDBClusterEndpointResult createDBClusterEndpoint(CreateDBClusterEndpointRequest request) {request = beforeClientExecution(request);return executeCreateDBClusterEndpoint(request);}

// Translation:
public virtual CreateDBClusterEndpointResponse CreateDBClusterEndpoint(CreateDBClusterEndpointRequest request){var options = new InvokeOptions();options.RequestMarshaller = CreateDBClusterEndpointRequestMarshaller.Instance;options.ResponseUnmarshaller = CreateDBClusterEndpointResponseUnmarshaller.Instance;return Invoke<CreateDBClusterEndpointResponse>(request, options);}
// Original:
public boolean hasNext() {return iterator.nextIndex() < end;}

// Translation:
public bool hasNext(){return iterator.nextIndex() < end;}
// Original:
public CredentialItem(String promptText, boolean maskValue) {this.promptText = promptText;this.valueSecure = maskValue;}

// Translation:
public CredentialItem(string promptText, bool maskValue){this.promptText = promptText;this.valueSecure = maskValue;}
// Original:
public DescribeCustomAvailabilityZonesResult describeCustomAvailabilityZones(DescribeCustomAvailabilityZonesRequest request) {request = beforeClientExecution(request);return executeDescribeCustomAvailabilityZones(request);}

// Translation:
public virtual DescribeCustomAvailabilityZonesResponse DescribeCustomAvailabilityZones(DescribeCustomAvailabilityZonesRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeCustomAvailabilityZonesRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeCustomAvailabilityZonesResponseUnmarshaller.Instance;return Invoke<DescribeCustomAvailabilityZonesResponse>(request, options);}
// Original:
public DescribeClusterParameterGroupsResult describeClusterParameterGroups() {return describeClusterParameterGroups(new DescribeClusterParameterGroupsRequest());}

// Translation:
public virtual DescribeClusterParameterGroupsResponse DescribeClusterParameterGroups(){return DescribeClusterParameterGroups(new DescribeClusterParameterGroupsRequest());}
// Original:
public Item(char p, char c) {parent = p;child = c;}

// Translation:
public Item(char p, char c){parent = p;child = c;}
// Original:
public void reset(int[] docs, int[] freqs) {this.docs = docs;this.freqs = freqs;if (freqs != null && tmpFreqs == null) {tmpFreqs = new int[tmpDocs.length];}}

// Translation:
public void Reset(int[] docs, int[] freqs){this.docs = docs;this.freqs = freqs;if (freqs != null && tmpFreqs == null){tmpFreqs = new int[tmpDocs.Length];}}
// Original:
public ChangeMessageVisibilityResult changeMessageVisibility(String queueUrl, String receiptHandle, Integer visibilityTimeout) {return changeMessageVisibility(new ChangeMessageVisibilityRequest().withQueueUrl(queueUrl).withReceiptHandle(receiptHandle).withVisibilityTimeout(visibilityTimeout));}

// Translation:
public virtual ChangeMessageVisibilityResponse ChangeMessageVisibility(string queueUrl, string receiptHandle, int visibilityTimeout){var request = new ChangeMessageVisibilityRequest();request.QueueUrl = queueUrl;request.ReceiptHandle = receiptHandle;request.VisibilityTimeout = visibilityTimeout;return ChangeMessageVisibility(request);}
// Original:
public boolean contains(Object o) {return this.processors.contains(o);}

// Translation:
public virtual bool Contains(object o){return this.processors.Contains(o);}
// Original:
public int getReturnState(int index) {return returnState;}

// Translation:
public override int GetReturnState(int index){return returnState;}