Copyright | (c) Christian Maeder DFKI GmbH 2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Common.LibName
Description
Abstract syntax of HetCASL/DOL specification library names. Follows Sect. II:2.2.5 of the CASL Reference Manual and 9.7 of the OMG standard DOL.
- data LibName = LibName {
- getLibId :: IRI
- locIRI :: Maybe IRI
- mimeType :: Maybe String
- libVersion :: Maybe VersionNumber
- data VersionNumber = VersionNumber [String] Range
- isQualNameFrom :: SIMPLE_ID -> LibName -> Id -> Bool
- isQualName :: Id -> Bool
- mkQualName :: SIMPLE_ID -> LibName -> Id -> Id
- unQualName :: Id -> Id
- setFilePath :: FilePath -> LibName -> LibName
- libToFileName :: LibName -> FilePath
- getFilePath :: LibName -> FilePath
- iriLibName :: IRI -> LibName
- filePathToLibId :: FilePath -> IRI
- emptyLibName :: String -> LibName
- convertFileToLibStr :: FilePath -> String
- mkLibStr :: String -> String
- setMimeType :: Maybe String -> LibName -> LibName
- mkLibName :: IRI -> Maybe VersionNumber -> LibName
- libNameToId :: LibName -> Id
Documentation
Constructors
LibName | |
Fields
|
isQualName :: Id -> Bool Source #
unQualName :: Id -> Id Source #
setFilePath :: FilePath -> LibName -> LibName Source #
insert file name as location IRI
libToFileName :: LibName -> FilePath Source #
interpret library IRI as file path
getFilePath :: LibName -> FilePath Source #
extract location IRI as file name
iriLibName :: IRI -> LibName Source #
filePathToLibId :: FilePath -> IRI Source #
use file name as library IRI
emptyLibName :: String -> LibName Source #
convertFileToLibStr :: FilePath -> String Source #
setMimeType :: Maybe String -> LibName -> LibName Source #
insert optional mime type
libNameToId :: LibName -> Id Source #