Module Analysis.ProgInfo

emptyProgInfo :: ProgInfo a   

The empty program information.

Further infos:

• solution complete, i.e., able to compute all solutions

lookupProgInfo :: (String,String) -> ProgInfo a -> Maybe a   

Gets the information about an entity.

combineProgInfo :: ProgInfo a -> ProgInfo a -> ProgInfo a   

Combines two analysis informations.

lists2ProgInfo :: ([((String,String),a)],[((String,String),a)]) -> ProgInfo a   

Converts a public and a private analysis list into a program info.

publicListFromProgInfo :: ProgInfo a -> [((String,String),a)]   

Returns the infos of public operations as a list.

progInfo2Lists :: ProgInfo a -> ([((String,String),a)],[((String,String),a)])   

Transforms a program information into a pair of lists containing the information about public and private entities.

mapProgInfo :: (a -> b) -> ProgInfo a -> ProgInfo b   

Transforms a program information by applying a function to all information entities.

publicProgInfo :: ProgInfo a -> ProgInfo a   

Transforms a program information into a program information about interface entities only.

Further infos:

• solution complete, i.e., able to compute all solutions

showProgInfo :: Show a => ProgInfo a -> String   

Show a ProgInfo as a string (used for debugging only).

equalProgInfo :: Eq a => ProgInfo a -> ProgInfo a -> Bool   

writeAnalysisFiles :: (ReadWrite a, Show a) => DLevel -> String -> ProgInfo a -> IO ()   

Writes a ProgInfo into a file.

readAnalysisFiles :: (Read a, ReadWrite a) => DLevel -> String -> IO (ProgInfo a)   

Reads a ProgInfo from the analysis files where the base file name is given.

readAnalysisPublicFile :: (Read a, ReadWrite a) => DLevel -> String -> IO (ProgInfo a)   

Reads the public ProgInfo from the public analysis file.