CSPM-Frontend-0.4.1.0: A CSP-M parser compatible with FDR-2.83

PortabilityGHC-only
Stabilityprovisional
MaintainerFontaine@cs.uni-duesseldorf.de

Language.CSPM.SrcLoc

Description

This module contains the datatype for sourcelocations and some utility functions.

Documentation

data SrcLoc Source

Constructors

TokIdPos TokenId 
TokIdSpan TokenId TokenId 
TokSpan Token Token 
TokPos Token 
NoLocation 
FixedLoc 

Fields

fixedStartLine :: !Int
 
fixedStartCol :: !Int
 
fixedStartOffset :: !Int
 
fixedLen :: !Int
 
fixedEndLine :: !Int
 
fixedEndCol :: !Int
 
fixedEndOffset :: !Int
 

Instances

mkTokSpan :: Token -> Token -> SrcLocSource

mkTokPos :: Token -> SrcLocSource

type SrcLine = IntSource

type SrcCol = IntSource

type SrcOffset = IntSource

getStartLine :: SrcLoc -> SrcLineSource

getStartCol :: SrcLoc -> SrcColSource

getStartOffset :: SrcLoc -> SrcOffsetSource

getTokenLen :: SrcLoc -> SrcOffsetSource

getEndLine :: SrcLoc -> SrcLineSource

getEndCol :: SrcLoc -> SrcColSource

getEndOffset :: SrcLoc -> SrcOffsetSource

computeEndPos :: Token -> AlexPosnSource

getStartTokenId :: SrcLoc -> TokenIdSource

getEndTokenId :: SrcLoc -> TokenIdSource

srcLocFromTo :: SrcLoc -> SrcLoc -> SrcLocSource

srcLocBetween :: SrcLoc -> SrcLoc -> SrcLocSource