Copyright	(c) Daniel Calegari Universidad de la Republica, Uruguay 2013
License	GPLv2 or higher, see LICENSE.txt
Maintainer	dcalegar@fing.edu.uy
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

CSMOF.As

Description

Documentation

data Metamodel

Constructors

Metamodel
Fields metamodelName :: String element :: [NamedElement] model :: [Model]

Instances

Eq Metamodel
Data Metamodel
Ord Metamodel
Show Metamodel
ShATermConvertible Metamodel
Monoid Metamodel
GetRange Metamodel
Pretty Metamodel
Typeable * Metamodel
Syntax CSMOF Metamodel () () ()
StaticAnalysis CSMOF Metamodel Sen () () Sign Morphism () ()
Logic CSMOF () Metamodel Sen () () Sign Morphism () () ()
Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree

data NamedElement

Constructors

NamedElement
Fields namedElementName :: String namedElementOwner :: Metamodel namedElementSubClasses :: TypeOrTypedElement

Instances

Eq NamedElement
Data NamedElement
Ord NamedElement
Show NamedElement
ShATermConvertible NamedElement
GetRange NamedElement
Pretty NamedElement
Typeable * NamedElement

data TypeOrTypedElement

Constructors

TType
Fields getType :: Type
TTypedElement
Fields getTypeElement :: TypedElement

Instances

Eq TypeOrTypedElement
Data TypeOrTypedElement
Ord TypeOrTypedElement
Show TypeOrTypedElement
ShATermConvertible TypeOrTypedElement
GetRange TypeOrTypedElement
Pretty TypeOrTypedElement
Typeable * TypeOrTypedElement

data Type

Constructors

Type
Fields typeSuper :: NamedElement typeSubClasses :: DataTypeOrClass

Instances

Eq Type
Data Type
Ord Type
Show Type
ShATermConvertible Type
GetRange Type
Pretty Type
Typeable * Type

data DataTypeOrClass

Constructors

DDataType
Fields getDataType :: Datatype
DClass
Fields getClass :: Class

Instances

Eq DataTypeOrClass
Data DataTypeOrClass
Ord DataTypeOrClass
Show DataTypeOrClass
ShATermConvertible DataTypeOrClass
GetRange DataTypeOrClass
Pretty DataTypeOrClass
Typeable * DataTypeOrClass

data Datatype

Constructors

Datatype
Fields classSuper :: Type

Instances

Eq Datatype
Data Datatype
Ord Datatype
Show Datatype
ShATermConvertible Datatype
GetRange Datatype
Pretty Datatype
Typeable * Datatype

data Class

Constructors

Class
Fields classSuperType :: Type isAbstract :: Bool superClass :: [Class] ownedAttribute :: [Property]

Instances

Eq Class
Data Class
Ord Class
Show Class
ShATermConvertible Class
GetRange Class
Pretty Class
Typeable * Class

data TypedElement

Constructors

TypedElement
Fields typedElementSuper :: NamedElement typedElementType :: Type typedElementSubClasses :: Property

Instances

Eq TypedElement
Data TypedElement
Ord TypedElement
Show TypedElement
ShATermConvertible TypedElement
GetRange TypedElement
Pretty TypedElement
Typeable * TypedElement

data Property

Constructors

Property
Fields propertySuper :: TypedElement multiplicityElement :: MultiplicityElement opposite :: Maybe Property propertyClass :: Class

Instances

Eq Property
Data Property
Ord Property
Show Property
ShATermConvertible Property
GetRange Property
Pretty Property
Typeable * Property

data Model

Constructors

Model
Fields modelName :: String object :: [Object] link :: [Link] modelType :: Metamodel

Instances

Eq Model
Data Model
Ord Model
Show Model
ShATermConvertible Model
GetRange Model
Pretty Model
Typeable * Model

data Object

Constructors

Object
Fields objectName :: String objectType :: Type objectOwner :: Model

Instances

Eq Object
Data Object
Ord Object
Show Object
ShATermConvertible Object
GetRange Object
Pretty Object
Typeable * Object

data Link

Constructors

Link
Fields linkType :: Property source :: Object target :: Object linkOwner :: Model

Instances

Eq Link
Data Link
Ord Link
Show Link
ShATermConvertible Link
GetRange Link
Pretty Link
Typeable * Link

Eq MultiplicityElement
Data MultiplicityElement
Ord MultiplicityElement
Show MultiplicityElement
ShATermConvertible MultiplicityElement
GetRange MultiplicityElement
Pretty MultiplicityElement
Typeable * MultiplicityElement

MultiplicityElement
Fields lower :: Integer upper :: Integer multiplicityElementSubClasses :: Property