Hets - the Heterogeneous Tool Set

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.Sign

Description

Documentation

Constructors

DataTypeKind
ClassKind

Instances

Eq TypeKind
Data TypeKind
Ord TypeKind
Show TypeKind
ShATermConvertible TypeKind
Pretty TypeKind
Typeable * TypeKind

Constructors

TypeClass
Fields name :: String kind :: TypeKind

Instances

Eq TypeClass
Data TypeClass
Ord TypeClass
Show TypeClass
ShATermConvertible TypeClass
Pretty TypeClass
Typeable * TypeClass

type Role = String

Constructors

PropertyT
Fields sourceRole :: Role sourceType :: TypeClass targetRole :: Role targetType :: TypeClass

Instances

Eq PropertyT
Data PropertyT
Ord PropertyT
Show PropertyT
ShATermConvertible PropertyT
Pretty PropertyT
Typeable * PropertyT

data LinkT

Constructors

LinkT
Fields sourceVar :: Role targetVar :: Role property :: PropertyT

Instances

Eq LinkT
Data LinkT
Ord LinkT
Show LinkT
ShATermConvertible LinkT
Pretty LinkT
Typeable * LinkT

data Sign

Constructors

Sign
Fields types :: Set TypeClass typeRel :: Rel TypeClass abstractClasses :: Set TypeClass roles :: Set Role properties :: Set PropertyT instances :: Map String TypeClass links :: Set LinkT

Instances

Eq Sign
Data Sign
Ord Sign
Show Sign
ShATermConvertible Sign
GetRange Sign
Pretty Sign
Typeable * Sign
Sentences CSMOF Sen Sign Morphism ()
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

toType :: Set TypeClass -> TypeClass -> Doc

toSubRel :: (TypeClass, TypeClass) -> Doc

toInstance :: (String, TypeClass) -> Doc

emptySign :: Sign

data MultConstr

Constructors

MultConstr
Fields getType :: TypeClass getRole :: Role

Instances

Eq MultConstr
Data MultConstr
Ord MultConstr
Show MultConstr
ShATermConvertible MultConstr
Pretty MultConstr
Typeable * MultConstr

data ConstraintType

Constructors

EQUAL
LEQ
GEQ

Instances

Eq ConstraintType
Data ConstraintType
Ord ConstraintType
Show ConstraintType
ShATermConvertible ConstraintType
Pretty ConstraintType
Typeable * ConstraintType

data Sen

Constructors

Sen
Fields constraint :: MultConstr cardinality :: Integer constraintType :: ConstraintType

Instances

Eq Sen
Data Sen
Ord Sen
Show Sen
ShATermConvertible Sen
GetRange Sen
Pretty Sen
Typeable * Sen
Sentences CSMOF Sen Sign Morphism ()
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