{
    "type": "aptClient",
    "extends": "map",
    "definitions": {
        "show": {
            "id": "show",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "repository",
                    "type": "string"
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "/etc/apt/aptcache.bin not found. Launch apt with the update option to refresh the file",
                "${repository} repository not found",
                "/etc/apt/aptcache.bin content is malformed. Launch apt with the update option to refresh the file"
            ],
            "returns": [
                "string",
                "null"
            ]
        },
        "search": {
            "id": "search",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "search",
                    "type": "string"
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "/etc/apt/aptcache.bin not found. Launch apt with the update option to refresh the file",
                "${search} not found in any repository",
                "/etc/apt/aptcache.bin content is malformed. Launch apt with the update option to refresh the file"
            ],
            "returns": [
                "string",
                "null"
            ]
        },
        "update": {
            "id": "update",
            "type": "function",
            "tags": [
                "method"
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "apt_update: No internet access.",
                "${source} repository not found",
                "/etc/apt/sources.txt content is malformed",
                0
            ],
            "returns": [
                "string",
                "number"
            ]
        },
        "add_repo": {
            "id": "add_repo",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "repository",
                    "type": "string"
                },
                {
                    "label": "port",
                    "type": "number",
                    "default": {
                        "type": "number",
                        "value": 1542
                    }
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "/etc/apt/sources.txt does not exist",
                "${repository} it is already added to sources.txt",
                "/etc/apt/sources.txt content is malformed."
            ],
            "returns": [
                "string",
                "null"
            ]
        },
        "del_repo": {
            "id": "del_repo",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "repository",
                    "type": "string"
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "/etc/apt/sources.txt does not exist",
                "${repository} not found in sources.txt",
                "/etc/apt/sources.txt content is malformed."
            ],
            "returns": [
                "string",
                "null"
            ]
        },
        "install": {
            "id": "install",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "package",
                    "type": "string"
                },
                {
                    "label": "customPath",
                    "type": "string",
                    "default": {
                        "type": "string",
                        "value": ""
                    }
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "apt_install: No internet access.",
                "/etc/apt/aptcache.bin not found. Launch apt with the update option to refresh the file",
                "package name can not be empty",
                "There is not enough free space on the hard disk.",
                "${customPath} not found.",
                "permission denied",
                "!PlayerUtils.ConnectComputer",
                "!Computer.CheckInicio",
                "!PlayerUtils.FirewallPingStatus",
                "!Networking.IsRouterAvailable",
                "!Networking.CheckServiceOnline",
                "${serviceDBFile} does not exist in the server",
                "apt folder content does not exist in the server",
                "${package} does not exist in the server",
                "!GreyInterpreter.CheckScpUpload",
                "/etc/apt/aptcache.bin content is malformed. Launch apt with the update option to refresh the file",
                "${package} not found in the server",
                1
            ],
            "returns": [
                "string",
                "number",
                "null"
            ]
        },
        "check_upgrade": {
            "id": "check_upgrade",
            "type": "function",
            "tags": [
                "method"
            ],
            "arguments": [
                {
                    "label": "filepath",
                    "type": "string"
                }
            ],
            "returnVariations": [
                "Unknown error: Unable to access to local computer",
                "apt_check_upgrade: No internet access.",
                "/etc/apt/aptcache.bin not found. Launch apt with the update option to refresh the file",
                "package name can not be empty",
                "${filepath} does not exist in this filesystem",
                "!PlayerUtils.ConnectComputer",
                "!PlayerUtils.FirewallPingStatus",
                "!Computer.CheckInicio",
                "!Networking.CheckServiceOnline",
                "${serviceDBFile} does not exist in the server",
                "apt folder content does not exist in the server",
                "${filepath} does not exist in the server",
                "${filepath} does not exist in this filesystem",
                "${serviceDBFile} file content is malformed in the server",
                "/etc/apt/aptcache.bin content is malformed. Launch apt with the update option to refresh the file",
                "${filepath} not found in the server",
                1,
                0
            ],
            "returns": [
                "string",
                "number",
                "null"
            ]
        }
    }
}