Hets - the Heterogeneous Tool Set

Copyright(c) Daniel Calegari Universidad de la Republica Uruguay 2013
LicenseGPLv2 or higher, see LICENSE.txt
Maintainerdcalegar@fing.edu.uy
Stabilityprovisional
Portabilityportable
Safe HaskellNone

Comorphisms.CSMOF2CASL

Description

 

Synopsis

Documentation

data CSMOF2CASL Source #

lid of the morphism

Constructors

CSMOF2CASL 

Instances

Show CSMOF2CASL Source # 

Methods

showsPrec :: Int -> CSMOF2CASL -> ShowS

show :: CSMOF2CASL -> String

showList :: [CSMOF2CASL] -> ShowS

Language CSMOF2CASL Source # 

Methods

language_name :: CSMOF2CASL -> String Source #

description :: CSMOF2CASL -> String Source #

Comorphism CSMOF2CASL CSMOF () Metamodel Sen () () Sign Morphism () () () CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Source # 

generateVars :: String -> Integer -> [VAR] Source #