Camfort.Specification.Units.Annotation

Defines the UnitAnnotation datatype, which is used for annotating a ProgramFile with units information.

Annotation Type

type UA = Analysis (UnitAnnotation A)

mkUnitAnnotation :: a -> UnitAnnotation a

prevAnnotation :: UnitAnnotation a -> a

unitBlock :: UnitAnnotation a -> Maybe (Block (Analysis (UnitAnnotation a)))

linked variable declaration

unitConstraint :: UnitAnnotation a -> Maybe Constraint

unitInfo :: UnitAnnotation a -> Maybe UnitInfo

unitPU :: UnitAnnotation a -> Maybe (ProgramUnit (Analysis (UnitAnnotation a)))

linked program unit

unitSpec :: UnitAnnotation a -> Maybe UnitStatement

Helpers

cleanLinks :: ProgramFile UA -> ProgramFile UA

getConstraint :: Annotated f => f UA -> Maybe Constraint

Extract the constraint from a given annotated piece of AST.

getUnitInfo :: Annotated f => f UA -> Maybe UnitInfo

Extract the unit info from a given annotated piece of AST.

maybeSetUnitConstraintF2 :: Annotated f => (a -> b -> Constraint) -> Maybe a -> Maybe b -> f UA -> f UA

maybeSetUnitInfo :: Annotated f => Maybe UnitInfo -> f UA -> f UA

maybeSetUnitInfoF2 :: Annotated f => (a -> b -> UnitInfo) -> Maybe a -> Maybe b -> f UA -> f UA

setConstraint :: Annotated f => Constraint -> f UA -> f UA

Set the Constraint field on a piece of AST.

setUnitInfo :: Annotated f => UnitInfo -> f UA -> f UA

Set the UnitInfo field on a piece of AST.