Safe Haskell | None |
---|---|
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
NFData ProgramState Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: ProgramState -> () | |||||
Generic ProgramState Source # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
Show ProgramState Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> ProgramState -> ShowS show :: ProgramState -> String showList :: [ProgramState] -> ShowS | |||||
Eq ProgramState Source # | |||||
Defined in ShellCheck.CFGAnalysis | |||||
type Rep ProgramState Source # | |||||
Defined in ShellCheck.CFGAnalysis type Rep ProgramState = D1 ('MetaData "ProgramState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" 'False) (C1 ('MetaCons "ProgramState" 'PrefixI 'True) (S1 ('MetaSel ('Just "variablesInScope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map String VariableState)) :*: (S1 ('MetaSel ('Just "exitCodes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Id)) :*: S1 ('MetaSel ('Just "stateIsReachable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))) |
data VariableState Source #
Constructors
VariableState | |
Instances
NFData VariableState Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: VariableState -> () | |||||
Generic VariableState Source # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
Show VariableState Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> VariableState -> ShowS show :: VariableState -> String showList :: [VariableState] -> ShowS | |||||
Eq VariableState Source # | |||||
Defined in ShellCheck.CFGAnalysis | |||||
Ord VariableState Source # | |||||
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 Source # | |||||
Defined in ShellCheck.CFGAnalysis type Rep VariableState = D1 ('MetaData "VariableState" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #
Constructors
VariableValue | |
Fields
|
Instances
NFData VariableValue Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: VariableValue -> () | |||||
Generic VariableValue Source # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
Show VariableValue Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> VariableValue -> ShowS show :: VariableValue -> String showList :: [VariableValue] -> ShowS | |||||
Eq VariableValue Source # | |||||
Defined in ShellCheck.CFGAnalysis | |||||
Ord VariableValue Source # | |||||
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 Source # | |||||
Defined in ShellCheck.CFGAnalysis type Rep VariableValue = D1 ('MetaData "VariableValue" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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) Source #
data SpaceStatus Source #
Constructors
SpaceStatusEmpty | |
SpaceStatusClean | |
SpaceStatusDirty |
Instances
NFData SpaceStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: SpaceStatus -> () | |||||
Generic SpaceStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
| |||||
Show SpaceStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> SpaceStatus -> ShowS show :: SpaceStatus -> String showList :: [SpaceStatus] -> ShowS | |||||
Eq SpaceStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis | |||||
Ord SpaceStatus Source # | |||||
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 Source # | |||||
Defined in ShellCheck.CFGAnalysis type Rep SpaceStatus = D1 ('MetaData "SpaceStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #
Constructors
NumericalStatusUnknown | |
NumericalStatusEmpty | |
NumericalStatusMaybe | |
NumericalStatusDefinitely |
Instances
NFData NumericalStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods rnf :: NumericalStatus -> () | |||||
Generic NumericalStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Associated Types
Methods from :: NumericalStatus -> Rep NumericalStatus x to :: Rep NumericalStatus x -> NumericalStatus | |||||
Show NumericalStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods showsPrec :: Int -> NumericalStatus -> ShowS show :: NumericalStatus -> String showList :: [NumericalStatus] -> ShowS | |||||
Eq NumericalStatus Source # | |||||
Defined in ShellCheck.CFGAnalysis Methods (==) :: NumericalStatus -> NumericalStatus -> Bool (/=) :: NumericalStatus -> NumericalStatus -> Bool | |||||
Ord NumericalStatus Source # | |||||
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 Source # | |||||
Defined in ShellCheck.CFGAnalysis type Rep NumericalStatus = D1 ('MetaData "NumericalStatus" "ShellCheck.CFGAnalysis" "ShellCheck-0.10.0-Irsi8RF1KGQI4yvVOv50qQ" '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 Source #
getOutgoingState :: CFGAnalysis -> Id -> Maybe ProgramState Source #
doesPostDominate :: CFGAnalysis -> Id -> Id -> Bool Source #
variableMayBeDeclaredInteger :: ProgramState -> String -> Maybe Bool Source #
variableMayBeAssignedInteger :: ProgramState -> String -> Maybe Bool Source #