Module imandra.api.instance

Functions

def create(auth, version, instance_type)

Expand source code

def create(auth, version, instance_type):
    url = "{}/{}".format(auth.imandra_web_host, "api/instances")
    headers = {"X-Auth": auth.token, "Content-Type": "application/json"}

    req = {}
    req["cluster"] = auth.zone
    req["instance_type"] = instance_type
    if version:
        req["version"] = version

    data = json.dumps(req).encode("utf-8")

    request = urllib.request.Request(url, data, headers=headers)

    try:
        response = urllib.request.urlopen(request)
    except urllib.error.HTTPError as e:
        raise ValueError(e.read().decode("utf-8"))

    s = response.read()
    instance_response = json.loads(s)

    return instance_response

def delete(auth, instance_id)

Expand source code

def delete(auth, instance_id):
    url = "{}/{}/{}".format(auth.imandra_web_host, "api/instances/delete", instance_id)
    headers = {"X-Auth": auth.token}

    data = {}
    request = urllib.request.Request(url, data, headers=headers)

    try:
        _ = urllib.request.urlopen(request)
    except urllib.error.HTTPError as e:
        raise ValueError(e.read().decode("utf-8"))

def list(auth)

Expand source code

def list(auth):
    url = "{}/{}".format(auth.imandra_web_host, "api/instances/list")
    headers = {"X-Auth": auth.token}

    request = urllib.request.Request(url, headers=headers)

    try:
        response = urllib.request.urlopen(request)
    except urllib.error.HTTPError as e:
        raise ValueError(e.read().decode("utf-8"))

    instances = json.loads(response.read())
    return instances