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

Instances details
Show CSMOF2CASL Source # 
Instance details

Defined in Comorphisms.CSMOF2CASL

Methods

showsPrec :: Int -> CSMOF2CASL -> ShowS

show :: CSMOF2CASL -> String

showList :: [CSMOF2CASL] -> ShowS

Language CSMOF2CASL Source # 
Instance details

Defined in Comorphisms.CSMOF2CASL

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 # 
Instance details

Defined in Comorphisms.CSMOF2CASL

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