yijunyu/c-to-rust huggingface dataset:
// Original:
public E next() {if (expectedModCount == modCount) {try {E result = get(pos + 1);lastPosition = ++pos;return result;} catch (IndexOutOfBoundsException e) {throw new NoSuchElementException();}}throw new ConcurrentModificationException();}

// Translation:
public virtual E next(){if (this.expectedModCount == this._enclosing.modCount){try{E result = this._enclosing.get(this.pos + 1);this.lastPosition = ++this.pos;return result;}catch (System.IndexOutOfRangeException){throw new java.util.NoSuchElementException();}}throw new java.util.ConcurrentModificationException();}
// Original:
static public double ipmt(double r, int per, int nper, double pv) {return ipmt(r, per, nper, pv, 0);}

// Translation:
static public double IPMT(double r, int per, int nper, double pv){return IPMT(r, per, nper, pv, 0);}
// Original:
public TokenStream create(TokenStream input) {if (dictionary == null) {return input;}return new DictionaryCompoundWordTokenFilter(input, dictionary, minWordSize, minSubwordSize, maxSubwordSize, onlyLongestMatch);}

// Translation:
public override TokenStream Create(TokenStream input){return dictionary == null ? input : new DictionaryCompoundWordTokenFilter(m_luceneMatchVersion, input, dictionary, minWordSize, minSubwordSize, maxSubwordSize, onlyLongestMatch);}
// Original:
public String toString() {StringBuilder r = new StringBuilder();r.append("(");fieldNamesToString(r);r.append(q.toString());r.append(")");return r.toString();}

// Translation:
public override string ToString(){StringBuilder r = new StringBuilder();r.Append("(");FieldNamesToString(r);r.Append(q.ToString());r.Append(")");return r.ToString();}
// Original:
public AssociateDeviceWithRoomResult associateDeviceWithRoom(AssociateDeviceWithRoomRequest request) {request = beforeClientExecution(request);return executeAssociateDeviceWithRoom(request);}

// Translation:
public virtual AssociateDeviceWithRoomResponse AssociateDeviceWithRoom(AssociateDeviceWithRoomRequest request){var options = new InvokeOptions();options.RequestMarshaller = AssociateDeviceWithRoomRequestMarshaller.Instance;options.ResponseUnmarshaller = AssociateDeviceWithRoomResponseUnmarshaller.Instance;return Invoke<AssociateDeviceWithRoomResponse>(request, options);}
// Original:
public DeleteRetentionPolicyRequest(String logGroupName) {setLogGroupName(logGroupName);}

// Translation:
public DeleteRetentionPolicyRequest(string logGroupName){_logGroupName = logGroupName;}
// Original:
public TypeTokenFilterFactory(Map<String,String> args) {super(args);stopTypesFiles = require(args, "types");useWhitelist = getBoolean(args, "useWhitelist", false);if (!args.isEmpty()) {throw new IllegalArgumentException("Unknown parameters: " + args);}}

// Translation:
public TypeTokenFilterFactory(IDictionary<string, string> args): base(args){stopTypesFiles = Require(args, "types");enablePositionIncrements = GetBoolean(args, "enablePositionIncrements", true);useWhitelist = GetBoolean(args, "useWhitelist", false);if (args.Count > 0){throw new System.ArgumentException("Unknown parameters: " + args);}}
// Original:
public ServerCertificate(ServerCertificateMetadata serverCertificateMetadata, String certificateBody) {setServerCertificateMetadata(serverCertificateMetadata);setCertificateBody(certificateBody);}

// Translation:
public ServerCertificate(ServerCertificateMetadata serverCertificateMetadata, string certificateBody){_serverCertificateMetadata = serverCertificateMetadata;_certificateBody = certificateBody;}
// Original:
public final void add(RevCommit c, RevFlag queueControl) {if (!c.has(queueControl)) {c.add(queueControl);add(c);}}

// Translation:
public void Add(RevCommit c, RevFlag queueControl){if (!c.Has(queueControl)){c.Add(queueControl);Add(c);}}
// Original:
public BlameCommand setFilePath(String filePath) {this.path = filePath;return this;}

// Translation:
public virtual NGit.Api.BlameCommand SetFilePath(string filePath){this.path = filePath;return this;}
// Original:
public boolean isTraverseEmptyCells() {return traverseEmptyCells;}

// Translation:
public bool IsTraverseEmptyCells(){return traverseEmptyCells;}
// Original:
public QueryCustomerByIdRequest() {super("xspace", "2017-07-20", "QueryCustomerById");setUriPattern("/customer");setMethod(MethodType.PUT);}

// Translation:
public QueryCustomerByIdRequest(): base("xspace", "2017-07-20", "QueryCustomerById"){UriPattern = "/customer";Method = MethodType.PUT;}
// Original:
public OpenNLPPOSFilterFactory(Map<String,String> args) {super(args);posTaggerModelFile = require(args, POS_TAGGER_MODEL);if (!args.isEmpty()) {throw new IllegalArgumentException("Unknown parameters: " + args);}}

// Translation:
public OpenNLPPOSFilterFactory(IDictionary<string, string> args): base(args){posTaggerModelFile = Require(args, POS_TAGGER_MODEL);if (args.Any()){throw new ArgumentException("Unknown parameters: " + args);}}
// Original:
public GetLinkAttributesResult getLinkAttributes(GetLinkAttributesRequest request) {request = beforeClientExecution(request);return executeGetLinkAttributes(request);}

// Translation:
public virtual GetLinkAttributesResponse GetLinkAttributes(GetLinkAttributesRequest request){var options = new InvokeOptions();options.RequestMarshaller = GetLinkAttributesRequestMarshaller.Instance;options.ResponseUnmarshaller = GetLinkAttributesResponseUnmarshaller.Instance;return Invoke<GetLinkAttributesResponse>(request, options);}
// Original:
public byte[] getByteBlock() {bytesUsed.addAndGet(blockSize);return new byte[blockSize];}

// Translation:
public override byte[] GetByteBlock(){bytesUsed.AddAndGet(m_blockSize);return new byte[m_blockSize];}
// Original:
public CanonicalTreeParser() {reset(EMPTY);}

// Translation:
public CanonicalTreeParser(){Reset(EMPTY);}
// Original:
public OldLabelRecord(RecordInputStream in){super(in, in.getSid() == biff2_sid);if (isBiff2()) {field_4_string_len  = (short)in.readUByte();} else {field_4_string_len   = in.readShort();}field_5_bytes = IOUtils.safelyAllocate(field_4_string_len, MAX_RECORD_LENGTH);in.read(field_5_bytes, 0, field_4_string_len);if (in.remaining() > 0) {logger.log(POILogger.INFO,"LabelRecord data remains: " + in.remaining() +" : " + HexDump.toHex(in.readRemainder()));}}

// Translation:
public OldLabelRecord(RecordInputStream in1): base(in1, in1.Sid == biff2_sid){if (IsBiff2){field_4_string_len = (short)in1.ReadUByte();}else{field_4_string_len = in1.ReadShort();}field_5_bytes = new byte[field_4_string_len];in1.Read(field_5_bytes, 0, field_4_string_len);if (in1.Remaining > 0){logger.Log(POILogger.INFO,"LabelRecord data remains: " + in1.Remaining +" : " + HexDump.ToHex(in1.ReadRemainder()));}}
// Original:
public DBCellRecord clone() {return copy();}

// Translation:
public override Object Clone(){return this;}
// Original:
public GetCampaignResult getCampaign(GetCampaignRequest request) {request = beforeClientExecution(request);return executeGetCampaign(request);}

// Translation:
public virtual GetCampaignResponse GetCampaign(GetCampaignRequest request){var options = new InvokeOptions();options.RequestMarshaller = GetCampaignRequestMarshaller.Instance;options.ResponseUnmarshaller = GetCampaignResponseUnmarshaller.Instance;return Invoke<GetCampaignResponse>(request, options);}
// Original:
public boolean isEmpty() {return backingMap.isEmpty();}

// Translation:
public override bool isEmpty(){return backingMap.isEmpty();}
// Original:
public Object subtract(Object object, Object inc) {return outputs.subtract((T) object, (T) inc);}

// Translation:
public override object Subtract(object @object, object inc){return outputs.Subtract((T)@object, (T)inc);}
// Original:
public String toString() {StringBuilder sb = new StringBuilder();sb.append("[COLINFO]\n");sb.append("  colfirst = ").append(getFirstColumn()).append("\n");sb.append("  collast  = ").append(getLastColumn()).append("\n");sb.append("  colwidth = ").append(getColumnWidth()).append("\n");sb.append("  xfindex  = ").append(getXFIndex()).append("\n");sb.append("  options  = ").append(HexDump.shortToHex(_options)).append("\n");sb.append("    hidden   = ").append(getHidden()).append("\n");sb.append("    olevel   = ").append(getOutlineLevel()).append("\n");sb.append("    collapsed= ").append(getCollapsed()).append("\n");sb.append("[/COLINFO]\n");return sb.toString();}

// Translation:
public override String ToString(){StringBuilder buffer = new StringBuilder();buffer.Append("[COLINFO]\n");buffer.Append("colfirst       = ").Append(FirstColumn).Append("\n");buffer.Append("collast        = ").Append(LastColumn).Append("\n");buffer.Append("colwidth       = ").Append(ColumnWidth).Append("\n");buffer.Append("xFindex        = ").Append(XFIndex).Append("\n");buffer.Append("options        = ").Append(Options).Append("\n");buffer.Append("  hidden       = ").Append(IsHidden).Append("\n");buffer.Append("  olevel       = ").Append(OutlineLevel).Append("\n");buffer.Append("  collapsed    = ").Append(IsCollapsed).Append("\n");buffer.Append("[/COLINFO]\n");return buffer.ToString();}
// Original:
public EditList toEditList() {final EditList r = new EditList();for (HunkHeader hunk : hunks)r.addAll(hunk.toEditList());return r;}

// Translation:
public virtual EditList ToEditList(){EditList r = new EditList();foreach (HunkHeader hunk in hunks){Sharpen.Collections.AddAll(r, hunk.ToEditList());}return r;}
// Original:
public void setParams(String params) {super.setParams(params);if (params != null) {String[] split = params.split(",");if (split.length > 0) {commitUserData = split[0];}}}

// Translation:
public override void SetParams(string @params){base.SetParams(@params);if (@params != null){string[] split = @params.Split(',').TrimEnd();if (split.Length > 0){commitUserData = split[0];}}}
// Original:
public HSSFCell createCell(int columnIndex, CellType type){short shortCellNum = (short)columnIndex;if(columnIndex > 0x7FFF) {shortCellNum = (short)(0xffff - columnIndex);}HSSFCell cell = new HSSFCell(book, sheet, getRowNum(), shortCellNum, type);addCell(cell);sheet.getSheet().addValueRecord(getRowNum(), cell.getCellValueRecord());return cell;}

// Translation:
public ICell CreateCell(int columnIndex, CellType type){short shortCellNum = (short)columnIndex;if (columnIndex > 0x7FFF){shortCellNum = (short)(0xffff - columnIndex);}ICell cell = new HSSFCell(book, sheet, RowNum, (short)columnIndex, type);AddCell(cell);sheet.Sheet.AddValueRecord(RowNum, ((HSSFCell)cell).CellValueRecord);return cell;}
// Original:
public PhraseQuery build() {Term[] terms = this.terms.toArray(new Term[this.terms.size()]);int[] positions = new int[this.positions.size()];for (int i = 0; i < positions.length; ++i) {positions[i] = this.positions.get(i);}return new PhraseQuery(slop, terms, positions);}

// Translation:
public virtual StemmerOverrideMap Build(){ByteSequenceOutputs outputs = ByteSequenceOutputs.Singleton;Builder<BytesRef> builder = new Builder<BytesRef>(FST.INPUT_TYPE.BYTE4, outputs);int[] sort = hash.Sort(BytesRef.UTF8SortedAsUnicodeComparer);Int32sRef intsSpare = new Int32sRef();int size = hash.Count;for (int i = 0; i < size; i++){int id = sort[i];BytesRef bytesRef = hash.Get(id, spare);UnicodeUtil.UTF8toUTF32(bytesRef, intsSpare);builder.Add(intsSpare, new BytesRef(outputValues[id]));}return new StemmerOverrideMap(builder.Finish(), ignoreCase);}
// Original:
public ModifyInstanceEventStartTimeResult modifyInstanceEventStartTime(ModifyInstanceEventStartTimeRequest request) {request = beforeClientExecution(request);return executeModifyInstanceEventStartTime(request);}

// Translation:
public virtual ModifyInstanceEventStartTimeResponse ModifyInstanceEventStartTime(ModifyInstanceEventStartTimeRequest request){var options = new InvokeOptions();options.RequestMarshaller = ModifyInstanceEventStartTimeRequestMarshaller.Instance;options.ResponseUnmarshaller = ModifyInstanceEventStartTimeResponseUnmarshaller.Instance;return Invoke<ModifyInstanceEventStartTimeResponse>(request, options);}
// Original:
public boolean checkShowJsonItemName() {return false;}

// Translation:
public override bool CheckShowJsonItemName(){return false;}
// Original:
public Analyzer create() {return new Analyzer() {private final Integer positionIncrementGap = AnalyzerFactory.this.positionIncrementGap;private final Integer offsetGap = AnalyzerFactory.this.offsetGap;@Override

// Translation:
public Analyzer Create(){return new AnalyzerAnonymousHelper(this);}
// Original:
public static RevFilter create(RevFilter[] list) {if (list.length == 2)return create(list[0], list[1]);if (list.length < 2)throw new IllegalArgumentException(JGitText.get().atLeastTwoFiltersNeeded);final RevFilter[] subfilters = new RevFilter[list.length];System.arraycopy(list, 0, subfilters, 0, list.length);return new List(subfilters);}

// Translation:
public static RevFilter Create(RevFilter[] list){if (list.Length == 2){return Create(list[0], list[1]);}if (list.Length < 2){throw new ArgumentException(JGitText.Get().atLeastTwoFiltersNeeded);}RevFilter[] subfilters = new RevFilter[list.Length];System.Array.Copy(list, 0, subfilters, 0, list.Length);return new OrRevFilter.List(subfilters);}
// Original:
public DescribePrefixListsResult describePrefixLists(DescribePrefixListsRequest request) {request = beforeClientExecution(request);return executeDescribePrefixLists(request);}

// Translation:
public virtual DescribePrefixListsResponse DescribePrefixLists(DescribePrefixListsRequest request){var options = new InvokeOptions();options.RequestMarshaller = DescribePrefixListsRequestMarshaller.Instance;options.ResponseUnmarshaller = DescribePrefixListsResponseUnmarshaller.Instance;return Invoke<DescribePrefixListsResponse>(request, options);}
// Original:
public CharVector clone() {CharVector cv = new CharVector(array.clone(), blockSize);cv.n = this.n;return cv;}

// Translation:
public virtual object Clone(){CharVector cv = new CharVector((char[])array.Clone(), blockSize);cv.n = this.n;return cv;}
// Original:
public CreateDatasetImportJobResult createDatasetImportJob(CreateDatasetImportJobRequest request) {request = beforeClientExecution(request);return executeCreateDatasetImportJob(request);}

// Translation:
public virtual CreateDatasetImportJobResponse CreateDatasetImportJob(CreateDatasetImportJobRequest request){var options = new InvokeOptions();options.RequestMarshaller = CreateDatasetImportJobRequestMarshaller.Instance;options.ResponseUnmarshaller = CreateDatasetImportJobResponseUnmarshaller.Instance;return Invoke<CreateDatasetImportJobResponse>(request, options);}
// Original:
public GetRecommenderConfigurationsResult getRecommenderConfigurations(GetRecommenderConfigurationsRequest request) {request = beforeClientExecution(request);return executeGetRecommenderConfigurations(request);}

// Translation:
public virtual GetRecommenderConfigurationsResponse GetRecommenderConfigurations(GetRecommenderConfigurationsRequest request){var options = new InvokeOptions();options.RequestMarshaller = GetRecommenderConfigurationsRequestMarshaller.Instance;options.ResponseUnmarshaller = GetRecommenderConfigurationsResponseUnmarshaller.Instance;return Invoke<GetRecommenderConfigurationsResponse>(request, options);}
// Original:
public void setOldPrefix(String prefix) {oldPrefix = prefix;}

// Translation:
public virtual void SetOldPrefix(string prefix){oldPrefix = prefix;}
// Original:
public DescribeAvailabilityZonesResult describeAvailabilityZones() {return describeAvailabilityZones(new DescribeAvailabilityZonesRequest());}

// Translation:
public virtual DescribeAvailabilityZonesResponse DescribeAvailabilityZones(){return DescribeAvailabilityZones(new DescribeAvailabilityZonesRequest());}
// Original:
public final boolean matches(char c) {return this.expectedCharacter == c;}

// Translation:
public bool Matches(char c){return this.expectedCharacter == c;}
// Original:
public static void putCompressedUnicode(String input, byte[] output, int offset) {byte[] bytes = input.getBytes(ISO_8859_1);System.arraycopy(bytes, 0, output, offset, bytes.length);}

// Translation:
public static void PutCompressedUnicode(String input, byte[] output, int offset){byte[] bytes = ISO_8859_1.GetBytes(input);Array.Copy(bytes, 0, output, offset, bytes.Length);}
// Original:
public void put(int key, int value) {int i = binarySearch(mKeys, 0, mSize, key);if (i >= 0) {mValues[i] = value;} else {i = ~i;if (mSize >= mKeys.length) {int n = ArrayUtils.idealIntArraySize(mSize + 1);int[] nkeys = new int[n];int[] nvalues = new int[n];System.arraycopy(mKeys, 0, nkeys, 0, mKeys.length);System.arraycopy(mValues, 0, nvalues, 0, mValues.length);mKeys = nkeys;mValues = nvalues;}if (mSize - i != 0) {System.arraycopy(mKeys, i, mKeys, i + 1, mSize - i);System.arraycopy(mValues, i, mValues, i + 1, mSize - i);}mKeys[i] = key;mValues[i] = value;mSize++;}}

// Translation:
public virtual void put(int key, int value){int i = binarySearch(mKeys, 0, mSize, key);if (i >= 0){mValues[i] = value;}else{i = ~i;if (mSize >= mKeys.Length){int n = android.util.@internal.ArrayUtils.idealIntArraySize(mSize + 1);int[] nkeys = new int[n];int[] nvalues = new int[n];System.Array.Copy(mKeys, 0, nkeys, 0, mKeys.Length);System.Array.Copy(mValues, 0, nvalues, 0, mValues.Length);mKeys = nkeys;mValues = nvalues;}if (mSize - i != 0){System.Array.Copy(mKeys, i, mKeys, i + 1, mSize - i);System.Array.Copy(mValues, i, mValues, i + 1, mSize - i);}mKeys[i] = key;mValues[i] = value;mSize++;}}
// Original:
public void clearEscherRecords(){escherRecords.clear();}

// Translation:
public void ClearEscherRecords(){escherRecords.Clear();}
// Original:
public String getSchemeSpecificPart() {return decode(schemeSpecificPart);}

// Translation:
public string getSchemeSpecificPart(){return decode(schemeSpecificPart);}
// Original:
public DeleteSkillAuthorizationResult deleteSkillAuthorization(DeleteSkillAuthorizationRequest request) {request = beforeClientExecution(request);return executeDeleteSkillAuthorization(request);}

// Translation:
public virtual DeleteSkillAuthorizationResponse DeleteSkillAuthorization(DeleteSkillAuthorizationRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteSkillAuthorizationRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteSkillAuthorizationResponseUnmarshaller.Instance;return Invoke<DeleteSkillAuthorizationResponse>(request, options);}
// Original:
public QuerySyncPicScheduleRequest() {super("LinkFace", "2018-07-20", "QuerySyncPicSchedule");setProtocol(ProtocolType.HTTPS);setMethod(MethodType.POST);}

// Translation:
public QuerySyncPicScheduleRequest(): base("LinkFace", "2018-07-20", "QuerySyncPicSchedule"){Protocol = ProtocolType.HTTPS;Method = MethodType.POST;}
// Original:
public SheetRecordCollectingListener(HSSFListener childListener) {this.childListener = childListener;}

// Translation:
public SheetRecordCollectingListener(IHSSFListener childListener){this.childListener = childListener;}
// Original:
public boolean equals( Object o ) {return o instanceof RussianStemmer;}

// Translation:
public override bool Equals(object o){return o is RussianStemmer;}
// Original:
public void clear() {ArrayList <HSSFShape> copy = new ArrayList<>(_shapes);for (HSSFShape shape: copy){removeShape(shape);}}

// Translation:
public void Clear(){List<HSSFShape> copy = new List<HSSFShape>(_shapes);foreach (HSSFShape shape in copy){RemoveShape(shape);}}
// Original:
public AddTagsToVaultResult addTagsToVault(AddTagsToVaultRequest request) {request = beforeClientExecution(request);return executeAddTagsToVault(request);}

// Translation:
public virtual AddTagsToVaultResponse AddTagsToVault(AddTagsToVaultRequest request){var options = new InvokeOptions();options.RequestMarshaller = AddTagsToVaultRequestMarshaller.Instance;options.ResponseUnmarshaller = AddTagsToVaultResponseUnmarshaller.Instance;return Invoke<AddTagsToVaultResponse>(request, options);}
// Original:
public String toString() {return getClass().getSimpleName() + '@' + Integer.toHexString(hashCode());}

// Translation:
public override string ToString(){return this.GetType().Name + '@' + GetHashCode().ToString("x") + " lockFactory=" + LockFactory;}
// Original:
public final boolean equals(Object obj) {if (obj instanceof Charset) {Charset that = (Charset) obj;return this.canonicalName.equals(that.canonicalName);}return false;}

// Translation:
public sealed override bool Equals(object obj){if (obj is java.nio.charset.Charset){java.nio.charset.Charset that = (java.nio.charset.Charset)obj;return this.canonicalName.Equals(that.canonicalName);}return false;}
// Original:
public String toString() {return source + " --> " + dest + " " + (char) min + "-" + (char) max;}

// Translation:
public override string ToString(){StringBuilder b = new StringBuilder();AppendCharString(min, b);if (min != max){b.Append("-");AppendCharString(max, b);}b.Append(" -> ").Append(to.number);return b.ToString();}
// Original:
public DeleteDirectoryConfigResult deleteDirectoryConfig(DeleteDirectoryConfigRequest request) {request = beforeClientExecution(request);return executeDeleteDirectoryConfig(request);}

// Translation:
public virtual DeleteDirectoryConfigResponse DeleteDirectoryConfig(DeleteDirectoryConfigRequest request){var options = new InvokeOptions();options.RequestMarshaller = DeleteDirectoryConfigRequestMarshaller.Instance;options.ResponseUnmarshaller = DeleteDirectoryConfigResponseUnmarshaller.Instance;return Invoke<DeleteDirectoryConfigResponse>(request, options);}
// Original:
public static DVConstraint createTimeConstraint(int comparisonOperator, String expr1, String expr2) {if (expr1 == null) {throw new IllegalArgumentException("expr1 must be supplied");}OperatorType.validateSecondArg(comparisonOperator, expr1);String formula1 = getFormulaFromTextExpression(expr1);Double value1 = formula1 == null ? convertTime(expr1) : null;String formula2 = getFormulaFromTextExpression(expr2);Double value2 = formula2 == null ? convertTime(expr2) : null;return new DVConstraint(ValidationType.TIME, comparisonOperator, formula1, formula2, value1, value2, null);}

// Translation:
public static DVConstraint CreateTimeConstraint(int comparisonOperator, String expr1, String expr2){if (expr1 == null){throw new ArgumentException("expr1 must be supplied");}OperatorType.ValidateSecondArg(comparisonOperator, expr1);String formula1 = GetFormulaFromTextExpression(expr1);Double value1 = formula1 == null ? ConvertTime(expr1) : Double.NaN;String formula2 = GetFormulaFromTextExpression(expr2);Double value2 = formula2 == null ? ConvertTime(expr2) : Double.NaN;return new DVConstraint(ValidationType.TIME, comparisonOperator, formula1, formula2, value1, value2, null);}
// Original:
public String toString() {return ".";}

// Translation:
public override string ToString(){return ".";}
// Original:
public RestoreDBInstanceFromDBSnapshotRequest(String dBInstanceIdentifier, String dBSnapshotIdentifier) {setDBInstanceIdentifier(dBInstanceIdentifier);setDBSnapshotIdentifier(dBSnapshotIdentifier);}

// Translation:
public RestoreDBInstanceFromDBSnapshotRequest(string dbInstanceIdentifier, string dbSnapshotIdentifier){_dbInstanceIdentifier = dbInstanceIdentifier;_dbSnapshotIdentifier = dbSnapshotIdentifier;}
// Original:
public String getName() {return seqName; }

// Translation:
public override string GetName(){return seqName; }
// Original:
public void readFully(byte[] buf) {readFully(buf, 0, buf.length);}

// Translation:
public virtual void ReadFully(byte[] buf){ReadFully(buf, 0, buf.Length);}
// Original:
public boolean containsKey(Object o) {if(o == null)throw new NullPointerException();return false;}

// Translation:
public override bool ContainsKey(char[] text){if (text == null){throw new ArgumentNullException("text");}return false;}
// Original:
public String toFormulaString() {return FormulaError.REF.getString();}

// Translation:
public override String ToFormulaString(){return "#REF!";}