3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel CalegariResult {diags = [], maybeResult = Just (metamodel MetamodelWModel {

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegaridatatype String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariabstract class Classifier{

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariproperty name[0,*] : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari}

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariclass ClassextendsClassifier {

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariproperty attr[0,*] : Attribute

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariproperty asoc[0,*] : Association oppositeOf class

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari}

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariclass AssociationextendsClassifier {

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariproperty class[0,*] : Class oppositeOf asoc

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari}

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariclass Attribute{

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariproperty kind[0,*] : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari}

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari}

d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarimodel ClassModel conformsTo MetamodelWModel {

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject A : Class

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject B : Class

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject integer : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject attr1 : Attribute

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject attr2 : Attribute

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject asoc : Association

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject attr1Kind : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject attr2Kind : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject aName : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegariobject bName : String

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink attr(A,attr1)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink attr(B,attr2)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink name(A,aName)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink name(B,bName)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink kind(attr1,attr1Kind)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink kind(attr2,attr2Kind)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink asoc(A,asoc)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegarilink asoc(B,asoc)

3a9118f1a3c43d24b3fd1fe4c56b0464012d3484Daniel Calegari},ExtSign {plainSign = Sign {types = fromList [TypeClass {name = "Association", kind = ClassKind},TypeClass {name = "Attribute", kind = ClassKind},TypeClass {name = "Class", kind = ClassKind},TypeClass {name = "Classifier", kind = ClassKind},TypeClass {name = "String", kind = DataTypeKind}], typeRel = fromList [(TypeClass {name = "Association", kind = ClassKind},fromList [TypeClass {name = "Classifier", kind = ClassKind}]),(TypeClass {name = "Class", kind = ClassKind},fromList [TypeClass {name = "Classifier", kind = ClassKind}])], abstractClasses = fromList [TypeClass {name = "Classifier", kind = ClassKind}], roles = fromList ["_","asoc","attr","class","kind","name"], properties = fromList [PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}},PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "attr", targetType = TypeClass {name = "Attribute", kind = ClassKind}},PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}},PropertyT {sourceRole = "asoc", sourceType = TypeClass {name = "Association", kind = ClassKind}, targetRole = "class", targetType = TypeClass {name = "Class", kind = ClassKind}},PropertyT {sourceRole = "class", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "asoc", targetType = TypeClass {name = "Association", kind = ClassKind}}], instances = fromList [("A",TypeClass {name = "Class", kind = ClassKind}),("B",TypeClass {name = "Class", kind = ClassKind}),("aName",TypeClass {name = "String", kind = DataTypeKind}),("asoc",TypeClass {name = "Association", kind = ClassKind}),("attr1",TypeClass {name = "Attribute", kind = ClassKind}),("attr1Kind",TypeClass {name = "String", kind = DataTypeKind}),("attr2",TypeClass {name = "Attribute", kind = ClassKind}),("attr2Kind",TypeClass {name = "String", kind = DataTypeKind}),("bName",TypeClass {name = "String", kind = DataTypeKind}),("integer",TypeClass {name = "String", kind = DataTypeKind})], links = fromList [LinkT {sourceVar = "A", targetVar = "aName", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "A", targetVar = "asoc", property = PropertyT {sourceRole = "class", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "asoc", targetType = TypeClass {name = "Association", kind = ClassKind}}},LinkT {sourceVar = "A", targetVar = "attr1", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "attr", targetType = TypeClass {name = "Attribute", kind = ClassKind}}},LinkT {sourceVar = "B", targetVar = "asoc", property = PropertyT {sourceRole = "class", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "asoc", targetType = TypeClass {name = "Association", kind = ClassKind}}},LinkT {sourceVar = "B", targetVar = "attr2", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "attr", targetType = TypeClass {name = "Attribute", kind = ClassKind}}},LinkT {sourceVar = "B", targetVar = "bName", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "attr1", targetVar = "attr1Kind", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "attr2", targetVar = "attr2Kind", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}}]}, nonImportedSymbols = fromList []},[])}