| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Modelling.CdOd.CdAndChanges.Transform
Synopsis
- transform :: ClassConfig -> [CdMutation] -> RelationshipProperties -> Maybe Bool -> String
- transformChanges :: ClassConfig -> CdConstraints -> [CdMutation] -> RelationshipProperties -> Maybe ClassConfig -> [RelationshipProperties] -> String
- transformGetNextFix :: Maybe AnyCd -> ClassConfig -> CdConstraints -> RelationshipProperties -> AllowedProperties -> Bool -> String
- transformImproveCd :: AnyCd -> ClassConfig -> [CdMutation] -> RelationshipProperties -> String
- transformNoChanges :: ClassConfig -> RelationshipProperties -> Maybe Bool -> String
Documentation
transform :: ClassConfig -> [CdMutation] -> RelationshipProperties -> Maybe Bool -> String Source #
transformChanges :: ClassConfig -> CdConstraints -> [CdMutation] -> RelationshipProperties -> Maybe ClassConfig -> [RelationshipProperties] -> String Source #
transformGetNextFix :: Maybe AnyCd -> ClassConfig -> CdConstraints -> RelationshipProperties -> AllowedProperties -> Bool -> String Source #
Generates Alloy code that
- provides a change that removes an illegal relationship
- makes sure, that no non-inheritance relationship exists twice within the class diagram if they are not referenced by name
Arguments
| :: AnyCd | the generated CD |
| -> ClassConfig | the configuration used for generating the CD |
| -> [CdMutation] | the mutations that are allowed to be used |
| -> RelationshipProperties | the properties of the original CD |
| -> String |
transformNoChanges :: ClassConfig -> RelationshipProperties -> Maybe Bool -> String Source #
Create Alloy code for the generation of a single class diagram with the given properties.