Safe Haskell	None
Language	Haskell98

Camfort.Specification.Stencils.Grammar

Documentation

specParser :: AnnotationParser Specification Source #

data Specification Source #

Constructors

RegionDec String Region
SpecDec Spec [String]

Instances

Eq Specification Source #
Methods (==) :: Specification -> Specification -> Bool # (/=) :: Specification -> Specification -> Bool #
Data Specification Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Specification -> c Specification # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Specification # toConstr :: Specification -> Constr # dataTypeOf :: Specification -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Specification) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Specification) # gmapT :: (forall b. Data b => b -> b) -> Specification -> Specification # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Specification -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Specification -> r # gmapQ :: (forall d. Data d => d -> u) -> Specification -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Specification -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Specification -> m Specification # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Specification -> m Specification # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Specification -> m Specification #
Ord Specification Source #
Methods compare :: Specification -> Specification -> Ordering # (<) :: Specification -> Specification -> Bool # (<=) :: Specification -> Specification -> Bool # (>) :: Specification -> Specification -> Bool # (>=) :: Specification -> Specification -> Bool # max :: Specification -> Specification -> Specification # min :: Specification -> Specification -> Specification #
Show Specification Source #
Methods showsPrec :: Int -> Specification -> ShowS # show :: Specification -> String # showList :: [Specification] -> ShowS #
SynToAst Specification (Either RegionEnv SpecDecls) Source #
Methods synToAst :: Specification -> Either ErrorMsg (Either RegionEnv SpecDecls) Source #

data Region Source #

Constructors

Forward Int Int Bool
Backward Int Int Bool
Centered Int Int Bool
Or Region Region
And Region Region
Var String

Instances

Eq Region Source #
Methods (==) :: Region -> Region -> Bool # (/=) :: Region -> Region -> Bool #
Data Region Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Region -> c Region # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Region # toConstr :: Region -> Constr # dataTypeOf :: Region -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Region) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Region) # gmapT :: (forall b. Data b => b -> b) -> Region -> Region # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Region -> r # gmapQ :: (forall d. Data d => d -> u) -> Region -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Region -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Region -> m Region #
Ord Region Source #
Methods compare :: Region -> Region -> Ordering # (<) :: Region -> Region -> Bool # (<=) :: Region -> Region -> Bool # (>) :: Region -> Region -> Bool # (>=) :: Region -> Region -> Bool # max :: Region -> Region -> Region # min :: Region -> Region -> Region #
Show Region Source #
Methods showsPrec :: Int -> Region -> ShowS # show :: Region -> String # showList :: [Region] -> ShowS #
SynToAst Region RegionSum Source #
Methods synToAst :: Region -> Either ErrorMsg RegionSum Source #

data Spec Source #

Constructors

Spatial [Mod] Region
Temporal [String] Bool

Instances

Eq Spec Source #
Methods (==) :: Spec -> Spec -> Bool # (/=) :: Spec -> Spec -> Bool #
Data Spec Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Spec -> c Spec # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Spec # toConstr :: Spec -> Constr # dataTypeOf :: Spec -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Spec) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Spec) # gmapT :: (forall b. Data b => b -> b) -> Spec -> Spec # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Spec -> r # gmapQ :: (forall d. Data d => d -> u) -> Spec -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Spec -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Spec -> m Spec # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Spec -> m Spec #
Ord Spec Source #
Methods compare :: Spec -> Spec -> Ordering # (<) :: Spec -> Spec -> Bool # (<=) :: Spec -> Spec -> Bool # (>) :: Spec -> Spec -> Bool # (>=) :: Spec -> Spec -> Bool # max :: Spec -> Spec -> Spec # min :: Spec -> Spec -> Spec #
Show Spec Source #
Methods showsPrec :: Int -> Spec -> ShowS # show :: Spec -> String # showList :: [Spec] -> ShowS #
SynToAst Spec Specification Source #
Methods synToAst :: Spec -> Either ErrorMsg Specification Source #

data Mod Source #

Constructors

AtLeast
AtMost
ReadOnce

Instances

Eq Mod Source #
Methods (==) :: Mod -> Mod -> Bool # (/=) :: Mod -> Mod -> Bool #
Data Mod Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Mod -> c Mod # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Mod # toConstr :: Mod -> Constr # dataTypeOf :: Mod -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c Mod) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Mod) # gmapT :: (forall b. Data b => b -> b) -> Mod -> Mod # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Mod -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Mod -> r # gmapQ :: (forall d. Data d => d -> u) -> Mod -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Mod -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Mod -> m Mod # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Mod -> m Mod # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Mod -> m Mod #
Ord Mod Source #
Methods compare :: Mod -> Mod -> Ordering # (<) :: Mod -> Mod -> Bool # (<=) :: Mod -> Mod -> Bool # (>) :: Mod -> Mod -> Bool # (>=) :: Mod -> Mod -> Bool # max :: Mod -> Mod -> Mod # min :: Mod -> Mod -> Mod #
Show Mod Source #
Methods showsPrec :: Int -> Mod -> ShowS # show :: Mod -> String # showList :: [Mod] -> ShowS #
SynToAst [Mod] (Linearity, Maybe Mod) Source #
Methods synToAst :: [Mod] -> Either ErrorMsg (Linearity, Maybe Mod) Source #

lexer :: String -> Either AnnotationParseError [Token] Source #