module Hadolint.Rule.DL3040 (rule) where

import Hadolint.Rule
import qualified Hadolint.Shell as Shell
import qualified Hadolint.Utils as Utils
import Language.Docker.Syntax


rule :: Rule Shell.ParsedShell
rule :: Rule ParsedShell
rule = Rule ParsedShell
dl3040 Rule ParsedShell -> Rule ParsedShell -> Rule ParsedShell
forall a. Semigroup a => a -> a -> a
<> Rule ParsedShell -> Rule ParsedShell
forall args. Rule args -> Rule args
onbuild Rule ParsedShell
dl3040
{-# INLINEABLE rule #-}

dl3040 :: Rule Shell.ParsedShell
dl3040 :: Rule ParsedShell
dl3040 = RuleCode
-> DLSeverity
-> Text
-> (Instruction ParsedShell -> Bool)
-> Rule ParsedShell
forall args.
RuleCode
-> DLSeverity -> Text -> (Instruction args -> Bool) -> Rule args
simpleRule RuleCode
code DLSeverity
severity Text
message Instruction ParsedShell -> Bool
check
  where
    code :: RuleCode
code = RuleCode
"DL3040"
    severity :: DLSeverity
severity = DLSeverity
DLWarningC
    message :: Text
message = Text
"`dnf clean all` missing after dnf command."

    check :: Instruction ParsedShell -> Bool
check (Run (RunArgs Arguments ParsedShell
args RunFlags
flags))
      | (Text -> Bool) -> [Text] -> Bool
forall (t :: * -> *) a. Foldable t => (a -> Bool) -> t a -> Bool
all (Arguments ParsedShell -> Text -> Bool
checkMissingClean Arguments ParsedShell
args) [Text]
dnfCmds = Bool
True
      | Text -> RunFlags -> Bool
Utils.hasCacheOrTmpfsMountWith Text
"/var/cache/libdnf5" RunFlags
flags = Bool
True
      | Text -> RunFlags -> Bool
Utils.hasCacheOrTmpfsMountWith Text
".cache/libdnf5" RunFlags
flags = Bool
True
      | Bool
otherwise = Bool
False
    check Instruction ParsedShell
_ = Bool
True

    checkMissingClean :: Arguments ParsedShell -> Text -> Bool
checkMissingClean Arguments ParsedShell
args Text
cmdName =
      (ParsedShell -> Bool) -> Arguments ParsedShell -> Bool
forall a b. (a -> b) -> Arguments a -> b
foldArguments ((Command -> Bool) -> ParsedShell -> Bool
Shell.noCommands ((Command -> Bool) -> ParsedShell -> Bool)
-> (Command -> Bool) -> ParsedShell -> Bool
forall a b. (a -> b) -> a -> b
$ Text -> Command -> Bool
dnfInstall Text
cmdName) Arguments ParsedShell
args
        Bool -> Bool -> Bool
|| Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True Maybe Bool -> Maybe Bool -> Bool
forall a. Eq a => a -> a -> Bool
== (
             Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
(<) (Int -> Int -> Bool) -> Maybe Int -> Maybe (Int -> Bool)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (ParsedShell -> Maybe Int) -> Arguments ParsedShell -> Maybe Int
forall a b. (a -> b) -> Arguments a -> b
foldArguments ((Command -> Bool) -> ParsedShell -> Maybe Int
Shell.findCommandIndex ((Command -> Bool) -> ParsedShell -> Maybe Int)
-> (Command -> Bool) -> ParsedShell -> Maybe Int
forall a b. (a -> b) -> a -> b
$ Text -> Command -> Bool
dnfInstall Text
cmdName) Arguments ParsedShell
args
                 Maybe (Int -> Bool) -> Maybe Int -> Maybe Bool
forall a b. Maybe (a -> b) -> Maybe a -> Maybe b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (ParsedShell -> Maybe Int) -> Arguments ParsedShell -> Maybe Int
forall a b. (a -> b) -> Arguments a -> b
foldArguments ((Command -> Bool) -> ParsedShell -> Maybe Int
Shell.findCommandIndex ((Command -> Bool) -> ParsedShell -> Maybe Int)
-> (Command -> Bool) -> ParsedShell -> Maybe Int
forall a b. (a -> b) -> a -> b
$ Text -> Command -> Bool
dnfClean Text
cmdName) Arguments ParsedShell
args)

    dnfInstall :: Text -> Command -> Bool
dnfInstall Text
cmdName Command
args = ( Text
cmdName Text -> [Text] -> Bool
forall a. Eq a => a -> [a] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [Text]
dnfCmds )
      Bool -> Bool -> Bool
&& Text -> [Text] -> Command -> Bool
Shell.cmdHasArgs Text
cmdName [Text]
installCmds Command
args
    dnfClean :: Text -> Command -> Bool
dnfClean Text
cmdName Command
args = Text -> [Text] -> Command -> Bool
Shell.cmdHasArgs Text
cmdName [Text
"clean", Text
"all"] Command
args
      Bool -> Bool -> Bool
|| Text -> [Text] -> Command -> Bool
Shell.cmdHasArgs Text
"rm" [Text
"-rf", Text
"/var/cache/libdnf5*"] Command
args
    dnfCmds :: [Text]
dnfCmds = [Text
"dnf", Text
"microdnf"]
    installCmds :: [Text]
installCmds = [Text
"install", Text
"in", Text
"upgrade", Text
"up", Text
"upgrade-minimal", Text
"up-min", Text
"reinstall", Text
"rei"]
{-# INLINEABLE dl3040 #-}