Example #1
0
//JAVA TO C# CONVERTER WARNING: Method 'throws' clauses are not available in C#:
//ORIGINAL LINE: public void dispatch(RaftLogCommand_Handler handler) throws java.io.IOException
        public override void Dispatch(RaftLogCommand_Handler handler)
        {
            handler.Append(BaseIndex + Offset, Arrays.copyOfRange(Entries, Offset, Entries.Length));
        }
Example #2
0
//JAVA TO C# CONVERTER WARNING: Method 'throws' clauses are not available in C#:
//ORIGINAL LINE: public void dispatch(RaftLogCommand_Handler handler) throws java.io.IOException
        public override void Dispatch(RaftLogCommand_Handler handler)
        {
            handler.Append(Index, Entry);
        }
Example #3
0
 public override void Dispatch(RaftLogCommand_Handler handler)
 {
     handler.Prune(_pruneIndex);
 }
Example #4
0
//JAVA TO C# CONVERTER WARNING: Method 'throws' clauses are not available in C#:
//ORIGINAL LINE: public void dispatch(RaftLogCommand_Handler handler) throws java.io.IOException
        public override void Dispatch(RaftLogCommand_Handler handler)
        {
            handler.Truncate(FromIndex);
        }