Copyright | (c) Fontaine 2008 |
---|---|
License | BSD |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Stability | provisional |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Language.CSPM.SrcLoc
Description
This module contains the datatype for sourcelocations and some utility functions.
- data SrcLoc
- = TokIdPos TokenId
- | TokIdSpan TokenId TokenId
- | TokSpan Token Token
- | TokPos Token
- | NoLocation
- | FixedLoc {
- fixedStartLine :: !Int
- fixedStartCol :: !Int
- fixedStartOffset :: !Int
- fixedLen :: !Int
- fixedEndLine :: !Int
- fixedEndCol :: !Int
- fixedEndOffset :: !Int
- mkTokSpan :: Token -> Token -> SrcLoc
- mkTokPos :: Token -> SrcLoc
- type SrcLine = Int
- type SrcCol = Int
- type SrcOffset = Int
- getStartLine :: SrcLoc -> SrcLine
- getStartCol :: SrcLoc -> SrcCol
- getStartOffset :: SrcLoc -> SrcOffset
- getTokenLen :: SrcLoc -> SrcOffset
- getEndLine :: SrcLoc -> SrcLine
- getEndCol :: SrcLoc -> SrcCol
- getEndOffset :: SrcLoc -> SrcOffset
- getStartTokenId :: SrcLoc -> TokenId
- getEndTokenId :: SrcLoc -> TokenId
- getStartToken :: SrcLoc -> Token
- getEndToken :: SrcLoc -> Token
- computeEndPos :: Token -> AlexPosn
- srcLocFromTo :: SrcLoc -> SrcLoc -> SrcLoc
- srcLocBetween :: SrcLoc -> SrcLoc -> SrcLoc
Documentation
Constructors
TokIdPos TokenId | |
TokIdSpan TokenId TokenId | |
TokSpan Token Token | |
TokPos Token | |
NoLocation | |
FixedLoc | |
Fields
|
getStartLine :: SrcLoc -> SrcLine Source #
getStartCol :: SrcLoc -> SrcCol Source #
getStartOffset :: SrcLoc -> SrcOffset Source #
getTokenLen :: SrcLoc -> SrcOffset Source #
getEndLine :: SrcLoc -> SrcLine Source #
getEndOffset :: SrcLoc -> SrcOffset Source #
getStartTokenId :: SrcLoc -> TokenId Source #
getEndTokenId :: SrcLoc -> TokenId Source #
getStartToken :: SrcLoc -> Token Source #
getEndToken :: SrcLoc -> Token Source #
computeEndPos :: Token -> AlexPosn Source #