Language.Clafer.Generator.Alloy

Description

Synopsis

• data Concat
  • = CString String
  • | Concat {
    • srcPos :: IrTrace
    • nodes :: [Concat]
    }
• type Position = ((LineNo, ColNo), (LineNo, ColNo))
• data IrTrace
  • = IrPExp {
    • pUid :: String
    }
  • | LowerCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | UpperCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | ExactCard {
    • pUid :: String
    • isGroup :: Bool
    }
  • | NoTrace
• mkConcat :: IrTrace -> String -> Concat
• iscPrimitive :: Concat -> Bool
• flatten :: Concat -> String
• (+++) :: Concat -> Concat -> Concat
• cconcat :: [Concat] -> Concat
• cintercalate :: Concat -> [Concat] -> Concat
• filterNull :: [Concat] -> [Concat]
• isNull :: Concat -> Bool
• cunlines :: [Concat] -> Concat
• genModule :: ClaferArgs -> (IModule, GEnv) -> [(UID, Integer)] -> (Result, [(Span, IrTrace)])
• header :: ClaferArgs -> [(UID, Integer)] -> Concat
• genScope :: (UID, Integer) -> String
• genDeclarationGoalsOnly :: ClaferArgs -> IElement -> Concat
• genDeclaration :: ClaferArgs -> IElement -> Concat
• mkFact :: Concat -> Concat
• mkMetric :: String -> Concat -> Concat
• mkSet :: Concat -> Concat
• showSet :: Concat -> [Concat] -> Concat
• optShowSet :: [Concat] -> Concat
• genClafer :: ClaferArgs -> [String] -> IClafer -> Concat
• transPrimitive :: IClafer -> IClafer
• claferDecl :: IClafer -> Concat -> Concat
• genOptCard :: IClafer -> Concat
• genRelations :: ClaferArgs -> IClafer -> [Concat]
• genRelName :: String -> String
• genRel :: String -> IClafer -> String -> String
• genAlloyRel :: String -> String -> String -> String
• refType :: ClaferArgs -> IClafer -> Concat
• getTarget :: PExp -> PExp
• genType :: ClaferArgs -> PExp -> Concat
• genConstraints :: ClaferArgs -> [String] -> IClafer -> [Concat]
• genParentConst :: [String] -> IClafer -> Concat
• genOptParentConst :: IClafer -> Concat
• genGroupConst :: IClafer -> Concat
• mkCard :: String -> Bool -> String -> (Integer, Integer) -> Concat
• genPathConst :: ClaferArgs -> String -> [String] -> IClafer -> Concat
• isRefPath :: IClafer -> Bool
• isSimplePath :: [PExp] -> Bool
• genCard :: String -> Maybe Interval -> Concat
• genCardCrude :: Maybe Interval -> String
• genIntervalCrude :: Interval -> String
• genInterval :: String -> Bool -> String -> Interval -> Concat
• cardConcat :: String -> Bool -> [Concat] -> Concat
• cardLowerConcat :: String -> Bool -> [Concat] -> Concat
• cardUpperConcat :: String -> Bool -> [Concat] -> Concat
• genExInteger :: String -> Interval -> Integer -> Maybe Result
• genPExp :: ClaferArgs -> [String] -> PExp -> Concat
• genPExp' :: ClaferArgs -> [String] -> PExp -> Concat
• transformExp :: IExp -> IExp
• genIFunExp :: String -> ClaferArgs -> [String] -> IExp -> Concat
• optBrArg :: ClaferArgs -> [String] -> PExp -> Concat
• interleave :: [Concat] -> [Concat] -> [Concat]
• brArg :: (a -> Concat) -> a -> Concat
• genOp :: Bool -> String -> [String]
• adjustPExp :: [String] -> PExp -> PExp
• adjustIExp :: [String] -> IExp -> IExp
• adjustNav :: [String] -> IExp -> (IExp, [String])
• genQuant :: IQuant -> String
• genDecl :: ClaferArgs -> [String] -> IDecl -> Concat
• genDisj :: Bool -> String
• data AlloyEnv = AlloyEnv {
  • lineCol :: (LineNo, ColNo)
  • mapping :: [(Span, IrTrace)]
  }
• mapLineCol :: Concat -> [(Span, IrTrace)]
• addCode :: MonadState AlloyEnv m => String -> m ()
• mapLineCol' :: MonadState AlloyEnv m => Concat -> m ()
• addColumn :: Interval -> Integer -> Interval
• countLeading :: String -> String -> Integer
• countTrailing :: String -> String -> Integer
• lineno :: (Integer, ColNo) -> String -> (Integer, ColNo)
• firstCol :: ColNo
• firstLine :: LineNo
• removeright :: PExp -> PExp
• getRight :: PExp -> PExp

Documentation