Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
ShellCheck.CFGAnalysis
Documentation
analyzeControlFlow :: CFGParameters -> Token -> CFGAnalysis Source #
data CFGParameters Source #
Constructors
CFGParameters | |
Fields
|
data CFGAnalysis Source #
Constructors
CFGAnalysis | |
Fields
|
Instances
Show CFGAnalysis Source # | |
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> CFGAnalysis -> ShowS # show :: CFGAnalysis -> String # showList :: [CFGAnalysis] -> ShowS # |
data ProgramState Source #
Constructors
ProgramState | |
Fields |
Instances
data VariableState Source #
Constructors
VariableState | |
Instances
data VariableValue Source #
Constructors
VariableValue | |
Fields |
Instances
type VariableProperties = Set (Set CFVariableProp) Source #
data SpaceStatus Source #
Constructors
SpaceStatusEmpty | |
SpaceStatusClean | |
SpaceStatusDirty |
Instances
data NumericalStatus Source #
Constructors
NumericalStatusUnknown | |
NumericalStatusEmpty | |
NumericalStatusMaybe | |
NumericalStatusDefinitely |
Instances
getIncomingState :: CFGAnalysis -> Id -> Maybe ProgramState Source #
getOutgoingState :: CFGAnalysis -> Id -> Maybe ProgramState Source #
doesPostDominate :: CFGAnalysis -> Id -> Id -> Bool Source #