Packages

atp_client

0.3.0
0.6.2 0.6.1 0.6.0 0.5.0 0.4.0 0.3.0 0.2.2 0.2.1 0.2.0 0.1.7 0.1.6 0.1.5 0.1.4 0.1.3 0.1.2 0.1.1 0.1.0

Elixir client for automated theorem provers via SystemOnTPTP, StarExec, and Isabelle servers.

HexDocs

Current section

Files

Jump to
Readme
17 Versions
3 Dependencies
Dependants
Files
Activity
atp_client lib atp_client star_exec session.ex
Raw

lib/atp_client/star_exec/session.ex 

defmodule AtpClient.StarExec.Session do

  @moduledoc """

  An authenticated StarExec session.



  Created by `AtpClient.StarExec.login/1`. The struct holds the cookies

  returned by Tomcat's form auth (typically `JSESSIONID`) and the base URL

  those cookies are valid for, so they can be attached to every follow-up

  request without going through a cookie jar.

  """



  @enforce_keys [:base_url]

  defstruct base_url: nil, cookies: %{}, opts: []



  @type t :: %__MODULE__{

          base_url: String.t(),

          cookies: %{optional(String.t()) => String.t()},

          opts: keyword()

        }

end