Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl Christian Maeder Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Driver.Options

Description

Datatypes for options that hets understands. Useful functions to parse and check user-provided values.

Synopsis

Documentation

data HetcatsOpts Source #

HetcatsOpts is a record of all options received from the command line

Constructors

HcOpt 

Fields

Instances

Show HetcatsOpts Source # 

Methods

showsPrec :: Int -> HetcatsOpts -> ShowS

show :: HetcatsOpts -> String

showList :: [HetcatsOpts] -> ShowS

data Flag Source #

every Flag describes an option (see usage info)

Instances

Show Flag Source # 

Methods

showsPrec :: Int -> Flag -> ShowS

show :: Flag -> String

showList :: [Flag] -> ShowS

optionArgs :: [(String, String -> Flag)] Source #

options that require arguments for the wep-api excluding "translation"

optionFlags :: [(String, Flag)] Source #

command line switches for the wep-api excluding non-dev-graph related ones

makeOpts :: HetcatsOpts -> Flag -> HetcatsOpts Source #

makeOpts includes a parsed Flag in a set of HetcatsOpts

data AnaType Source #

AnaType describes the type of analysis to be performed

Constructors

Basic 
Structured 
Skip 

Instances

Show AnaType Source # 

Methods

showsPrec :: Int -> AnaType -> ShowS

show :: AnaType -> String

showList :: [AnaType] -> ShowS

data GuiType Source #

GuiType determines if we want the GUI shown

Constructors

UseGui 
NoGui 

Instances

Eq GuiType Source # 

Methods

(==) :: GuiType -> GuiType -> Bool

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

Show GuiType Source # 

Methods

showsPrec :: Int -> GuiType -> ShowS

show :: GuiType -> String

showList :: [GuiType] -> ShowS

data InType Source #

InType describes the type of input the infile contains

Constructors

ATermIn ATType 
CASLIn 
HetCASLIn 
DOLIn 
OWLIn OWLFormat 
HaskellIn 
MaudeIn 
TwelfIn 
HolLightIn 
IsaIn 
ThyIn 
PrfIn 
OmdocIn 
ExperimentalIn

for testing new functionality

ProofCommand 
GuessIn 
RDFIn 
FreeCADIn 
CommonLogicIn Bool

"clf" or "clif" (True is long version)

DgXml 
Xmi 
Qvt 
TPTPIn 
HtmlIn 

Instances

Eq InType Source # 

Methods

(==) :: InType -> InType -> Bool

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

Read InType Source # 

Methods

readsPrec :: Int -> ReadS InType

readList :: ReadS [InType]

readPrec :: ReadPrec InType

readListPrec :: ReadPrec [InType]

Show InType Source # 

Methods

showsPrec :: Int -> InType -> ShowS

show :: InType -> String

showList :: [InType] -> ShowS

data OWLFormat Source #

OWLFormat lists possibilities for OWL syntax (in + out)

Constructors

Manchester 
OwlXml 
RdfXml 
OBO 
Turtle 

Instances

Eq OWLFormat Source # 

Methods

(==) :: OWLFormat -> OWLFormat -> Bool

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

Show OWLFormat Source # 

Methods

showsPrec :: Int -> OWLFormat -> ShowS

show :: OWLFormat -> String

showList :: [OWLFormat] -> ShowS

data OutType Source #

OutType describes the type of outputs that we want to generate

Constructors

PrettyOut PrettyType 
GraphOut GraphType 
Prf 
EnvOut 
OWLOut OWLFormat 
CLIFOut 
KIFOut 
OmdocOut 
XmlOut

development graph xml output

DbOut

development graph database output

JsonOut

development graph json output

ExperimentalOut

for testing new functionality

HaskellOut 
FreeCADOut 
ThyFile

isabelle theory file

DfgFile SPFType

SPASS input file

TPTPFile 
ComptableXml 
MedusaJson 
RDFOut 
SigFile Delta

signature as text

TheoryFile Delta

signature with sentences as text

SymXml 
SymsXml 

Instances

Eq OutType Source # 

Methods

(==) :: OutType -> OutType -> Bool

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

Read OutType Source # 

Methods

readsPrec :: Int -> ReadS OutType

readList :: ReadS [OutType]

readPrec :: ReadPrec OutType

readListPrec :: ReadPrec [OutType]

Show OutType Source # 

Methods

showsPrec :: Int -> OutType -> ShowS

show :: OutType -> String

showList :: [OutType] -> ShowS

data PrettyType Source #

PrettyType describes the type of output we want the pretty-printer to generate

Constructors

PrettyAscii Bool 
PrettyLatex Bool 
PrettyXml 
PrettyHtml 

Instances

Eq PrettyType Source # 

Methods

(==) :: PrettyType -> PrettyType -> Bool

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

Show PrettyType Source # 

Methods

showsPrec :: Int -> PrettyType -> ShowS

show :: PrettyType -> String

showList :: [PrettyType] -> ShowS

data GraphType Source #

GraphType describes the type of Graph that we want generated

Constructors

Dot Bool

True means show internal node labels

Instances

Eq GraphType Source # 

Methods

(==) :: GraphType -> GraphType -> Bool

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

Show GraphType Source # 

Methods

showsPrec :: Int -> GraphType -> ShowS

show :: GraphType -> String

showList :: [GraphType] -> ShowS

data SPFType Source #

Instances

Eq SPFType Source # 

Methods

(==) :: SPFType -> SPFType -> Bool

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

Show SPFType Source # 

Methods

showsPrec :: Int -> SPFType -> ShowS

show :: SPFType -> String

showList :: [SPFType] -> ShowS

data ATType Source #

ATType describes distinct types of ATerms

Instances

Eq ATType Source # 

Methods

(==) :: ATType -> ATType -> Bool

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

Show ATType Source # 

Methods

showsPrec :: Int -> ATType -> ShowS

show :: ATType -> String

showList :: [ATType] -> ShowS

data Delta Source #

Instances

Eq Delta Source # 

Methods

(==) :: Delta -> Delta -> Bool

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

Show Delta Source # 

Methods

showsPrec :: Int -> Delta -> ShowS

show :: Delta -> String

showList :: [Delta] -> ShowS

hetcatsOpts :: [String] -> IO HetcatsOpts Source #

hetcatsOpts parses sensible HetcatsOpts from ARGV

isStructured :: HetcatsOpts -> Bool Source #

check if structured analysis should be performed

guess :: String -> InType -> InType Source #

guesses the InType

rmSuffix :: FilePath -> FilePath Source #

remove the extension from a file

envSuffix :: String Source #

the suffix of env files

prfSuffix :: String Source #

the suffix of env files

removePrfOut :: HetcatsOpts -> HetcatsOpts Source #

remove prf writing

hasEnvOut :: HetcatsOpts -> Bool Source #

should env be written

hasPrfOut :: HetcatsOpts -> Bool Source #

should prf be written

getFileNames :: [String] -> FilePath -> [FilePath] Source #

existsAnSource :: HetcatsOpts -> FilePath -> IO (Maybe FilePath) Source #

checks if a source file for the given file name exists

checkRecentEnv :: HetcatsOpts -> FilePath -> FilePath -> IO Bool Source #

gets two Paths and checks if the first file is not older than the second one and should return True for two identical files

downloadExtensions :: [String] Source #

intypes useable for downloads

defaultHetcatsOpts :: HetcatsOpts Source #

defaultHetcatsOpts defines the default HetcatsOpts, which are used as basic values when the user specifies nothing else

showDiags :: HetcatsOpts -> [Diagnosis] -> IO () Source #

show diagnostic messages (see Result.hs), according to verbosity level

showDiags1 :: HetcatsOpts -> ResultT IO a -> ResultT IO a Source #

show diagnostic messages (see Result.hs), according to verbosity level

putIfVerbose :: HetcatsOpts -> Int -> String -> IO () Source #

putIfVerbose prints a given String to StdOut when the given HetcatsOpts' Verbosity exceeds the given level

doDump :: HetcatsOpts -> String -> IO () -> IO () Source #

checkUri :: FilePath -> Bool Source #

check if infile is uri

useCatalogURL :: HetcatsOpts -> FilePath -> FilePath Source #

translate a given http reference using the URL catalog

hetsIOError :: String -> IO a Source #

print error and usage and exit with code 2