Safe Haskell	None
Language	Haskell2010

Camfort.Analysis.Annotations

Contents

Annotation Datatype
Other Helpers

Synopsis

data Annotation = A {
- unitVar :: Int
- number :: Int
- refactored :: Maybe Position
- newNode :: Bool
- deleteNode :: Bool
}
type A = Annotation
unitAnnotation :: Annotation
pRefactored :: Annotation -> Bool
onPrev :: (a -> a) -> Analysis a -> Analysis a
buildCommentText :: MetaInfo -> Int -> String -> String

Annotation Datatype

data Annotation Source #

Constructors

A
Fields unitVar :: Int number :: Int refactored :: Maybe Position newNode :: Bool deleteNode :: Bool

Instances

Instances details

Eq Annotation Source #
Instance details Defined in Camfort.Analysis.Annotations Methods (==) :: Annotation -> Annotation -> Bool # (/=) :: Annotation -> Annotation -> Bool #
Data Annotation Source #
Instance details Defined in Camfort.Analysis.Annotations Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Annotation -> c Annotation # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Annotation # toConstr :: Annotation -> Constr # dataTypeOf :: Annotation -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Annotation) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Annotation) # gmapT :: (forall b. Data b => b -> b) -> Annotation -> Annotation # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Annotation -> r # gmapQ :: (forall d. Data d => d -> u) -> Annotation -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Annotation -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Annotation -> m Annotation #
Show Annotation Source #
Instance details Defined in Camfort.Analysis.Annotations Methods showsPrec :: Int -> Annotation -> ShowS # show :: Annotation -> String # showList :: [Annotation] -> ShowS #
Linkable HA Source #
Instance details Defined in Camfort.Specification.Hoare.Annotation Methods link :: HA -> Block HA -> HA Source # linkPU :: HA -> ProgramUnit HA -> HA Source #
Linkable SA Source #
Instance details Defined in Camfort.Specification.Stencils.Annotation Methods link :: SA -> Block SA -> SA Source # linkPU :: SA -> ProgramUnit SA -> SA Source #
Linkable UA Source #
Instance details Defined in Camfort.Specification.Units.Annotation Methods link :: UA -> Block UA -> UA Source # linkPU :: UA -> ProgramUnit UA -> UA Source #
ASTEmbeddable SA Specification Source #
Instance details Defined in Camfort.Specification.Stencils.Annotation Methods annotateWithAST :: SA -> Specification -> SA Source #
ASTEmbeddable UA UnitStatement Source #
Instance details Defined in Camfort.Specification.Units.Annotation Methods annotateWithAST :: UA -> UnitStatement -> UA Source #
ASTEmbeddable HA (SpecOrDecl InnerHA) Source #
Instance details Defined in Camfort.Specification.Hoare.Annotation Methods annotateWithAST :: HA -> SpecOrDecl InnerHA -> HA Source #
OutputFiles (ProgramFile Annotation, SourceText) Source #
Instance details Defined in Camfort.Output Methods mkOutputText :: FileOrDir -> (ProgramFile Annotation, SourceText) -> SourceText Source # outputFile :: (ProgramFile Annotation, SourceText) -> Filename Source # isNewFile :: (ProgramFile Annotation, SourceText) -> Bool Source # outputFiles :: FileOrDir -> FileOrDir -> [(ProgramFile Annotation, SourceText)] -> IO () Source #

type A = Annotation Source #

unitAnnotation :: Annotation Source #

Predicates

pRefactored :: Annotation -> Bool Source #

Transformation Helpers

onPrev :: (a -> a) -> Analysis a -> Analysis a Source #

Specification Annotation Helpers

Other Helpers

buildCommentText :: MetaInfo -> Int -> String -> String Source #

Build a Fortran comment string appropriate for the Fortran version.