Package io.deephaven.web.shared.ide

Class ExecutionHandle

java.lang.Object
io.deephaven.web.shared.cmd.ServerReplyHandle
io.deephaven.web.shared.ide.ExecutionHandle
All Implemented Interfaces:
Serializable
public class ExecutionHandle extends ServerReplyHandle
A client-generated handle for each execution. This allows the client to issue cancellation requests using an id it knows before the script is even requested.
See Also:

  • Constructor Details

    • ExecutionHandle

      public ExecutionHandle()

    • ExecutionHandle

      public ExecutionHandle(int clientId)

  • Method Details

    • getClientId

      public int getClientId()
      Specified by:
      getClientId in class ServerReplyHandle

    • setClientId

      public void setClientId(int clientId)

    • getScriptId

      public int getScriptId()

    • setScriptId

      public void setScriptId(int scriptId)

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • getConnectionId

      public int getConnectionId()

    • setConnectionId

      public void setConnectionId(int connectionId)