Package jline.io

Class DockerImage

java.lang.Object

jline.io.DockerImage

public final class DockerImage
extends Object

Docker primitives shared by the backends that legitimately ship an image: the JMT backend (imperialqore/jmt-rest) and the Sage symbolic engine (imperialqore/line-sage-rest). Each owns its image name; this class only answers whether the daemon is up, whether an image is present, whether there is room to pull it, and performs the pull.

LQNS, lqsim and qnsolver are deliberately absent: their licence is an evaluation agreement that forbids redistribution, so LINE runs them only from a binary the user installed. run-tests.sh --lqns-docker puts a shim on the PATH when a containerised build is what should be exercised.

Every method is a no-op / returns empty on Windows.

Method Summary

Modifier and Type	Method	Description
static boolean	daemonAvailable()	True if the Docker daemon is reachable (unix only).
static boolean	hasLocalImage(String image)	True if the named image is already present in the local Docker store.
static boolean	hasStorageFor(String image)	True if the Docker storage location has room for image.
static boolean	pull(String image)	Pull an image, streaming Docker's progress to stdout/stderr.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

daemonAvailable

public static boolean daemonAvailable()

True if the Docker daemon is reachable (unix only).

hasLocalImage

public static boolean hasLocalImage(String image)

True if the named image is already present in the local Docker store.

pull

public static boolean pull(String image)

Pull an image, streaming Docker's progress to stdout/stderr. No timeout.

hasStorageFor

public static boolean hasStorageFor(String image)

True if the Docker storage location has room for image.