Documentation

data Shell Source

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

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

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

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

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

prop_determineShell0 :: BoolSource

prop_determineShell1 :: BoolSource

prop_determineShell2 :: BoolSource

determineShell :: Token -> ShellSource

runBasicAnalysis :: (Token -> StateT [a] Identity ()) -> Token -> [a]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 MetadataSource

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 -> BoolSource

isVariableChar :: Char -> BoolSource

prop_isVariableName1 :: BoolSource

prop_isVariableName2 :: BoolSource

prop_isVariableName3 :: BoolSource

isVariableName :: [Char] -> BoolSource

willSplit :: Token -> BoolSource

isGlob :: Token -> BoolSource

wouldHaveBeenGlob :: [Char] -> BoolSource

isConfusedGlobRegex :: [Char] -> BoolSource

isPotentiallyConfusedGlobRegex :: String -> BoolSource

matches :: String -> Regex -> BoolSource

headOrDefault :: t -> [t] -> tSource

isConstant :: Token -> BoolSource

isEmpty :: Token -> BoolSource

makeSimple :: Token -> TokenSource

simplify :: Token -> TokenSource

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

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

verify :: (Token -> StateT [a] Identity ()) -> [Char] -> BoolSource

verifyNot :: (Token -> StateT [a] Identity ()) -> [Char] -> BoolSource

verifyFull :: (Token -> [a]) -> [Char] -> BoolSource

verifyNotFull :: (Token -> [a]) -> [Char] -> BoolSource

verifyTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> [Char] -> BoolSource

verifyNotTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> [Char] -> BoolSource

checkBasic :: (Token -> StateT [a] Identity ()) -> [Char] -> Maybe BoolSource

checkTree :: (Token -> Map Id Token -> StateT [a] Identity ()) -> [Char] -> Maybe BoolSource

checkFull :: (Token -> [a]) -> [Char] -> Maybe BoolSource

prop_checkEchoWc3 :: BoolSource

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

prop_checkEchoSed1 :: BoolSource

prop_checkEchoSed2 :: BoolSource

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

prop_checkPipedAssignment1 :: BoolSource

prop_checkPipedAssignment2 :: BoolSource

prop_checkPipedAssignment3 :: BoolSource

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

prop_checkAssignAteCommand1 :: BoolSource

prop_checkAssignAteCommand2 :: BoolSource

prop_checkAssignAteCommand3 :: BoolSource

prop_checkAssignAteCommand4 :: BoolSource

prop_checkAssignAteCommand5 :: BoolSource

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

prop_checkArithmeticOpCommand1 :: BoolSource

prop_checkArithmeticOpCommand2 :: BoolSource

prop_checkArithmeticOpCommand3 :: BoolSource

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

prop_checkWrongArit :: BoolSource

prop_checkWrongArit2 :: BoolSource

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

prop_checkUuoc1 :: BoolSource

prop_checkUuoc2 :: BoolSource

prop_checkUuoc3 :: BoolSource

prop_checkUuoc4 :: BoolSource

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

prop_checkNeedlessCommands :: BoolSource

prop_checkNeedlessCommands2 :: BoolSource

prop_checkNeedlessCommands3 :: BoolSource

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

prop_checkPipePitfalls3 :: BoolSource

prop_checkPipePitfalls4 :: BoolSource

prop_checkPipePitfalls5 :: BoolSource

prop_checkPipePitfalls6 :: BoolSource

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

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

bracedString :: Token -> [Char]Source

isMagicInQuotes :: Token -> BoolSource

prop_checkShebang1 :: BoolSource

prop_checkShebang2 :: BoolSource

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

prop_checkBashisms :: BoolSource

prop_checkBashisms2 :: BoolSource

prop_checkBashisms3 :: BoolSource

prop_checkBashisms4 :: BoolSource

prop_checkBashisms5 :: BoolSource

prop_checkBashisms6 :: BoolSource

prop_checkBashisms7 :: BoolSource

prop_checkBashisms8 :: BoolSource

prop_checkBashisms9 :: BoolSource

prop_checkBashisms10 :: BoolSource

prop_checkBashisms11 :: BoolSource

prop_checkBashisms12 :: BoolSource

prop_checkBashisms13 :: BoolSource

prop_checkBashisms14 :: BoolSource

prop_checkBashisms15 :: BoolSource

prop_checkBashisms16 :: BoolSource

prop_checkBashisms17 :: BoolSource

prop_checkBashisms18 :: BoolSource

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

prop_checkForInQuoted :: BoolSource

prop_checkForInQuoted2 :: BoolSource

prop_checkForInQuoted2a :: BoolSource

prop_checkForInQuoted2b :: BoolSource

prop_checkForInQuoted3 :: BoolSource

prop_checkForInQuoted4 :: BoolSource

prop_checkForInQuoted5 :: BoolSource

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

prop_checkForInCat1 :: BoolSource

prop_checkForInCat1a :: BoolSource

prop_checkForInCat2 :: BoolSource

prop_checkForInCat2a :: BoolSource

prop_checkForInCat3 :: BoolSource

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

prop_checkForInLs :: BoolSource

prop_checkForInLs2 :: BoolSource

prop_checkForInLs3 :: BoolSource

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

prop_checkFindExec1 :: BoolSource

prop_checkFindExec2 :: BoolSource

prop_checkFindExec3 :: BoolSource

prop_checkFindExec4 :: BoolSource

prop_checkFindExec5 :: BoolSource

prop_checkFindExec6 :: BoolSource

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

prop_checkUnquotedExpansions1 :: BoolSource

prop_checkUnquotedExpansions1a :: BoolSource

prop_checkUnquotedExpansions2 :: BoolSource

prop_checkUnquotedExpansions3 :: BoolSource

prop_checkUnquotedExpansions3a :: BoolSource

prop_checkUnquotedExpansions4 :: BoolSource

prop_checkUnquotedExpansions5 :: BoolSource

prop_checkUnquotedExpansions6 :: BoolSource

prop_checkUnquotedExpansions7 :: BoolSource

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

prop_checkRedirectToSame :: BoolSource

prop_checkRedirectToSame2 :: BoolSource

prop_checkRedirectToSame3 :: BoolSource

prop_checkRedirectToSame4 :: BoolSource

prop_checkRedirectToSame5 :: BoolSource

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

prop_checkShorthandIf :: BoolSource

prop_checkShorthandIf2 :: BoolSource

prop_checkShorthandIf3 :: BoolSource

prop_checkShorthandIf4 :: BoolSource

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

prop_checkDollarStar :: BoolSource

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

prop_checkUnquotedDollarAt :: BoolSource

prop_checkUnquotedDollarAt1 :: BoolSource

prop_checkUnquotedDollarAt2 :: BoolSource

prop_checkUnquotedDollarAt3 :: BoolSource

prop_checkUnquotedDollarAt4 :: BoolSource

prop_checkUnquotedDollarAt5 :: BoolSource

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

prop_checkStderrRedirect :: BoolSource

prop_checkStderrRedirect2 :: BoolSource

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

lt :: Show a => a -> aSource

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

prop_checkSingleQuotedVariables :: BoolSource

prop_checkSingleQuotedVariables2 :: BoolSource

prop_checkSingleQuotedVariables3 :: BoolSource

prop_checkSingleQuotedVariables3a :: BoolSource

prop_checkSingleQuotedVariables3b :: BoolSource

prop_checkSingleQuotedVariables3c :: BoolSource

prop_checkSingleQuotedVariables4 :: BoolSource

prop_checkSingleQuotedVariables5 :: BoolSource

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

prop_checkUnquotedN :: BoolSource

prop_checkUnquotedN2 :: BoolSource

prop_checkUnquotedN3 :: BoolSource

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

prop_checkNumberComparisons1 :: BoolSource

prop_checkNumberComparisons2 :: BoolSource

prop_checkNumberComparisons3 :: BoolSource

prop_checkNumberComparisons4 :: BoolSource

prop_checkNumberComparisons5 :: BoolSource

prop_checkNumberComparisons6 :: BoolSource

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

prop_checkSingleBracketOperators1 :: BoolSource

prop_checkSingleBracketOperators2 :: BoolSource

prop_checkSingleBracketOperators3 :: BoolSource

prop_checkSingleBracketOperators5 :: BoolSource

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

prop_checkDoubleBracketOperators1 :: BoolSource

prop_checkDoubleBracketOperators3 :: BoolSource

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

prop_checkQuotedCondRegex1 :: BoolSource

prop_checkQuotedCondRegex2 :: BoolSource

prop_checkQuotedCondRegex3 :: BoolSource

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

prop_checkGlobbedRegex1 :: BoolSource

prop_checkGlobbedRegex2 :: BoolSource

prop_checkGlobbedRegex2a :: BoolSource

prop_checkGlobbedRegex3 :: BoolSource

prop_checkGlobbedRegex4 :: BoolSource

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

prop_checkConstantIfs1 :: BoolSource

prop_checkConstantIfs2 :: BoolSource

prop_checkConstantIfs3 :: BoolSource

prop_checkConstantIfs4 :: BoolSource

prop_checkConstantIfs5 :: BoolSource

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

prop_checkNoaryWasBinary :: BoolSource

prop_checkNoaryWasBinary2 :: BoolSource

prop_checkNoaryWasBinary3 :: BoolSource

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

prop_checkConstantNoary :: BoolSource

prop_checkConstantNoary2 :: BoolSource

prop_checkConstantNoary3 :: BoolSource

prop_checkConstantNoary4 :: BoolSource

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

prop_checkBraceExpansionVars :: BoolSource

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

prop_checkForDecimals :: BoolSource

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

prop_checkDivBeforeMult :: BoolSource

prop_checkDivBeforeMult2 :: BoolSource

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

prop_checkArithmeticDeref :: BoolSource

prop_checkArithmeticDeref2 :: BoolSource

prop_checkArithmeticDeref3 :: BoolSource

prop_checkArithmeticDeref4 :: BoolSource

prop_checkArithmeticDeref5 :: BoolSource

prop_checkArithmeticDeref6 :: BoolSource

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

prop_checkArithmeticBadOctal1 :: BoolSource

prop_checkArithmeticBadOctal2 :: BoolSource

prop_checkArithmeticBadOctal3 :: BoolSource

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

prop_checkComparisonAgainstGlob :: BoolSource

prop_checkComparisonAgainstGlob2 :: BoolSource

prop_checkComparisonAgainstGlob3 :: BoolSource

prop_checkComparisonAgainstGlob4 :: BoolSource

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

prop_checkCommarrays1 :: BoolSource

prop_checkCommarrays2 :: BoolSource

prop_checkCommarrays3 :: BoolSource

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

prop_checkOrNeq1 :: BoolSource

prop_checkOrNeq2 :: BoolSource

prop_checkOrNeq3 :: BoolSource

prop_checkOrNeq4 :: BoolSource

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

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

prop_checkValidCondOps1 :: BoolSource

prop_checkValidCondOps2 :: BoolSource

prop_checkValidCondOps2a :: BoolSource

prop_checkValidCondOps3 :: BoolSource

prop_checkValidCondOps4 :: BoolSource

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

getParentTree :: Token -> Map Id TokenSource

getTokenMap :: Token -> Map Id TokenSource

inUnquotableContext :: Map Id Token -> Token -> BoolSource

isParamTo :: Map Id Token -> [Char] -> Token -> BoolSource

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

usedAsCommandName :: Map Id Token -> Token -> BoolSource

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 -> BoolSource

isCommand :: Token -> [Char] -> BoolSource

isUnqualifiedCommand :: Token -> [Char] -> BoolSource

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

getCommandName :: Token -> Maybe [Char]Source

getCommandBasename :: Token -> Maybe [Char]Source

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

isAssignment :: Token -> BoolSource

prop_checkPrintfVar1 :: BoolSource

prop_checkPrintfVar2 :: BoolSource

prop_checkPrintfVar3 :: BoolSource

prop_checkPrintfVar4 :: BoolSource

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

prop_checkUuoe1 :: BoolSource

prop_checkUuoe1a :: BoolSource

prop_checkUuoe2 :: BoolSource

prop_checkUuoe2a :: BoolSource

prop_checkUuoe3 :: BoolSource

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

prop_checkTr1 :: BoolSource

prop_checkTr2 :: BoolSource

prop_checkTr2a :: BoolSource

prop_checkTr3 :: BoolSource

prop_checkTr3a :: BoolSource

prop_checkTr3b :: BoolSource

prop_checkTr4 :: BoolSource

prop_checkTr5 :: BoolSource

prop_checkTr6 :: BoolSource

prop_checkTr8 :: BoolSource

prop_checkTr9 :: BoolSource

prop_checkTr10 :: BoolSource

prop_checkTr11 :: BoolSource

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

prop_checkFindNameGlob1 :: BoolSource

prop_checkFindNameGlob2 :: BoolSource

prop_checkFindNameGlob3 :: BoolSource

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

prop_checkGrepRe1 :: BoolSource

prop_checkGrepRe2 :: BoolSource

prop_checkGrepRe3 :: BoolSource

prop_checkGrepRe4 :: BoolSource

prop_checkGrepRe5 :: BoolSource

prop_checkGrepRe6 :: BoolSource

prop_checkGrepRe7 :: BoolSource

prop_checkGrepRe8 :: BoolSource

prop_checkGrepRe9 :: BoolSource

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

prop_checkTrapQuotes1 :: BoolSource

prop_checkTrapQuotes1a :: BoolSource

prop_checkTrapQuotes2 :: BoolSource

prop_checkTrapQuotes3 :: BoolSource

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

prop_checkTimeParameters1 :: BoolSource

prop_checkTimeParameters2 :: BoolSource

prop_checkTimeParameters3 :: BoolSource

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

prop_checkTestRedirects1 :: BoolSource

prop_checkTestRedirects2 :: BoolSource

prop_checkTestRedirects3 :: BoolSource

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

prop_checkSudoRedirect1 :: BoolSource

prop_checkSudoRedirect2 :: BoolSource

prop_checkSudoRedirect3 :: BoolSource

prop_checkSudoRedirect4 :: BoolSource

prop_checkSudoRedirect5 :: BoolSource

prop_checkSudoRedirect6 :: BoolSource

prop_checkSudoRedirect7 :: BoolSource

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

prop_checkPS11 :: BoolSource

prop_checkPS11a :: BoolSource

prop_checkPSf2 :: BoolSource

prop_checkPS13 :: BoolSource

prop_checkPS14 :: BoolSource

prop_checkPS14a :: BoolSource

prop_checkPS15 :: BoolSource

prop_checkPS16 :: BoolSource

prop_checkPS17 :: BoolSource

prop_checkPS18 :: BoolSource

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

prop_checkBackticks1 :: BoolSource

prop_checkBackticks2 :: BoolSource

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

prop_checkIndirectExpansion1 :: BoolSource

prop_checkIndirectExpansion2 :: BoolSource

prop_checkIndirectExpansion3 :: BoolSource

prop_checkIndirectExpansion4 :: BoolSource

prop_checkIndirectExpansion5 :: BoolSource

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

prop_checkInexplicablyUnquoted1 :: BoolSource

prop_checkInexplicablyUnquoted2 :: BoolSource

prop_checkInexplicablyUnquoted3 :: BoolSource

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

prop_checkTildeInQuotes1 :: BoolSource

prop_checkTildeInQuotes2 :: BoolSource

prop_checkTildeInQuotes4 :: BoolSource

prop_checkTildeInQuotes5 :: BoolSource

prop_checkTildeInQuotes6 :: BoolSource

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

prop_checkLonelyDotDash1 :: BoolSource

prop_checkLonelyDotDash2 :: BoolSource

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

prop_checkSpuriousExec1 :: BoolSource

prop_checkSpuriousExec2 :: BoolSource

prop_checkSpuriousExec3 :: BoolSource

prop_checkSpuriousExec4 :: BoolSource

prop_checkSpuriousExec5 :: BoolSource

prop_checkSpuriousExec6 :: BoolSource

prop_checkSpuriousExec7 :: BoolSource

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

prop_checkSpuriousExpansion1 :: BoolSource

prop_checkSpuriousExpansion2 :: BoolSource

prop_checkSpuriousExpansion3 :: BoolSource

prop_checkSpuriousExpansion4 :: BoolSource

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

prop_checkUnusedEchoEscapes1 :: BoolSource

prop_checkUnusedEchoEscapes2 :: BoolSource

prop_checkUnusedEchoEscapes3 :: BoolSource

prop_checkUnusedEchoEscapes4 :: BoolSource

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

prop_checkDollarBrackets1 :: BoolSource

prop_checkDollarBrackets2 :: BoolSource

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

prop_checkSshHereDoc1 :: BoolSource

prop_checkSshHereDoc2 :: BoolSource

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

prop_checkSshCmdStr1 :: BoolSource

prop_checkSshCmdStr2 :: BoolSource

prop_checkSshCmdStr3 :: BoolSource

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

prop_subshellAssignmentCheck :: BoolSource

prop_subshellAssignmentCheck2 :: BoolSource

prop_subshellAssignmentCheck3 :: BoolSource

prop_subshellAssignmentCheck4 :: BoolSource

prop_subshellAssignmentCheck5 :: BoolSource

prop_subshellAssignmentCheck6 :: BoolSource

prop_subshellAssignmentCheck6a :: BoolSource

prop_subshellAssignmentCheck7 :: BoolSource

prop_subshellAssignmentCheck8 :: BoolSource

prop_subshellAssignmentCheck9 :: BoolSource

prop_subshellAssignmentCheck10 :: BoolSource

prop_subshellAssignmentCheck11 :: BoolSource

prop_subshellAssignmentCheck12 :: BoolSource

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

data Scope Source

data StackData Source

data DataSource Source

data VariableState Source

leadType :: Token -> ScopeSource

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 :: BoolSource

prop_checkSpacefulness1 :: BoolSource

prop_checkSpacefulness2 :: BoolSource

prop_checkSpacefulness3 :: BoolSource

prop_checkSpacefulness4 :: BoolSource

prop_checkSpacefulness4a :: BoolSource

prop_checkSpacefulness5 :: BoolSource

prop_checkSpacefulness6 :: BoolSource

prop_checkSpacefulness7 :: BoolSource

prop_checkSpacefulness8 :: BoolSource

prop_checkSpacefulnessA :: BoolSource

prop_checkSpacefulnessB :: BoolSource

prop_checkSpacefulnessC :: BoolSource

prop_checkSpacefulnessD :: BoolSource

prop_checkSpacefulnessE :: BoolSource

prop_checkSpacefulnessF :: BoolSource

prop_checkSpacefulnessG :: BoolSource

prop_checkSpacefulnessH :: BoolSource

prop_checkSpacefulnessI :: BoolSource

prop_checkSpacefulnessJ :: BoolSource

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

prop_checkQuotesInLiterals1 :: BoolSource

prop_checkQuotesInLiterals1a :: BoolSource

prop_checkQuotesInLiterals2 :: BoolSource

prop_checkQuotesInLiterals3 :: BoolSource

prop_checkQuotesInLiterals4 :: BoolSource

prop_checkQuotesInLiterals5 :: BoolSource

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

prop_checkFunctionsUsedExternally1 :: BoolSource

prop_checkFunctionsUsedExternally2 :: BoolSource

prop_checkFunctionsUsedExternally3 :: BoolSource

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

prop_checkUnused0 :: BoolSource

prop_checkUnused1 :: BoolSource

prop_checkUnused2 :: BoolSource

prop_checkUnused3 :: BoolSource

prop_checkUnused4 :: BoolSource

prop_checkUnused5 :: BoolSource

prop_checkUnused6 :: BoolSource

prop_checkUnused7 :: BoolSource

prop_checkUnused8 :: BoolSource

prop_checkUnused9 :: BoolSource

prop_checkUnused10 :: BoolSource

prop_checkUnused11 :: BoolSource

prop_checkUnused12 :: BoolSource

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

prop_checkGlobsAsOptions1 :: BoolSource

prop_checkGlobsAsOptions2 :: BoolSource

prop_checkGlobsAsOptions3 :: BoolSource

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

prop_checkWhileReadPitfalls1 :: BoolSource

prop_checkWhileReadPitfalls2 :: BoolSource

prop_checkWhileReadPitfalls3 :: BoolSource

prop_checkWhileReadPitfalls4 :: BoolSource

prop_checkWhileReadPitfalls5 :: BoolSource

prop_checkWhileReadPitfalls6 :: BoolSource

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

prop_checkPrefixAssign1 :: BoolSource

prop_checkPrefixAssign2 :: BoolSource

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

prop_checkCharRangeGlob1 :: BoolSource

prop_checkCharRangeGlob2 :: BoolSource

prop_checkCharRangeGlob3 :: BoolSource

prop_checkCharRangeGlob4 :: BoolSource

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

prop_checkCdAndBack1 :: BoolSource

prop_checkCdAndBack2 :: BoolSource

prop_checkCdAndBack3 :: BoolSource

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