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 HaskellSafe

CSMOF.StatAna

Description

 

Documentation

data TypeInfo Source #

Constructors

TypeInfo 

data PropInfo Source #

Constructors

PropInfo 

Fields

createProperty :: String -> Type -> Class -> Maybe Property -> PropertyT Source #