AS_BASIC_CSL.hs revision e9458b1a7a19a63aa4c179f9ab20f4d50681c168
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis{-# LANGUAGE TypeSynonymInstances, FlexibleInstances, DeriveDataTypeable #-}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisDescription : Abstract syntax for EnCL
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisCopyright : (c) Dominik Dietrich, Ewaryst Schulz, DFKI Bremen 2010
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisLicense : GPLv2 or higher, see LICENSE.txt
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisMaintainer : Ewaryst.Schulz@dfki.de
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisStability : experimental
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisPortability : portable
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisThis module contains the abstract syntax types for EnCL as well as the
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtispredefined operator configuration.
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis ( EXPRESSION (..) {- datatype for numerical expressions
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis (e.g. polynomials) -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , EXTPARAM (..) -- datatype for extended parameters (e.g. [I=0])
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , BASIC_ITEM (..) -- Items of a Basic Spec
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , BASIC_SPEC (..) -- Basic Spec
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , SYMB_ITEMS (..) -- List of symbols
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , SYMB (..) -- Symbols
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , SYMB_MAP_ITEMS (..) -- Symbol map
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , SYMB_OR_MAP (..) -- Symbol or symbol map
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OPNAME (..) -- predefined operator names
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OPID (..) -- identifier for operators
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , ConstantName (..) -- names of user-defined constants
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OP_ITEM (..) -- operator declaration
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , VAR_ITEM (..) -- variable declaration
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , VarDecl (..) -- variable declaration in assignment
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OpDecl (..) -- operator declaration in assignment
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , EPDecl (..) -- extparam declaration
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , EPVal (..) -- extparam values
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , Domain -- domains for variable declarations
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , EPDomain -- domains for extended parameter declarations
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , GroundConstant (..) -- constants for domain formation
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , cmpFloatToInt -- comparer for APFloat with APInt
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , AssDefinition (..) -- A function or constant definition
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , InstantiatedConstant (..) {- for function constants we need to store the
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis instantiation -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , CMD (..) -- Command datatype
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OperatorState (..) -- Class providing operator lookup
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OpInfo (..) -- Type for Operator information
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , BindInfo (..) -- Type for Binder information
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , operatorInfo {- Operator information for pretty printing
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis and static analysis -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , operatorInfoMap -- allows efficient lookup of ops by printname
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , operatorInfoNameMap -- allows efficient lookup of ops by opname
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , operatorBindInfoMap
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , mergeOpArityMap -- for combining two operator arity maps
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , getOpInfoMap
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , getOpInfoNameMap
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , getBindInfoMap
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , lookupOpInfo
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , lookupOpInfoForParsing
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , lookupBindInfo
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , APInt, APFloat -- arbitrary precision numbers
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , toFraction, fromFraction
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , OpInfoNameMap
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , maxPrecedence
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisimport qualified Data.Map as Map
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis{- ---------------------------------------------------------------------------
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisEnCL Basic Data Structures and utils
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis--------------------------------------------------------------------------- -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis-- Arbitrary precision numbers
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtistype APInt = Integer
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtistype APFloat = Rational
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpFloatToInt :: APFloat -> APInt -> Ordering
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpFloatToInt a b = compare a $ fromFraction b 1
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisfromFraction :: Integer -> Integer -> APFloat
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisfromFraction = (%)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtistoFraction :: APFloat -> (Integer, Integer)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtistoFraction r = (numerator r, denominator r)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis-- | operator symbol declaration
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis-- | variable symbol declaration
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata VAR_ITEM = Var_item [Id.Token] Domain Id.Range
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisnewtype BASIC_SPEC = Basic_spec [AS_Anno.Annoted BASIC_ITEM]
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata GroundConstant = GCI APInt | GCR APFloat deriving (Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpGCs :: GroundConstant -> GroundConstant -> Ordering
ddc0e0b53c661f6e439e3b7072b3ef353eadb4afRichard LowecmpGCs (GCI a) (GCI b) = compare a b
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpGCs (GCR a) (GCR b) = compare a b
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpGCs (GCI a) (GCR b) = swapCompare $ cmpFloatToInt b a
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtiscmpGCs (GCR a) (GCI b) = cmpFloatToInt a b
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisinstance Eq GroundConstant where
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis a == b = cmpGCs a b == EQ
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisinstance Ord GroundConstant where
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis compare = cmpGCs
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisinstance Continuous GroundConstant
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtistype Domain = SetOrInterval GroundConstant
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtistype EPDomain = ClosedInterval EPVal
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis-- | A constant or function definition
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata AssDefinition = ConstDef EXPRESSION | FunDef [String] EXPRESSION
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Eq, Ord, Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata InstantiatedConstant = InstantiatedConstant
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis { constName :: ConstantName
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis , instantiation :: [EXPRESSION] } deriving (Show, Eq, Ord, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis{- | basic items: an operator, extended parameter or variable
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis declaration or an axiom -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata BASIC_ITEM =
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis Op_decl OP_ITEM
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | EP_decl [(Id.Token, EPDomain)]
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | EP_domdecl [(Id.Token, APInt)]
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | EP_defval [(Id.Token, APInt)]
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | Var_decls [VAR_ITEM]
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | Axiom_item (AS_Anno.Annoted CMD)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis-- | Extended Parameter Datatype
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata EXTPARAM = EP Id.Token String APInt
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Eq, Ord, Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata EPDecl = EPDecl Id.Token -- name
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis EPDomain -- a domain over which the ep ranges
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis (Maybe APInt) -- evtl. a default value
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Eq, Ord, Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis{- | Extended Parameter value may be an integer or a reference to an 'EPDomVal'.
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisThis type is used for the domain specification of EPs (see 'EPDomain'). -}
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisdata EPVal = EPVal APInt | EPConstRef Id.Token
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Eq, Ord, Show, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisgetEPVarRef :: EPVal -> Maybe Id.Token
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisgetEPVarRef (EPConstRef tok) = Just tok
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisgetEPVarRef _ = Nothing
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- arithmetic operators
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_mult | OP_div | OP_plus | OP_minus | OP_neg | OP_pow
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- roots, trigonometric and other operators
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_fthrt | OP_sqrt | OP_abs | OP_max | OP_min | OP_sign
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_cos | OP_sin | OP_tan | OP_cot | OP_Pi
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- special CAS operators
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_minimize | OP_minloc | OP_maximize | OP_maxloc | OP_factor | OP_approx
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_divide | OP_factorize | OP_int | OP_rlqe | OP_simplify | OP_solve
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- comparison predicates
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_neq | OP_lt | OP_leq | OP_eq | OP_gt | OP_geq | OP_convergence
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_reldistLe
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- containment predicate
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- special CAS constants
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_undef | OP_failure
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- boolean constants and connectives
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_false | OP_true | OP_not | OP_and | OP_or | OP_impl
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis -- quantifiers
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_ex | OP_all
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis | OP_hastype | OP_real
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis deriving (Eq, Ord, Typeable, Data)
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtisinstance Show OPNAME where
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis show = showOPNAME
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr JasiukajtisshowOPNAME :: OPNAME -> String
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_neq -> "!="
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_mult -> "*"
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_plus -> "+"
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_minus -> "-"
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_leq -> "<="
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_geq -> ">="
25c28e83beb90e7c80452a7c818c5e6f73a07dc8Piotr Jasiukajtis OP_abs -> "abs"
Var Id.Token
| Op OPID [EXTPARAM] [EXPRESSION] Id.Range
| List [EXPRESSION] Id.Range
| Interval Double Double Id.Range
| Int APInt Id.Range
| Rat APFloat Id.Range
data VarDecl = VarDecl Id.Token (Maybe Domain)
data OpDecl = OpDecl ConstantName [EXTPARAM] [VarDecl] Id.Range
data SYMB_ITEMS = Symb_items [SYMB] Id.Range
newtype SYMB = Symb_id Id.Token
data SYMB_MAP_ITEMS = Symb_map_items [SYMB_OR_MAP] Id.Range
| Symb_map SYMB SYMB Id.Range
Predefined Operators: info for parsing/printing and static analysis
type ArityMap = Map.Map Int OpInfo
type OpInfoArityMap a = Map.Map a ArityMap
type BindInfoMap = Map.Map String OpInfo
getOpInfoMap pf = foldl f Map.empty
(Map.fromList [(arity oi, oi)]) m
getOpInfoNameMap = foldl f Map.empty
(Map.fromList [(arity oi, oi)]) m
getBindInfoMap = foldl f Map.empty
Map.insertWith cf (show $ opname oi) oi m
lookupBinder _ = flip Map.lookup operatorBindInfoMap
lookupBinder = flip Map.lookup . snd
case Map.lookup op oiMap of
case Map.lookup arit oim of
case Map.lookup (-1) oim of
case Map.lookup op oinm of
case Map.lookup arit oim of
case Map.lookup (-1) oim of
case Map.lookup op oinm of
case Map.lookup arit oim of