Location

• Locations exist for all "code entities"

  • variables
  • function calls
  • function definitions
  • while loops
  • etc.

• Locations are constructed only during parsing

  • users should not construct locations
• Locations help to present security findings to users

• In addition, locations are used as primary keys in the container database

  • more precisely, locations are variables in the resulting Prolog program
  • each location corresponds to exactly one "code entity"
  • this is why users should never construct locations
  • it is completely the parser's job !

Documentation

data Location

Lines and columns are 1-based, like in most IDEs.

Constructors

Location

Fields

• filename :: FilePath
• lineStart :: Word
• lineEnd :: Word
• colStart :: Word
• colEnd :: Word

Instances

FromJSON Location

Defined in Location

Methods

parseJSON :: Value -> Parser Location

parseJSONList :: Value -> Parser [Location]

omittedField :: Maybe Location

ToJSON Location

Defined in Location

Methods

toJSON :: Location -> Value

toEncoding :: Location -> Encoding

toJSONList :: [Location] -> Value

toEncodingList :: [Location] -> Encoding

omitField :: Location -> Bool

Generic Location

Defined in Location

Associated Types

type Rep Location :: Type -> Type

Methods

from :: Location -> Rep Location x

to :: Rep Location x -> Location

Show Location

Defined in Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

Eq Location

Defined in Location

Methods

(==) :: Location -> Location -> Bool

(/=) :: Location -> Location -> Bool

Ord Location

Defined in Location

Methods

compare :: Location -> Location -> Ordering

(<) :: Location -> Location -> Bool

(<=) :: Location -> Location -> Bool

(>) :: Location -> Location -> Bool

(>=) :: Location -> Location -> Bool

max :: Location -> Location -> Location

min :: Location -> Location -> Location

type Rep Location

Defined in Location

type Rep Location = D1 ('MetaData "Location" "Location" "dhscanner-ast-0.1.0.2-inplace" 'False) (C1 ('MetaCons "Location" 'PrefixI 'True) ((S1 ('MetaSel ('Just "filename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "lineStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)) :*: (S1 ('MetaSel ('Just "lineEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: (S1 ('MetaSel ('Just "colStart") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word) :*: S1 ('MetaSel ('Just "colEnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word)))))