yijunyu/c-to-rust huggingface dataset:
// Original:
public BatchDetectSentimentResult batchDetectSentiment(BatchDetectSentimentRequest request) {request = beforeClientExecution(request);return executeBatchDetectSentiment(request);}

// Translation:
public virtual BatchDetectSentimentResponse BatchDetectSentiment(BatchDetectSentimentRequest request){var options = new InvokeOptions();options.RequestMarshaller = BatchDetectSentimentRequestMarshaller.Instance;options.ResponseUnmarshaller = BatchDetectSentimentResponseUnmarshaller.Instance;return Invoke<BatchDetectSentimentResponse>(request, options);}
// Original:
public boolean equals(Object o) {if ( o==null || !(o instanceof Interval) ) {return false;}Interval other = (Interval)o;return this.a==other.a && this.b==other.b;}

// Translation:
public override bool Equals(object o){if (!(o is Antlr4.Runtime.Misc.Interval)){return false;}Antlr4.Runtime.Misc.Interval other = (Antlr4.Runtime.Misc.Interval)o;return this.a == other.a && this.b == other.b;}
// Original:
public String toString() {StringBuilder buffer = new StringBuilder();buffer.append("[USESELFS]\n");buffer.append("    .options = ").append(HexDump.shortToHex(_options)).append("\n");buffer.append("[/USESELFS]\n");return buffer.toString();}

// Translation:
public override String ToString(){StringBuilder buffer = new StringBuilder();buffer.Append("[USESELFS]\n");buffer.Append("    .flag            = ").Append(HexDump.ShortToHex(_options)).Append("\n");buffer.Append("[/USESELFS]\n");return buffer.ToString();}
// Original:
public SmallDocSet union(SmallDocSet other) {SmallDocSet bigger;SmallDocSet smaller;if (other.intSet.size() > this.intSet.size()) {bigger = other;smaller = this;} else {bigger = this;smaller = other;}for (int v : smaller.intSet.keys) {if (v == smaller.intSet.emptyVal)continue;bigger.set(v);}return bigger;}

// Translation:
public virtual SmallDocSet Union(SmallDocSet other){SmallDocSet bigger;SmallDocSet smaller;if (other.intSet.Count > this.intSet.Count){bigger = other;smaller = this;}else{bigger = this;smaller = other;}foreach (int v in smaller.intSet.Keys){if (v == smaller.intSet.EmptyVal){continue;}bigger.Set(v);}return bigger;}
// Original:
public boolean equals(Object o) {if (o instanceof Edit) {final Edit e = (Edit) o;return this.beginA == e.beginA && this.endA == e.endA&& this.beginB == e.beginB && this.endB == e.endB;}return false;}

// Translation:
public override bool Equals(object o){if (o is NGit.Diff.Edit){NGit.Diff.Edit e = (NGit.Diff.Edit)o;return this.beginA == e.beginA && this.endA == e.endA && this.beginB == e.beginB&& this.endB == e.endB;}return false;}
// Original:
public int getBigFileThreshold() {return bigFileThreshold;}

// Translation:
public virtual int GetBigFileThreshold(){return bigFileThreshold;}
// Original:
public String toString() {final StringBuilder r = new StringBuilder();r.append(getSeverity().name().toLowerCase(Locale.ROOT));r.append(": at offset "); r.append(getOffset());r.append(": "); r.append(getMessage());r.append("\n"); r.append("  in "); r.append(getLineText());return r.toString();}

// Translation:
public override string ToString(){StringBuilder r = new StringBuilder();r.Append(GetSeverity().ToString().ToLower());r.Append(": at offset ");r.Append(GetOffset());r.Append(": ");r.Append(GetMessage());r.Append("\n");r.Append("  in ");r.Append(GetLineText());return r.ToString();}
// Original:
public IntBuffer slice() {return new ReadWriteIntArrayBuffer(remaining(), backingArray, offset + position);}

// Translation:
public override java.nio.IntBuffer slice(){return new java.nio.ReadWriteIntArrayBuffer(remaining(), backingArray, offset + _position);}
// Original:
public DeleteApplicationResult deleteApplication(DeleteApplicationRequest request) {request = beforeClientExecution(request);return executeDeleteApplication(request);}

// Translation:
public virtual DeleteApplicationResponse DeleteApplication(DeleteApplicationRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteApplicationRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteApplicationResponseUnmarshaller.Instance;return Invoke<DeleteApplicationResponse>(request, options);}
// Original:
public TokenOffsetPayloadTokenFilterFactory(Map<String,String> args) {super(args);if (!args.isEmpty()) {throw new IllegalArgumentException("Unknown parameters: " + args);}}

// Translation:
public TokenOffsetPayloadTokenFilterFactory(IDictionary<string, string> args): base(args){if (args.Count > 0){throw new System.ArgumentException("Unknown parameters: " + args);}}
// Original:
public boolean equals(Object o) {if (this.getClass() != o.getClass()) return false;MultiFunction other = (MultiFunction)o;return this.sources.equals(other.sources);}

// Translation:
public override bool Equals(object o){if (this.GetType() != o.GetType()){return false;}var other = (MultiFunction)o;return JCG.ListEqualityComparer<ValueSource>.Default.Equals(this.m_sources, other.m_sources);}
// Original:
public SpanQuery getSpanQuery(Element e) throws ParserException {SpanQueryBuilder builder = builders.get(e.getNodeName());if (builder == null) {throw new ParserException("No SpanQueryObjectBuilder defined for node " + e.getNodeName());}return builder.getSpanQuery(e);}

// Translation:
public virtual SpanQuery GetSpanQuery(XmlElement e){ISpanQueryBuilder builder;if (!builders.TryGetValue(e.Name, out builder) || builder == null){throw new ParserException("No SpanQueryObjectBuilder defined for node " + e.Name);}return builder.GetSpanQuery(e);}
// Original:
public void incRef() {final int rc = refCount.incrementAndGet();assert rc > 1: "seg=" + info;}

// Translation:
public virtual void IncRef(){int rc = refCount.IncrementAndGet();Debug.Assert(rc > 1);}
// Original:
public String formula() {return _formula;}

// Translation:
public String formula(){return _formula;}
// Original:
public T removeTop() {T currentTop = top;if (iter.hasNext()) {top = iter.next();} else {top = null;}return currentTop;}

// Translation:
public T RemoveTop(){T currentTop = top;if (iter.MoveNext()){top = iter.Current;}else{top = default(T);}return currentTop;}
// Original:
public ObjectId getExpectedOldObjectId() {return expValue;}

// Translation:
public virtual ObjectId GetExpectedOldObjectId(){return expValue;}
// Original:
public DefaultPassageFormatter(String preTag, String postTag, String ellipsis, boolean escape) {if (preTag == null || postTag == null || ellipsis == null) {throw new NullPointerException();}this.preTag = preTag;this.postTag = postTag;this.ellipsis = ellipsis;this.escape = escape;}

// Translation:
public DefaultPassageFormatter(string preTag, string postTag, string ellipsis, bool escape){if (preTag == null || postTag == null || ellipsis == null){throw new ArgumentException(); }this.m_preTag = preTag;this.m_postTag = postTag;this.m_ellipsis = ellipsis;this.m_escape = escape;}
// Original:
public UpdateImagePermissionsResult updateImagePermissions(UpdateImagePermissionsRequest request) {request = beforeClientExecution(request);return executeUpdateImagePermissions(request);}

// Translation:
public virtual UpdateImagePermissionsResponse UpdateImagePermissions(UpdateImagePermissionsRequest request){var options = new InvokeOptions();options.RequestMarshaller = UpdateImagePermissionsRequestMarshaller.Instance;options.ResponseUnmarshaller = UpdateImagePermissionsResponseUnmarshaller.Instance;return Invoke<UpdateImagePermissionsResponse>(request, options);}
// Original:
public ListCustomVerificationEmailTemplatesResult listCustomVerificationEmailTemplates(ListCustomVerificationEmailTemplatesRequest request) {request = beforeClientExecution(request);return executeListCustomVerificationEmailTemplates(request);}

// Translation:
public virtual ListCustomVerificationEmailTemplatesResponse ListCustomVerificationEmailTemplates(ListCustomVerificationEmailTemplatesRequest request){var options = new InvokeOptions();options.RequestMarshaller = ListCustomVerificationEmailTemplatesRequestMarshaller.Instance;options.ResponseUnmarshaller = ListCustomVerificationEmailTemplatesResponseUnmarshaller.Instance;return Invoke<ListCustomVerificationEmailTemplatesResponse>(request, options);}
// Original:
public int read(byte[] buffer, int byteOffset, int byteCount) throws IOException {return IoBridge.read(fd, buffer, byteOffset, byteCount);}

// Translation:
public virtual int read(byte[] buffer, int byteOffset, int byteCount){throw new System.NotImplementedException();}
// Original:
public StringCharacterIterator(String value, int location) {string = value;start = 0;end = string.length();if (location < 0 || location > end) {throw new IllegalArgumentException();}offset = location;}

// Translation:
public StringCharacterIterator(string value, int location){@string = value;start = 0;end = @string.Length;if (location < 0 || location > end){throw new System.ArgumentException();}offset = location;}
// Original:
public DeleteQueryLoggingConfigResult deleteQueryLoggingConfig(DeleteQueryLoggingConfigRequest request) {request = beforeClientExecution(request);return executeDeleteQueryLoggingConfig(request);}

// Translation:
public virtual DeleteQueryLoggingConfigResponse DeleteQueryLoggingConfig(DeleteQueryLoggingConfigRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteQueryLoggingConfigRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteQueryLoggingConfigResponseUnmarshaller.Instance;return Invoke<DeleteQueryLoggingConfigResponse>(request, options);}
// Original:
public InvalidPatternException(String message, String pattern) {super(message);this.pattern = pattern;}

// Translation:
public InvalidPatternException(string message, string pattern) : base(message){this.pattern = pattern;}
// Original:
public int resolveNameXIx(int refIndex, int definedNameIndex) {int extBookIndex = _externSheetRecord.getExtbookIndexFromRefIndex(refIndex);return _externalBookBlocks[extBookIndex].getNameIx(definedNameIndex);}

// Translation:
public int ResolveNameXIx(int refIndex, int definedNameIndex){int extBookIndex = _externSheetRecord.GetExtbookIndexFromRefIndex(refIndex);return _externalBookBlocks[extBookIndex].GetNameIx(definedNameIndex);}
// Original:
public boolean equals(Object obj) {if (this == obj)return true;if (!super.equals(obj))return false;if (getClass() != obj.getClass())return false;FuzzyQuery other = (FuzzyQuery) obj;if (maxEdits != other.maxEdits)return false;if (prefixLength != other.prefixLength)return false;if (maxExpansions != other.maxExpansions)return false;if (transpositions != other.transpositions)return false;if (term == null) {if (other.term != null)return false;} else if (!term.equals(other.term))return false;return true;}

// Translation:
public override bool Equals(object obj){if (this == obj){return true;}if (!base.Equals(obj)){return false;}if (this.GetType() != obj.GetType()){return false;}FuzzyQuery other = (FuzzyQuery)obj;if (maxEdits != other.maxEdits){return false;}if (prefixLength != other.prefixLength){return false;}if (maxExpansions != other.maxExpansions){return false;}if (transpositions != other.transpositions){return false;}if (term == null){if (other.term != null){return false;}}else if (!term.Equals(other.term)){return false;}return true;}
// Original:
public Term getLuceneTerm(String fieldName) {return new Term(fieldName, getTermText());}

// Translation:
public virtual Term GetLuceneTerm(string fieldName){return new Term(fieldName, TermText);}
// Original:
public static MessageDigest newMessageDigest() {try {return MessageDigest.getInstance(LONG_HASH_FUNCTION);} catch (NoSuchAlgorithmException nsae) {throw new RuntimeException(MessageFormat.format(LfsText.get().requiredHashFunctionNotAvailable,LONG_HASH_FUNCTION), nsae);}}

// Translation:
public static MessageDigest NewMessageDigest(){try{return MessageDigest.GetInstance(HASH_FUNCTION);}catch (NoSuchAlgorithmException nsae){throw new RuntimeException(MessageFormat.Format(JGitText.Get().requiredHashFunctionNotAvailable, HASH_FUNCTION), nsae);}}
// Original:
public void reset() {synchronized (lock) {count = 0;}}

// Translation:
public virtual void reset(){lock (@lock){count = 0;}}
// Original:
public HyphenationTree() {stoplist = new HashMap<>(23); classmap = new TernaryTree();vspace = new ByteVector();vspace.alloc(1); }

// Translation:
public HyphenationTree(){m_stoplist = new JCG.Dictionary<string, IList<object>>(23); m_classmap = new TernaryTree();m_vspace = new ByteVector();m_vspace.Alloc(1); }
// Original:
public DescribeCollectionResult describeCollection(DescribeCollectionRequest request) {request = beforeClientExecution(request);return executeDescribeCollection(request);}

// Translation:
public virtual DescribeCollectionResponse DescribeCollection(DescribeCollectionRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribeCollectionRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribeCollectionResponseUnmarshaller.Instance;return Invoke<DescribeCollectionResponse>(request, options);}
// Original:
public synchronized StringBuffer insert(int index, char[] chars) {insert0(index, chars);return this;}

// Translation:
public java.lang.StringBuffer insert(int index, char[] chars){lock (this){insert0(index, chars);return this;}}
// Original:
public void decode(byte[] blocks, int blocksOffset, long[] values, int valuesOffset, int iterations) {for (int i = 0; i < iterations; ++i) {final long byte0 = blocks[blocksOffset++] & 0xFF;final long byte1 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = (byte0 << 2) | (byte1 >>> 6);final long byte2 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte1 & 63) << 4) | (byte2 >>> 4);final long byte3 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte2 & 15) << 6) | (byte3 >>> 2);final long byte4 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte3 & 3) << 8) | byte4;}}

// Translation:
public override void Decode(byte[] blocks, int blocksOffset, long[] values, int valuesOffset, int iterations){for (int i = 0; i < iterations; ++i){long byte0 = blocks[blocksOffset++] & 0xFF;long byte1 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = (byte0 << 2) | ((long)((ulong)byte1 >> 6));long byte2 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte1 & 63) << 4) | ((long)((ulong)byte2 >> 4));long byte3 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte2 & 15) << 6) | ((long)((ulong)byte3 >> 2));long byte4 = blocks[blocksOffset++] & 0xFF;values[valuesOffset++] = ((byte3 & 3) << 8) | byte4;}}
// Original:
public GetSearchRequest() {super("cr", "2016-06-07", "GetSearch", "cr");setUriPattern("/search-delete");setMethod(MethodType.GET);}

// Translation:
public GetSearchRequest(): base("cr", "2016-06-07", "GetSearch", "cr", "openAPI"){UriPattern = "/search-delete";Method = MethodType.GET;}
// Original:
public void consume() {boolean skipEofCheck;if (p >= 0) {if (fetchedEOF) {skipEofCheck = p < tokens.size() - 1;}else {skipEofCheck = p < tokens.size();}}else {skipEofCheck = false;}if (!skipEofCheck && LA(1) == EOF) {throw new IllegalStateException("cannot consume EOF");}if (sync(p + 1)) {p = adjustSeekIndex(p + 1);}}

// Translation:
public virtual void Consume(){bool skipEofCheck;if (p >= 0){if (fetchedEOF){skipEofCheck = p < tokens.Count - 1;}else{skipEofCheck = p < tokens.Count;}}else{skipEofCheck = false;}if (!skipEofCheck && LA(1) == IntStreamConstants.EOF){throw new InvalidOperationException("cannot consume EOF");}if (Sync(p + 1)){p = AdjustSeekIndex(p + 1);}}
// Original:
public CharBlockArray append(String s) {int remain = s.length();int offset = 0;while (remain > 0) {if (this.current.length == this.blockSize) {addBlock();}int toCopy = remain;int remainingInBlock = this.blockSize - this.current.length;if (remainingInBlock < toCopy) {toCopy = remainingInBlock;}s.getChars(offset, offset + toCopy, this.current.chars, this.current.length);offset += toCopy;remain -= toCopy;this.current.length += toCopy;}this.length += s.length();return this;}

// Translation:
public virtual CharBlockArray Append(string s){int remain = s.Length;int offset = 0;while (remain > 0){if (this.current.length == this.blockSize){AddBlock();}int toCopy = remain;int remainingInBlock = this.blockSize - this.current.length;if (remainingInBlock < toCopy){toCopy = remainingInBlock;}s.CopyTo(offset, this.current.chars, this.current.length, toCopy);offset += toCopy;remain -= toCopy;this.current.length += toCopy;}this.length += s.Length;return this;}
// Original:
public ConfigureHealthCheckResult configureHealthCheck(ConfigureHealthCheckRequest request) {request = beforeClientExecution(request);return executeConfigureHealthCheck(request);}

// Translation:
public virtual ConfigureHealthCheckResponse ConfigureHealthCheck(ConfigureHealthCheckRequest request){var options = new InvokeOptions();options.RequestMarshaller = ConfigureHealthCheckRequestMarshaller.Instance;options.ResponseUnmarshaller = ConfigureHealthCheckResponseUnmarshaller.Instance;return Invoke<ConfigureHealthCheckResponse>(request, options);}
// Original:
public CommonRoaRequest(String product) {super(product);setSysAcceptFormat(FormatType.JSON);}

// Translation:
public CommonRoaRequest(string product) : base(product){AcceptFormat = FormatType.JSON;}
// Original:
public static int strlen(char[] a) {return strlen(a, 0);}

// Translation:
public static int StrLen(char[] a){return StrLen(a, 0);}
// Original:
public void setReaderValue(Reader value) {if (!(fieldsData instanceof Reader)) {throw new IllegalArgumentException("cannot change value type from " + fieldsData.getClass().getSimpleName() + " to Reader");}fieldsData = value;}

// Translation:
public virtual void SetReaderValue(TextReader value){if (!(FieldsData is TextReader)){throw new ArgumentException("cannot change value type from " + FieldsData.GetType().Name + " to TextReader");}FieldsData = value;}
// Original:
public DeleteUsagePlanResult deleteUsagePlan(DeleteUsagePlanRequest request) {request = beforeClientExecution(request);return executeDeleteUsagePlan(request);}

// Translation:
public virtual DeleteUsagePlanResponse DeleteUsagePlan(DeleteUsagePlanRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteUsagePlanRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteUsagePlanResponseUnmarshaller.Instance;return Invoke<DeleteUsagePlanResponse>(request, options);}
// Original:
public DeleteThreatIntelSetResult deleteThreatIntelSet(DeleteThreatIntelSetRequest request) {request = beforeClientExecution(request);return executeDeleteThreatIntelSet(request);}

// Translation:
public virtual DeleteThreatIntelSetResponse DeleteThreatIntelSet(DeleteThreatIntelSetRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteThreatIntelSetRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteThreatIntelSetResponseUnmarshaller.Instance;return Invoke<DeleteThreatIntelSetResponse>(request, options);}
// Original:
public DescribePlacementGroupsResult describePlacementGroups(DescribePlacementGroupsRequest request) {request = beforeClientExecution(request);return executeDescribePlacementGroups(request);}

// Translation:
public virtual DescribePlacementGroupsResponse DescribePlacementGroups(DescribePlacementGroupsRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribePlacementGroupsRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribePlacementGroupsResponseUnmarshaller.Instance;return Invoke<DescribePlacementGroupsResponse>(request, options);}
// Original:
public EnableAddOnResult enableAddOn(EnableAddOnRequest request) {request = beforeClientExecution(request);return executeEnableAddOn(request);}

// Translation:
public virtual EnableAddOnResponse EnableAddOn(EnableAddOnRequest request){var options = new InvokeOptions();options.RequestMarshaller = EnableAddOnRequestMarshaller.Instance;options.ResponseUnmarshaller = EnableAddOnResponseUnmarshaller.Instance;return Invoke<EnableAddOnResponse>(request, options);}
// Original:
public TreeFilter clone() {final TreeFilter[] s = new TreeFilter[subfilters.length];for (int i = 0; i < s.length; i++)s[i] = subfilters[i].clone();return new List(s);}

// Translation:
public override RevFilter Clone(){RevFilter[] s = new RevFilter[subfilters.Length];for (int i = 0; i < s.Length; i++){s[i] = subfilters[i].Clone();}return new AndRevFilter.List(s);}
// Original:
public ListTagsForResourceOutput listTagsForResource(ListTagsForResourceRequest request) {request = beforeClientExecution(request);return executeListTagsForResource(request);}

// Translation:
public virtual ListTagsForResourceResponse ListTagsForResource(ListTagsForResourceRequest request){var options = new InvokeOptions();options.RequestMarshaller = ListTagsForResourceRequestMarshaller.Instance;options.ResponseUnmarshaller = ListTagsForResourceResponseUnmarshaller.Instance;return Invoke<ListTagsForResourceResponse>(request, options);}
// Original:
public WeightedSpanTerm getWeightedSpanTerm(String token) {return fieldWeightedSpanTerms.get(token);}

// Translation:
public virtual WeightedSpanTerm GetWeightedSpanTerm(string token){WeightedSpanTerm result;fieldWeightedSpanTerms.TryGetValue(token, out result);return result;}
// Original:
public Slope() {func = new LinearRegressionFunction(FUNCTION.SLOPE);}

// Translation:
public Slope(){func = new LinearRegressionFunction(LinearRegressionFunction.FUNCTION.SLOPE);}
// Original:
public String toStringUnquoted() {return getTruncated();}

// Translation:
public override string ToStringUnquoted(){return Truncated;}
// Original:
public UpdateSubnetGroupResult updateSubnetGroup(UpdateSubnetGroupRequest request) {request = beforeClientExecution(request);return executeUpdateSubnetGroup(request);}

// Translation:
public virtual UpdateSubnetGroupResponse UpdateSubnetGroup(UpdateSubnetGroupRequest request){var options = new InvokeOptions();options.RequestMarshaller = UpdateSubnetGroupRequestMarshaller.Instance;options.ResponseUnmarshaller = UpdateSubnetGroupResponseUnmarshaller.Instance;return Invoke<UpdateSubnetGroupResponse>(request, options);}
// Original:
public void remove(int index) {checkIndex(index);_cfHeaders.remove(index);}

// Translation:
public void Remove(int index){CheckIndex(index);_cfHeaders.RemoveAt(index);}
// Original:
public static long pop_intersect(long[] arr1, long[] arr2, int wordOffset, int numWords) {long popCount = 0;for (int i = wordOffset, end = wordOffset + numWords; i < end; ++i) {popCount += Long.bitCount(arr1[i] & arr2[i]);}return popCount;}

// Translation:
public static long Pop_Intersect(long[] arr1, long[] arr2, int wordOffset, int numWords){long popCount = 0;for (int i = wordOffset, end = wordOffset + numWords; i < end; ++i){popCount += (arr1[i] & arr2[i]).PopCount();}return popCount;}
// Original:
public boolean shouldBeRecursive() {return true;}

// Translation:
public override bool ShouldBeRecursive(){return true;}
// Original:
public JapaneseBaseFormFilterFactory(Map<String,String> args) {super(args);if (!args.isEmpty()) {throw new IllegalArgumentException("Unknown parameters: " + args);}}

// Translation:
public JapaneseBaseFormFilterFactory(IDictionary<string, string> args): base(args){if (args.Count > 0){throw new ArgumentException("Unknown parameters: " + args);}}
// Original:
public void visitContainedRecords(RecordVisitor rv) {rv.visitRecord(header);for (CFRuleBase rule : rules) {rv.visitRecord(rule);}}

// Translation:
public override void VisitContainedRecords(RecordVisitor rv){rv.VisitRecord(header);for (int i = 0; i < rules.Count; i++){CFRuleRecord rule = rules[i];rv.VisitRecord(rule);}}