| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
ShellCheck.CFGAnalysis
Documentation
analyzeControlFlow :: CFGParameters -> Token -> CFGAnalysis #
data CFGParameters #
Constructors
| CFGParameters | |
Fields
| |
data CFGAnalysis #
Constructors
| CFGAnalysis | |
Fields
| |
Instances
| Show CFGAnalysis # | |
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> CFGAnalysis -> ShowS # show :: CFGAnalysis -> String # showList :: [CFGAnalysis] -> ShowS # | |
data ProgramState #
Constructors
| ProgramState | |
Fields | |
Instances
data VariableState #
Constructors
| VariableState | |
Instances
| NFData VariableState # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: VariableState -> () # | |||||
| Generic VariableState # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
| Show VariableState # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> VariableState -> ShowS # show :: VariableState -> String # showList :: [VariableState] -> ShowS # | |||||
| Eq VariableState # | |||||
Defined in ShellCheck.CFGAnalysis Methods (==) :: VariableState -> VariableState -> Bool # (/=) :: VariableState -> VariableState -> Bool # | |||||
| Ord VariableState # | |||||
Defined in ShellCheck.CFGAnalysis Methods compare :: VariableState -> VariableState -> Ordering # (<) :: VariableState -> VariableState -> Bool # (<=) :: VariableState -> VariableState -> Bool # (>) :: VariableState -> VariableState -> Bool # (>=) :: VariableState -> VariableState -> Bool # max :: VariableState -> VariableState -> VariableState # min :: VariableState -> VariableState -> VariableState # | |||||
| type Rep VariableState # | |||||
Defined in ShellCheck.CFGAnalysis type Rep VariableState = D1 ('MetaData "VariableState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-CON3KRj722X45yaFMzvlPg" 'False) (C1 ('MetaCons "VariableState" 'PrefixI 'True) (S1 ('MetaSel ('Just "variableValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableValue) :*: S1 ('MetaSel ('Just "variableProperties") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VariableProperties))) | |||||
data VariableValue #
Constructors
| VariableValue | |
Fields | |
Instances
| NFData VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: VariableValue -> () # | |||||
| Generic VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
| Show VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> VariableValue -> ShowS # show :: VariableValue -> String # showList :: [VariableValue] -> ShowS # | |||||
| Eq VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis Methods (==) :: VariableValue -> VariableValue -> Bool # (/=) :: VariableValue -> VariableValue -> Bool # | |||||
| Ord VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis Methods compare :: VariableValue -> VariableValue -> Ordering # (<) :: VariableValue -> VariableValue -> Bool # (<=) :: VariableValue -> VariableValue -> Bool # (>) :: VariableValue -> VariableValue -> Bool # (>=) :: VariableValue -> VariableValue -> Bool # max :: VariableValue -> VariableValue -> VariableValue # min :: VariableValue -> VariableValue -> VariableValue # | |||||
| type Rep VariableValue # | |||||
Defined in ShellCheck.CFGAnalysis type Rep VariableValue = D1 ('MetaData "VariableValue" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-CON3KRj722X45yaFMzvlPg" 'False) (C1 ('MetaCons "VariableValue" 'PrefixI 'True) (S1 ('MetaSel ('Just "literalValue") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: (S1 ('MetaSel ('Just "spaceStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SpaceStatus) :*: S1 ('MetaSel ('Just "numericalStatus") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NumericalStatus)))) | |||||
type VariableProperties = Set (Set CFVariableProp) #
data SpaceStatus #
Constructors
| SpaceStatusEmpty | |
| SpaceStatusClean | |
| SpaceStatusDirty |
Instances
| NFData SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: SpaceStatus -> () # | |||||
| Generic SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
| Show SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> SpaceStatus -> ShowS # show :: SpaceStatus -> String # showList :: [SpaceStatus] -> ShowS # | |||||
| Eq SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis | |||||
| Ord SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods compare :: SpaceStatus -> SpaceStatus -> Ordering # (<) :: SpaceStatus -> SpaceStatus -> Bool # (<=) :: SpaceStatus -> SpaceStatus -> Bool # (>) :: SpaceStatus -> SpaceStatus -> Bool # (>=) :: SpaceStatus -> SpaceStatus -> Bool # max :: SpaceStatus -> SpaceStatus -> SpaceStatus # min :: SpaceStatus -> SpaceStatus -> SpaceStatus # | |||||
| type Rep SpaceStatus # | |||||
Defined in ShellCheck.CFGAnalysis type Rep SpaceStatus = D1 ('MetaData "SpaceStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-CON3KRj722X45yaFMzvlPg" 'False) (C1 ('MetaCons "SpaceStatusEmpty" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SpaceStatusClean" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SpaceStatusDirty" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
data NumericalStatus #
Constructors
| NumericalStatusUnknown | |
| NumericalStatusEmpty | |
| NumericalStatusMaybe | |
| NumericalStatusDefinitely |
Instances
| NFData NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: NumericalStatus -> () # | |||||
| Generic NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
Methods from :: NumericalStatus -> Rep NumericalStatus x # to :: Rep NumericalStatus x -> NumericalStatus # | |||||
| Show NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> NumericalStatus -> ShowS # show :: NumericalStatus -> String # showList :: [NumericalStatus] -> ShowS # | |||||
| Eq NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods (==) :: NumericalStatus -> NumericalStatus -> Bool # (/=) :: NumericalStatus -> NumericalStatus -> Bool # | |||||
| Ord NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis Methods compare :: NumericalStatus -> NumericalStatus -> Ordering # (<) :: NumericalStatus -> NumericalStatus -> Bool # (<=) :: NumericalStatus -> NumericalStatus -> Bool # (>) :: NumericalStatus -> NumericalStatus -> Bool # (>=) :: NumericalStatus -> NumericalStatus -> Bool # max :: NumericalStatus -> NumericalStatus -> NumericalStatus # min :: NumericalStatus -> NumericalStatus -> NumericalStatus # | |||||
| type Rep NumericalStatus # | |||||
Defined in ShellCheck.CFGAnalysis type Rep NumericalStatus = D1 ('MetaData "NumericalStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-CON3KRj722X45yaFMzvlPg" 'False) ((C1 ('MetaCons "NumericalStatusUnknown" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumericalStatusEmpty" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NumericalStatusMaybe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumericalStatusDefinitely" 'PrefixI 'False) (U1 :: Type -> Type))) | |||||
getIncomingState :: CFGAnalysis -> Id -> Maybe ProgramState #
getOutgoingState :: CFGAnalysis -> Id -> Maybe ProgramState #
doesPostDominate :: CFGAnalysis -> Id -> Id -> Bool #
variableMayBeDeclaredInteger :: ProgramState -> String -> Maybe Bool #
variableMayBeAssignedInteger :: ProgramState -> String -> Maybe Bool #