Documentation

data Shell Source

genericChecks :: [Token -> [(Id, Note)]] Source

checksFor :: Shell -> [Token -> [(Id, Note)]] Source

runAllAnalytics :: Token -> Map Id Metadata -> Map Id Metadata Source

checkList :: [t -> [b]] -> t -> [b] Source

addToMap :: Ord k => [(k, Note)] -> Map k Metadata -> Map k Metadata Source

prop_determineShell0 :: Bool Source

prop_determineShell1 :: Bool Source

prop_determineShell2 :: Bool Source

determineShell :: Token -> Shell Source

runBasicAnalysis :: (Token -> StateT [t] Identity ()) -> Token -> [t] Source

basicChecks :: [Token -> StateT [(Id, Note)] Identity ()] Source

treeChecks :: [Token -> Map Id Token -> StateT [(Id, Note)] Identity ()] Source

runBasicTreeAnalysis :: [Token -> Map Id Token -> StateT [b] Identity ()] -> Token -> [b] Source

filterByAnnotation :: Token -> Map Id Metadata -> Map Id Metadata Source

addNoteFor :: MonadState [(t, t1)] m => t -> t1 -> m () Source

warn :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

err :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

info :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

style :: MonadState [(t, Note)] m => t -> Code -> String -> m () Source

isVariableStartChar :: Char -> Bool Source

isVariableChar :: Char -> Bool Source

prop_isVariableName1 :: Bool Source

prop_isVariableName2 :: Bool Source

prop_isVariableName3 :: Bool Source

isVariableName :: [Char] -> Bool Source

willSplit :: Token -> Bool Source

isGlob :: Token -> Bool Source

wouldHaveBeenGlob :: [Char] -> Bool Source

isConfusedGlobRegex :: [Char] -> Bool Source

isPotentiallyConfusedGlobRegex :: String -> Bool Source

matches :: String -> Regex -> Bool Source

headOrDefault :: t -> [t] -> t Source

isConstant :: Token -> Bool Source

isEmpty :: Token -> Bool Source

makeSimple :: Token -> Token Source

simplify :: Token -> Token Source

deadSimple :: Token -> [[Char]] Source

(!!!) :: [a] -> Int -> Maybe a Source

verify :: (Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyNot :: (Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyFull :: (Token -> [a]) -> String -> Bool Source

verifyNotFull :: (Token -> [a]) -> String -> Bool Source

verifyTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Bool Source

verifyNotTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Bool Source

checkBasic :: (Token -> StateT [a] Identity ()) -> String -> Maybe Bool Source

checkTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> String -> Maybe Bool Source

checkFull :: (Token -> [a]) -> String -> Maybe Bool Source

prop_checkEchoWc3 :: Bool Source

checkEchoWc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkEchoSed1 :: Bool Source

prop_checkEchoSed2 :: Bool Source

checkEchoSed :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPipedAssignment1 :: Bool Source

prop_checkPipedAssignment2 :: Bool Source

prop_checkPipedAssignment3 :: Bool Source

checkPipedAssignment :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkAssignAteCommand1 :: Bool Source

prop_checkAssignAteCommand2 :: Bool Source

prop_checkAssignAteCommand3 :: Bool Source

prop_checkAssignAteCommand4 :: Bool Source

prop_checkAssignAteCommand5 :: Bool Source

checkAssignAteCommand :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticOpCommand1 :: Bool Source

prop_checkArithmeticOpCommand2 :: Bool Source

prop_checkArithmeticOpCommand3 :: Bool Source

checkArithmeticOpCommand :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkWrongArit :: Bool Source

prop_checkWrongArit2 :: Bool Source

checkWrongArithmeticAssignment :: Token -> [(Id, Note)] Source

prop_checkUuoc1 :: Bool Source

prop_checkUuoc2 :: Bool Source

prop_checkUuoc3 :: Bool Source

prop_checkUuoc4 :: Bool Source

checkUuoc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNeedlessCommands :: Bool Source

prop_checkNeedlessCommands2 :: Bool Source

prop_checkNeedlessCommands3 :: Bool Source

checkNeedlessCommands :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPipePitfalls3 :: Bool Source

prop_checkPipePitfalls4 :: Bool Source

prop_checkPipePitfalls5 :: Bool Source

prop_checkPipePitfalls6 :: Bool Source

checkPipePitfalls :: MonadState [(Id, Note)] m => Token -> m () Source

indexOfSublists :: Num t => [[Char]] -> [[Char]] -> [t] Source

bracedString :: Token -> [Char] Source

isMagicInQuotes :: Token -> Bool Source

prop_checkShebang1 :: Bool Source

prop_checkShebang2 :: Bool Source

checkShebang :: Token -> [(Id, Note)] Source

prop_checkBashisms :: Bool Source

prop_checkBashisms2 :: Bool Source

prop_checkBashisms3 :: Bool Source

prop_checkBashisms4 :: Bool Source

prop_checkBashisms5 :: Bool Source

prop_checkBashisms6 :: Bool Source

prop_checkBashisms7 :: Bool Source

prop_checkBashisms8 :: Bool Source

prop_checkBashisms9 :: Bool Source

prop_checkBashisms10 :: Bool Source

prop_checkBashisms11 :: Bool Source

prop_checkBashisms12 :: Bool Source

prop_checkBashisms13 :: Bool Source

prop_checkBashisms14 :: Bool Source

prop_checkBashisms15 :: Bool Source

prop_checkBashisms16 :: Bool Source

prop_checkBashisms17 :: Bool Source

prop_checkBashisms18 :: Bool Source

checkBashisms :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkForInQuoted :: Bool Source

prop_checkForInQuoted2 :: Bool Source

prop_checkForInQuoted2a :: Bool Source

prop_checkForInQuoted2b :: Bool Source

prop_checkForInQuoted3 :: Bool Source

prop_checkForInQuoted4 :: Bool Source

prop_checkForInQuoted5 :: Bool Source

checkForInQuoted :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForInCat1 :: Bool Source

prop_checkForInCat1a :: Bool Source

prop_checkForInCat2 :: Bool Source

prop_checkForInCat2a :: Bool Source

prop_checkForInCat3 :: Bool Source

checkForInCat :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForInLs :: Bool Source

prop_checkForInLs2 :: Bool Source

prop_checkForInLs3 :: Bool Source

checkForInLs :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkFindExec1 :: Bool Source

prop_checkFindExec2 :: Bool Source

prop_checkFindExec3 :: Bool Source

prop_checkFindExec4 :: Bool Source

prop_checkFindExec5 :: Bool Source

prop_checkFindExec6 :: Bool Source

checkFindExec :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnquotedExpansions1 :: Bool Source

prop_checkUnquotedExpansions1a :: Bool Source

prop_checkUnquotedExpansions2 :: Bool Source

prop_checkUnquotedExpansions3 :: Bool Source

prop_checkUnquotedExpansions3a :: Bool Source

prop_checkUnquotedExpansions4 :: Bool Source

prop_checkUnquotedExpansions5 :: Bool Source

prop_checkUnquotedExpansions6 :: Bool Source

prop_checkUnquotedExpansions7 :: Bool Source

checkUnquotedExpansions :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkRedirectToSame :: Bool Source

prop_checkRedirectToSame2 :: Bool Source

prop_checkRedirectToSame3 :: Bool Source

prop_checkRedirectToSame4 :: Bool Source

prop_checkRedirectToSame5 :: Bool Source

checkRedirectToSame :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkShorthandIf :: Bool Source

prop_checkShorthandIf2 :: Bool Source

prop_checkShorthandIf3 :: Bool Source

prop_checkShorthandIf4 :: Bool Source

checkShorthandIf :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDollarStar :: Bool Source

checkDollarStar :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnquotedDollarAt :: Bool Source

prop_checkUnquotedDollarAt1 :: Bool Source

prop_checkUnquotedDollarAt2 :: Bool Source

prop_checkUnquotedDollarAt3 :: Bool Source

prop_checkUnquotedDollarAt4 :: Bool Source

prop_checkUnquotedDollarAt5 :: Bool Source

checkUnquotedDollarAt :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkStderrRedirect :: Bool Source

prop_checkStderrRedirect2 :: Bool Source

checkStderrRedirect :: MonadState [(Id, Note)] m => Token -> m () Source

lt :: Show a => a -> a Source

ltt :: Show a1 => a1 -> a -> a Source

prop_checkSingleQuotedVariables :: Bool Source

prop_checkSingleQuotedVariables2 :: Bool Source

prop_checkSingleQuotedVariables3 :: Bool Source

prop_checkSingleQuotedVariables3a :: Bool Source

prop_checkSingleQuotedVariables3b :: Bool Source

prop_checkSingleQuotedVariables3c :: Bool Source

prop_checkSingleQuotedVariables4 :: Bool Source

prop_checkSingleQuotedVariables5 :: Bool Source

checkSingleQuotedVariables :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkUnquotedN :: Bool Source

prop_checkUnquotedN2 :: Bool Source

prop_checkUnquotedN3 :: Bool Source

checkUnquotedN :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNumberComparisons1 :: Bool Source

prop_checkNumberComparisons2 :: Bool Source

prop_checkNumberComparisons3 :: Bool Source

prop_checkNumberComparisons4 :: Bool Source

prop_checkNumberComparisons5 :: Bool Source

prop_checkNumberComparisons6 :: Bool Source

checkNumberComparisons :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSingleBracketOperators1 :: Bool Source

prop_checkSingleBracketOperators2 :: Bool Source

prop_checkSingleBracketOperators3 :: Bool Source

prop_checkSingleBracketOperators5 :: Bool Source

checkSingleBracketOperators :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDoubleBracketOperators1 :: Bool Source

prop_checkDoubleBracketOperators3 :: Bool Source

checkDoubleBracketOperators :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkQuotedCondRegex1 :: Bool Source

prop_checkQuotedCondRegex2 :: Bool Source

prop_checkQuotedCondRegex3 :: Bool Source

checkQuotedCondRegex :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkGlobbedRegex1 :: Bool Source

prop_checkGlobbedRegex2 :: Bool Source

prop_checkGlobbedRegex2a :: Bool Source

prop_checkGlobbedRegex3 :: Bool Source

prop_checkGlobbedRegex4 :: Bool Source

checkGlobbedRegex :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkConstantIfs1 :: Bool Source

prop_checkConstantIfs2 :: Bool Source

prop_checkConstantIfs3 :: Bool Source

prop_checkConstantIfs4 :: Bool Source

prop_checkConstantIfs5 :: Bool Source

checkConstantIfs :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkNoaryWasBinary :: Bool Source

prop_checkNoaryWasBinary2 :: Bool Source

prop_checkNoaryWasBinary3 :: Bool Source

checkNoaryWasBinary :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkConstantNoary :: Bool Source

prop_checkConstantNoary2 :: Bool Source

prop_checkConstantNoary3 :: Bool Source

prop_checkConstantNoary4 :: Bool Source

checkConstantNoary :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkBraceExpansionVars :: Bool Source

checkBraceExpansionVars :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkForDecimals :: Bool Source

checkForDecimals :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkDivBeforeMult :: Bool Source

prop_checkDivBeforeMult2 :: Bool Source

checkDivBeforeMult :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticDeref :: Bool Source

prop_checkArithmeticDeref2 :: Bool Source

prop_checkArithmeticDeref3 :: Bool Source

prop_checkArithmeticDeref4 :: Bool Source

prop_checkArithmeticDeref5 :: Bool Source

prop_checkArithmeticDeref6 :: Bool Source

checkArithmeticDeref :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkArithmeticBadOctal1 :: Bool Source

prop_checkArithmeticBadOctal2 :: Bool Source

prop_checkArithmeticBadOctal3 :: Bool Source

checkArithmeticBadOctal :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkComparisonAgainstGlob :: Bool Source

prop_checkComparisonAgainstGlob2 :: Bool Source

prop_checkComparisonAgainstGlob3 :: Bool Source

prop_checkComparisonAgainstGlob4 :: Bool Source

checkComparisonAgainstGlob :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkCommarrays1 :: Bool Source

prop_checkCommarrays2 :: Bool Source

prop_checkCommarrays3 :: Bool Source

checkCommarrays :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkOrNeq1 :: Bool Source

prop_checkOrNeq2 :: Bool Source

prop_checkOrNeq3 :: Bool Source

prop_checkOrNeq4 :: Bool Source

checkOrNeq :: MonadState [(Id, Note)] m => Token -> m () Source

allModifiedVariables :: Token -> [(Token, Token, String, DataSource)] Source

prop_checkValidCondOps1 :: Bool Source

prop_checkValidCondOps2 :: Bool Source

prop_checkValidCondOps2a :: Bool Source

prop_checkValidCondOps3 :: Bool Source

prop_checkValidCondOps4 :: Bool Source

checkValidCondOps :: MonadState [(Id, Note)] m => Token -> m () Source

getParentTree :: Token -> Map Id Token Source

getTokenMap :: Token -> Map Id Token Source

inUnquotableContext :: Map Id Token -> Token -> Bool Source

isParamTo :: Map Id Token -> [Char] -> Token -> Bool Source

getClosestCommand :: Map Id Token -> Token -> Maybe Token Source

usedAsCommandName :: Map Id Token -> Token -> Bool Source

getPath :: Map Id Token -> Token -> [Token] Source

checkCommand :: Monad m => [Char] -> ([Token] -> m ()) -> Token -> m () Source

checkUnqualifiedCommand :: Monad m => [Char] -> ([Token] -> m ()) -> Token -> m () Source

getLiteralString :: Token -> Maybe [Char] Source

getGlobOrLiteralString :: Token -> Maybe [Char] Source

getLiteralStringExt :: (Token -> Maybe [Char]) -> Token -> Maybe [Char] Source

isLiteral :: Token -> Bool Source

isCommand :: Token -> [Char] -> Bool Source

isUnqualifiedCommand :: Token -> [Char] -> Bool Source

isCommandMatch :: Token -> ([Char] -> Bool) -> Bool Source

getCommandName :: Token -> Maybe [Char] Source

getCommandBasename :: Token -> Maybe [Char] Source

basename :: [Char] -> [Char] Source

isAssignment :: Token -> Bool Source

prop_checkPrintfVar1 :: Bool Source

prop_checkPrintfVar2 :: Bool Source

prop_checkPrintfVar3 :: Bool Source

prop_checkPrintfVar4 :: Bool Source

checkPrintfVar :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkUuoe1 :: Bool Source

prop_checkUuoe1a :: Bool Source

prop_checkUuoe2 :: Bool Source

prop_checkUuoe2a :: Bool Source

prop_checkUuoe3 :: Bool Source

checkUuoe :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTr1 :: Bool Source

prop_checkTr2 :: Bool Source

prop_checkTr2a :: Bool Source

prop_checkTr3 :: Bool Source

prop_checkTr3a :: Bool Source

prop_checkTr3b :: Bool Source

prop_checkTr4 :: Bool Source

prop_checkTr5 :: Bool Source

prop_checkTr6 :: Bool Source

prop_checkTr8 :: Bool Source

prop_checkTr9 :: Bool Source

prop_checkTr10 :: Bool Source

prop_checkTr11 :: Bool Source

checkTr :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkFindNameGlob1 :: Bool Source

prop_checkFindNameGlob2 :: Bool Source

prop_checkFindNameGlob3 :: Bool Source

checkFindNameGlob :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkGrepRe1 :: Bool Source

prop_checkGrepRe2 :: Bool Source

prop_checkGrepRe3 :: Bool Source

prop_checkGrepRe4 :: Bool Source

prop_checkGrepRe5 :: Bool Source

prop_checkGrepRe6 :: Bool Source

prop_checkGrepRe7 :: Bool Source

prop_checkGrepRe8 :: Bool Source

prop_checkGrepRe9 :: Bool Source

checkGrepRe :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTrapQuotes1 :: Bool Source

prop_checkTrapQuotes1a :: Bool Source

prop_checkTrapQuotes2 :: Bool Source

prop_checkTrapQuotes3 :: Bool Source

checkTrapQuotes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTimeParameters1 :: Bool Source

prop_checkTimeParameters2 :: Bool Source

prop_checkTimeParameters3 :: Bool Source

checkTimeParameters :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkTestRedirects1 :: Bool Source

prop_checkTestRedirects2 :: Bool Source

prop_checkTestRedirects3 :: Bool Source

checkTestRedirects :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSudoRedirect1 :: Bool Source

prop_checkSudoRedirect2 :: Bool Source

prop_checkSudoRedirect3 :: Bool Source

prop_checkSudoRedirect4 :: Bool Source

prop_checkSudoRedirect5 :: Bool Source

prop_checkSudoRedirect6 :: Bool Source

prop_checkSudoRedirect7 :: Bool Source

checkSudoRedirect :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPS11 :: Bool Source

prop_checkPS11a :: Bool Source

prop_checkPSf2 :: Bool Source

prop_checkPS13 :: Bool Source

prop_checkPS14 :: Bool Source

prop_checkPS14a :: Bool Source

prop_checkPS15 :: Bool Source

prop_checkPS16 :: Bool Source

prop_checkPS17 :: Bool Source

prop_checkPS18 :: Bool Source

checkPS1Assignments :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkBackticks1 :: Bool Source

prop_checkBackticks2 :: Bool Source

checkBackticks :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkIndirectExpansion1 :: Bool Source

prop_checkIndirectExpansion2 :: Bool Source

prop_checkIndirectExpansion3 :: Bool Source

prop_checkIndirectExpansion4 :: Bool Source

prop_checkIndirectExpansion5 :: Bool Source

checkIndirectExpansion :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkInexplicablyUnquoted1 :: Bool Source

prop_checkInexplicablyUnquoted2 :: Bool Source

prop_checkInexplicablyUnquoted3 :: Bool Source

checkInexplicablyUnquoted :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkTildeInQuotes1 :: Bool Source

prop_checkTildeInQuotes2 :: Bool Source

prop_checkTildeInQuotes4 :: Bool Source

prop_checkTildeInQuotes5 :: Bool Source

prop_checkTildeInQuotes6 :: Bool Source

checkTildeInQuotes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkLonelyDotDash1 :: Bool Source

prop_checkLonelyDotDash2 :: Bool Source

checkLonelyDotDash :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSpuriousExec1 :: Bool Source

prop_checkSpuriousExec2 :: Bool Source

prop_checkSpuriousExec3 :: Bool Source

prop_checkSpuriousExec4 :: Bool Source

prop_checkSpuriousExec5 :: Bool Source

prop_checkSpuriousExec6 :: Bool Source

prop_checkSpuriousExec7 :: Bool Source

checkSpuriousExec :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkSpuriousExpansion1 :: Bool Source

prop_checkSpuriousExpansion2 :: Bool Source

prop_checkSpuriousExpansion3 :: Bool Source

prop_checkSpuriousExpansion4 :: Bool Source

checkSpuriousExpansion :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkUnusedEchoEscapes1 :: Bool Source

prop_checkUnusedEchoEscapes2 :: Bool Source

prop_checkUnusedEchoEscapes3 :: Bool Source

prop_checkUnusedEchoEscapes4 :: Bool Source

checkUnusedEchoEscapes :: Token -> StateT [(Id, Note)] Identity () Source

prop_checkDollarBrackets1 :: Bool Source

prop_checkDollarBrackets2 :: Bool Source

checkDollarBrackets :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSshHereDoc1 :: Bool Source

prop_checkSshHereDoc2 :: Bool Source

checkSshHereDoc :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkSshCmdStr1 :: Bool Source

prop_checkSshCmdStr2 :: Bool Source

prop_checkSshCmdStr3 :: Bool Source

checkSshCommandString :: Token -> StateT [(Id, Note)] Identity () Source

prop_subshellAssignmentCheck :: Bool Source

prop_subshellAssignmentCheck2 :: Bool Source

prop_subshellAssignmentCheck3 :: Bool Source

prop_subshellAssignmentCheck4 :: Bool Source

prop_subshellAssignmentCheck5 :: Bool Source

prop_subshellAssignmentCheck6 :: Bool Source

prop_subshellAssignmentCheck6a :: Bool Source

prop_subshellAssignmentCheck7 :: Bool Source

prop_subshellAssignmentCheck8 :: Bool Source

prop_subshellAssignmentCheck9 :: Bool Source

prop_subshellAssignmentCheck10 :: Bool Source

prop_subshellAssignmentCheck11 :: Bool Source

prop_subshellAssignmentCheck12 :: Bool Source

subshellAssignmentCheck :: Token -> [(Id, Note)] Source

data Scope Source

data StackData Source

data DataSource Source

data VariableState Source

leadType :: Token -> Scope Source

getModifiedVariables :: Token -> [(Token, Token, String, DataSource)] Source

getReferencedVariableCommand :: Token -> [(Token, Token, String)] Source

getModifiedVariableCommand :: Token -> [(Token, Token, [Char], DataSource)] Source

getBracedReference :: [Char] -> [Char] Source

getReferencedVariables :: Token -> [(Token, Token, [Char])] Source

getVariableFlow :: Token -> [StackData] Source

findSubshelled :: MonadState [(Id, Note)] m => [StackData] -> [(String, [(Token, Token, String, DataSource)])] -> Map String VariableState -> m () Source

doVariableFlowAnalysis :: (Token -> Token -> String -> StateT b Identity [a]) -> (Token -> Token -> String -> DataSource -> StateT b Identity [a]) -> b -> Token -> [a] Source

prop_checkSpacefulness0 :: Bool Source

prop_checkSpacefulness1 :: Bool Source

prop_checkSpacefulness2 :: Bool Source

prop_checkSpacefulness3 :: Bool Source

prop_checkSpacefulness4 :: Bool Source

prop_checkSpacefulness4a :: Bool Source

prop_checkSpacefulness5 :: Bool Source

prop_checkSpacefulness6 :: Bool Source

prop_checkSpacefulness7 :: Bool Source

prop_checkSpacefulness8 :: Bool Source

prop_checkSpacefulnessA :: Bool Source

prop_checkSpacefulnessB :: Bool Source

prop_checkSpacefulnessC :: Bool Source

prop_checkSpacefulnessD :: Bool Source

prop_checkSpacefulnessE :: Bool Source

prop_checkSpacefulnessF :: Bool Source

prop_checkSpacefulnessG :: Bool Source

prop_checkSpacefulnessH :: Bool Source

prop_checkSpacefulnessI :: Bool Source

prop_checkSpacefulnessJ :: Bool Source

checkSpacefulness :: Token -> [(Id, Note)] Source

prop_checkQuotesInLiterals1 :: Bool Source

prop_checkQuotesInLiterals1a :: Bool Source

prop_checkQuotesInLiterals2 :: Bool Source

prop_checkQuotesInLiterals3 :: Bool Source

prop_checkQuotesInLiterals4 :: Bool Source

prop_checkQuotesInLiterals5 :: Bool Source

checkQuotesInLiterals :: Token -> [(Id, Note)] Source

prop_checkFunctionsUsedExternally1 :: Bool Source

prop_checkFunctionsUsedExternally2 :: Bool Source

prop_checkFunctionsUsedExternally3 :: Bool Source

checkFunctionsUsedExternally :: Token -> [(Id, Note)] Source

prop_checkUnused0 :: Bool Source

prop_checkUnused1 :: Bool Source

prop_checkUnused2 :: Bool Source

prop_checkUnused3 :: Bool Source

prop_checkUnused4 :: Bool Source

prop_checkUnused5 :: Bool Source

prop_checkUnused6 :: Bool Source

prop_checkUnused7 :: Bool Source

prop_checkUnused8 :: Bool Source

prop_checkUnused9 :: Bool Source

prop_checkUnused10 :: Bool Source

prop_checkUnused11 :: Bool Source

prop_checkUnused12 :: Bool Source

checkUnusedAssignments :: Token -> [(Id, Note)] Source

prop_checkGlobsAsOptions1 :: Bool Source

prop_checkGlobsAsOptions2 :: Bool Source

prop_checkGlobsAsOptions3 :: Bool Source

checkGlobsAsOptions :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkWhileReadPitfalls1 :: Bool Source

prop_checkWhileReadPitfalls2 :: Bool Source

prop_checkWhileReadPitfalls3 :: Bool Source

prop_checkWhileReadPitfalls4 :: Bool Source

prop_checkWhileReadPitfalls5 :: Bool Source

prop_checkWhileReadPitfalls6 :: Bool Source

checkWhileReadPitfalls :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkPrefixAssign1 :: Bool Source

prop_checkPrefixAssign2 :: Bool Source

checkPrefixAssignmentReference :: MonadState [(Id, Note)] m => Token -> Map Id Token -> m () Source

prop_checkCharRangeGlob1 :: Bool Source

prop_checkCharRangeGlob2 :: Bool Source

prop_checkCharRangeGlob3 :: Bool Source

prop_checkCharRangeGlob4 :: Bool Source

checkCharRangeGlob :: MonadState [(Id, Note)] m => Token -> m () Source

prop_checkCdAndBack1 :: Bool Source

prop_checkCdAndBack2 :: Bool Source

prop_checkCdAndBack3 :: Bool Source

checkCdAndBack :: MonadState [(Id, Note)] m => Shell -> Token -> m () Source