public void Receive(int timeLimit, out bool ok, out bool timedOut, out Dafny.ISequence <byte> remote, out byte[] buffer) { byte[] remoteBytes; scheduler.ReceivePacket(timeLimit, out ok, out timedOut, out remoteBytes, out buffer); if (ok && !timedOut && remoteBytes != null && remoteBytes.Length > MaxPublicKeySize) { timedOut = true; } if (ok && !timedOut) { remote = Dafny.Sequence <byte> .FromArray(remoteBytes); } else { remote = Dafny.Sequence <byte> .Empty; } }
public bool Send(Dafny.ISequence <byte> remote, byte[] buffer) { return(scheduler.SendPacket(remote.Elements, buffer)); }
public Dafny.ISequence <byte> HandleRequest(Dafny.ISequence <byte> request) { return(Dafny.Sequence <byte> .FromArray(service.HandleRequest(request.Elements))); }
public static void @CopySeqIntoArray <A>(Dafny.ISequence <A> src, ulong srcIndex, A[] dst, ulong dstIndex, ulong len) { System.Array.Copy(src.Elements, (long)srcIndex, dst, (long)dstIndex, (long)len); }
public static AppStateMachine Deserialize(Dafny.ISequence <byte> state) { return(new AppStateMachine(Service.Deserialize(state.Elements))); }