 | hets -- a heterogenous Specification (CASL) tool set | Contents | Index |
|
| Options | | Portability | non-portable(DevGraph) | | Stability | provisional | | Maintainer | hets@tzi.de |
|
|
|
|
|
| Description |
Datatypes for options, a list of options hetcats understands.
Useful functions to parse and check the user-provided functions
and for filling in default values.
A record datatype for fast and easy access and modification
extension of the options.
|
|
| Synopsis |
|
|
|
| Documentation |
|
| data HetcatsOpts |
| HetcatsOpts is a record set of all options received from the command line | | Constructors | | | Instances | |
|
|
| makeOpts :: HetcatsOpts -> Flag -> HetcatsOpts |
| makeOpts includes a parsed Flag in a set of HetcatsOpts |
|
| defaultHetcatsOpts :: HetcatsOpts |
| defaultHetcatsOpts defines the default HetcatsOpts, which are used as
basic values when the user specifies nothing else |
|
| data Flag |
| every Flag describes a raw option | | Constructors | | | Instances | |
|
|
| data AnaType |
| AnaType describes the type of analysis we want performed | | Constructors | | | Instances | |
|
|
| data GuiType |
| GuiType determines if we want the GUI shown | | Constructors | | | Instances | |
|
|
| data InType |
| InType describes the type of input the infile contains | | Constructors | | ATermIn ATType | | | ASTreeIn ATType | | | CASLIn | | | HetCASLIn | | | HaskellIn | | | GuessIn | |
| | Instances | |
|
|
| data ATType |
| ATType describes distinct types of ATerms | | Constructors | | | Instances | |
|
|
| data OutType |
| OutType describes the type of Output that we want generated | | Constructors | | | Instances | |
|
|
| data PrettyType |
| PrettyType describes the type of Output we want the Pretty-Printer
to generate | | Constructors | | PrettyAscii | | | PrettyLatex | | | PrettyHtml | |
| | Instances | |
|
|
| data HetOutType |
| HetOutType describes the type of Output we want Hets to create | | Constructors | | | Instances | |
|
|
| data Flattening |
| Flattening describes how flat the Earth really is (TODO: add comment) | | Constructors | | Flattened | | | HidingOutside | | | Full | |
| | Instances | |
|
|
| data HetOutFormat |
| HetOutFormat describes the format of Output that HetCASL shall create | | Constructors | | OutAscii | | | OutTerm | | | OutTaf | | | OutHtml | | | OutXml | |
| | Instances | |
|
|
| data GraphType |
| GraphType describes the type of Graph that we want generated | | Constructors | | | Instances | |
|
|
| data RawOpt |
| RawOpt describes the options we want to be passed to the Pretty-Printer | | Constructors | | | Instances | |
|
|
| data ErrorSource |
| ErrorSource describes possible sources of errors:
user input or internal errors | | Constructors | | | Instances | |
|
|
| options :: [OptDescr Flag] |
| options describes all available options and is used to generate usage
information |
|
| parseVerbosity :: Maybe String -> Flag |
| parseVerbosity parses a Verbose Flag from user input |
|
| inTypes :: [(String, (InType, Bool))] |
| possible input types. Boolean flag is true if intype is useable for downloads. |
|
| downloadExtensions :: [String] |
|
| existsAnSource :: FilePath -> IO (Maybe FilePath) |
| checks if a source file for the given base exists |
|
| checkRecentEnv :: FilePath -> FilePath -> IO Bool |
| gets two Paths and checks if the first file is more recent than the
second one |
|
| parseInType :: String -> Flag |
| parseInType parses an InType Flag from user input |
|
| parseInType1 :: String -> InType |
| parseInType1 parses an InType Flag from a String |
|
| parseOutTypes :: String -> Flag |
|
| parseOutType :: String -> Maybe OutType |
|
| parseRawOpts :: String -> Flag |
| parseRawOpts parses a Raw Flag from user input |
|
| guess :: String -> InType -> InType |
| guesses the InType |
|
| guessInType :: FilePath -> InType |
| guessInType parses an InType from the FilePath to our InFile |
|
| hetcatsOpts :: [String] -> IO HetcatsOpts |
| hetcatsOpts parses sensible HetcatsOpts from ARGV |
|
| checkFlags :: [Flag] -> IO [Flag] |
| checkFlags checks all parsed Flags for sanity |
|
| checkInFiles :: [String] -> IO [FilePath] |
| checkInFiles checks all given InFiles for sanity |
|
| checkInFile :: FilePath -> IO Bool |
| checkInFile checks a single InFile for sanity |
|
| checkOutDirs :: [Flag] -> IO [Flag] |
| checkOutDirs checks a list of OutDir for sanity |
|
| checkOutDir :: String -> IO Bool |
| checkOutDir checks a single OutDir for sanity |
|
| noPerms :: Permissions |
|
| collectOutDirs :: [Flag] -> IO [Flag] |
|
| collectVerbosity :: [Flag] -> [Flag] |
|
| collectOutTypes :: [Flag] -> [Flag] |
|
| collectRawOpts :: [Flag] -> [Flag] |
|
| hetsError :: forall a . ErrorSource -> String -> a |
| hetsError is a generic Error messaging function that prints the Error
and usage information, if the user caused the Error |
|
| hetsUsage :: String |
| hetsUsage generates usage information for the commandline |
|
| putIfVerbose :: HetcatsOpts -> Int -> String -> IO () |
| putIfVerbose prints a given String to StdOut when the given HetcatsOpts'
Verbosity exceeds the given level |
|
| doIfVerbose :: HetcatsOpts -> Int -> IO () -> IO () |
| doIfVerbose executes a given function when the given HetcatsOpts'
Verbosity exceeds the given level |
|
| showDiags :: HetcatsOpts -> [Diagnosis] -> IO () |
| show diagnostic messages (see Result.hs), according to verbosity level |
|
| Produced by Haddock version 0.6 |