Language.Boogie.Position

Utility for attaching source code positions to AST nodes

Documentation

data Pos a

Anything with a source position attached

Constructors

Pos

Fields

position :: SourcePos

node :: a

Instances

Functor Pos

Eq a => Eq (Pos a)

Show a => Show (Pos a)

data SourcePos

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Eq SourcePos

Data SourcePos

Ord SourcePos

Show SourcePos

Typeable SourcePos

sourceLine :: SourcePos -> Line

Extracts the line number from a source position.

sourceColumn :: SourcePos -> Column

Extracts the column number from a source position.

sourceName :: SourcePos -> SourceName

Extracts the name of the source from a source position.

noPos :: SourcePos

Dummy source position

attachPos :: SourcePos -> a -> Pos a

Attach position to a node

gen :: a -> Pos a

Attach dummy position to a node

attachPosBefore :: Parser a -> Parser (Pos a)

attachPosBefore p : parser that behaves like p, but also attaches the source position before the first token it parsed to the result

inheritPos :: (Pos a -> b) -> Pos a -> Pos b

inheritPos f a : apply f to a and attach a's position to the result

inheritPos2 :: (Pos a -> Pos b -> c) -> Pos a -> Pos b -> Pos c

inheritPos2 f a b : apply f to a and b and attach a's position to the result