docker/types/container.v

112 lines
3.6 KiB
Coq
Raw Permalink Normal View History

module types
pub struct Port {
2022-06-23 20:43:18 +02:00
pub:
ip string [json: IP]
private_port u16 [json: PrivatePort]
public_port u16 [json: PublicPort]
type_ string [json: Type]
}
pub struct HostConfig {
2022-06-23 20:43:18 +02:00
pub:
network_mode string [json: NetworkMode]
}
pub struct EndpointIpamConfig {
2022-06-23 20:43:18 +02:00
pub:
ipv4_address string [json: IPv4Address]
ipv6_address string [json: IPv6Address]
link_local_ips []string [json: LinkLocalIPs]
}
pub struct EndpointSettings {
2022-06-23 20:43:18 +02:00
pub:
ipam_config EndpointIpamConfig [json: IPAMConfig]
links []string [json: Links]
aliases []string [json: Aliases]
network_id string [json: NetworkID]
endpoint_id string [json: EndpointID]
gateway string [json: Gateway]
ip_address string [json: IPAddress]
ip_prefix_len int [json: IPPrefixLen]
ipv6_gateway string [json: IPv6Gateway]
global_ipv6_address string [json: GlobalIPv6Address]
global_ipv6_prefix_len i64 [json: GlobalIPv6PrefixLen]
mac_address string [json: MacAddress]
driver_opts map[string]string [json: DriverOpts]
}
pub struct NetworkSettings {
2022-06-23 20:43:18 +02:00
pub:
networks map[string]EndpointSettings [json: Networks]
}
pub struct MountPoint {
2022-06-23 20:43:18 +02:00
pub:
type_ string [json: Type]
name string [json: Name]
source string [json: Source]
destination string [json: Destination]
driver string [json: Driver]
mode string [json: Mode]
rw bool [json: RW]
propagation string [json: Propagation]
}
pub struct ContainerListItem {
2022-06-23 20:43:18 +02:00
pub:
id string [json: Id]
names []string [json: Names]
image string [json: Image]
image_id string [json: ImageID]
command string [json: Command]
created i64 [json: Created]
ports []Port [json: Ports]
size_rw i64 [json: SizeRw]
size_root_fs i64 [json: SizeRootFs]
labels map[string]string [json: Labels]
state string [json: State]
status string [json: Status]
host_config HostConfig [json: HostConfig]
network_settings NetworkSettings [json: NetworkSettings]
mounts []MountPoint [json: Mounts]
}
2022-06-23 20:43:18 +02:00
pub struct HealthConfig {
pub:
test []string [json: Test]
interval int [json: Interval]
timeout int [json: Timeout]
retries int [json: Retries]
start_period int [json: StartPeriod]
}
pub struct ContainerCreate {
pub:
hostname string [json: Hostname]
domain_name string [json: Domainname]
user string [json: User]
attach_stdin bool [json: AttachStdin]
attach_stdout bool [json: AttachStderr] = true
// ExposedPorts
tty bool [json: Tty]
open_stdin bool [json: OpenStdin]
stdin_once bool [json: StdinOnce]
env []string [json: Env]
cmd []string [json: Cmd]
healthcheck HealthConfig [json: Healthcheck]
args_escaped bool [json: ArgsEscaped]
image string [json: Image]
// Volumes
working_dir string [json: WorkingDir]
entrypoint []string [json: Entrypoint]
network_disabled bool [json: NetworkDisabled]
mac_address string [json: MacAddress]
on_build []string [json: OnBuild]
labels map[string]string [json: Labels]
stop_signal string [json: StopSignal]
stop_timeout int [json: StopTimeout]
shell []string [json: Shell]
}