parsingStaticAn_EXIT.txt revision d3d15411081a9ac4a84d409079153135bb30442a
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
d3d15411081a9ac4a84d409079153135bb30442aDaniel CalegariResult {diags = [], maybeResult = Just (metamodel Class {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari abstract class UMLModelElement {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property kind [1,1] : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property name [1,1] : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari class Package extends UMLModelElement {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property elements [0,*] : Classifier oppositeOf namespace
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari class Classifier extends UMLModelElement {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property namespace [1,1] : Package oppositeOf elements
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari class Attribute extends UMLModelElement {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property owner [1,1] : Class oppositeOf attribute
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property type [1,1] : PrimitiveDataType
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari class Class extends Classifier {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari property attribute [0,*] : Attribute oppositeOf owner
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari class PrimitiveDataType extends Classifier {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari datatype String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarimodel ClassModel conformsTo Class {
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object p : Package
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object a : Attribute
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object c : Class
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object pdt : PrimitiveDataType
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object Package : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object ID : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object Persistent : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object value : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object String : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari object _ : String
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link namespace(c,p)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link namespace(pdt,p)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link type(a,pdt)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link attribute(c,a)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link name(p,Package)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link name(c,ID)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link name(a,value)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link name(pdt,String)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link kind(c,Persistent)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link kind(p,_)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link kind(a,_)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari link kind(pdt,_)
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegari,ExtSign {plainSign = Sign {types = fromList [TypeClass {name = "Attribute", kind = ClassKind},TypeClass {name = "Class", kind = ClassKind},TypeClass {name = "Classifier", kind = ClassKind},TypeClass {name = "Package", kind = ClassKind},TypeClass {name = "PrimitiveDataType", kind = ClassKind},TypeClass {name = "String", kind = DataTypeKind},TypeClass {name = "UMLModelElement", kind = ClassKind}], typeRel = fromList [(TypeClass {name = "Attribute", kind = ClassKind},fromList [TypeClass {name = "UMLModelElement", kind = ClassKind}]),(TypeClass {name = "Class", kind = ClassKind},fromList [TypeClass {name = "Classifier", kind = ClassKind}]),(TypeClass {name = "Classifier", kind = ClassKind},fromList [TypeClass {name = "UMLModelElement", kind = ClassKind}]),(TypeClass {name = "Package", kind = ClassKind},fromList [TypeClass {name = "UMLModelElement", kind = ClassKind}]),(TypeClass {name = "PrimitiveDataType", kind = ClassKind},fromList [TypeClass {name = "Classifier", kind = ClassKind}])], abstractClasses = fromList [TypeClass {name = "UMLModelElement", kind = ClassKind}], roles = fromList ["_","attribute","elements","kind","name","namespace","owner","type"], properties = fromList [PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "type", targetType = TypeClass {name = "PrimitiveDataType", kind = ClassKind}},PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}},PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}},PropertyT {sourceRole = "attribute", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "owner", targetType = TypeClass {name = "Class", kind = ClassKind}},PropertyT {sourceRole = "elements", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "namespace", targetType = TypeClass {name = "Package", kind = ClassKind}},PropertyT {sourceRole = "namespace", sourceType = TypeClass {name = "Package", kind = ClassKind}, targetRole = "elements", targetType = TypeClass {name = "Classifier", kind = ClassKind}},PropertyT {sourceRole = "owner", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "attribute", targetType = TypeClass {name = "Attribute", kind = ClassKind}}], instances = fromList [("ID",TypeClass {name = "String", kind = DataTypeKind}),("Package",TypeClass {name = "String", kind = DataTypeKind}),("Persistent",TypeClass {name = "String", kind = DataTypeKind}),("String",TypeClass {name = "String", kind = DataTypeKind}),("_",TypeClass {name = "String", kind = DataTypeKind}),("a",TypeClass {name = "Attribute", kind = ClassKind}),("c",TypeClass {name = "Class", kind = ClassKind}),("p",TypeClass {name = "Package", kind = ClassKind}),("pdt",TypeClass {name = "PrimitiveDataType", kind = ClassKind}),("value",TypeClass {name = "String", kind = DataTypeKind})], links = fromList [LinkT {sourceVar = "a", targetVar = "_", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "a", targetVar = "pdt", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "Attribute", kind = ClassKind}, targetRole = "type", targetType = TypeClass {name = "PrimitiveDataType", kind = ClassKind}}},LinkT {sourceVar = "a", targetVar = "value", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "c", targetVar = "ID", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "c", targetVar = "Persistent", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "c", targetVar = "a", property = PropertyT {sourceRole = "owner", sourceType = TypeClass {name = "Class", kind = ClassKind}, targetRole = "attribute", targetType = TypeClass {name = "Attribute", kind = ClassKind}}},LinkT {sourceVar = "c", targetVar = "p", property = PropertyT {sourceRole = "elements", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "namespace", targetType = TypeClass {name = "Package", kind = ClassKind}}},LinkT {sourceVar = "p", targetVar = "Package", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "p", targetVar = "_", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "pdt", targetVar = "String", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "name", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "pdt", targetVar = "_", property = PropertyT {sourceRole = "_", sourceType = TypeClass {name = "UMLModelElement", kind = ClassKind}, targetRole = "kind", targetType = TypeClass {name = "String", kind = DataTypeKind}}},LinkT {sourceVar = "pdt", targetVar = "p", property = PropertyT {sourceRole = "elements", sourceType = TypeClass {name = "Classifier", kind = ClassKind}, targetRole = "namespace", targetType = TypeClass {name = "Package", kind = ClassKind}}}]}, nonImportedSymbols = fromList []},[SenAttr {senAttr = "", isAxiom = True, isDef = False, wasTheorem = False, simpAnno = Nothing, attrOrigin = Nothing,
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarisentence = Sen {constraint = MultConstr {getType = TypeClass {name = "UMLModelElement", kind = ClassKind}, getRole = "kind"}, cardinality = 1, constraintType = EQUAL}},SenAttr {senAttr = "", isAxiom = True, isDef = False, wasTheorem = False, simpAnno = Nothing, attrOrigin = Nothing,
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarisentence = Sen {constraint = MultConstr {getType = TypeClass {name = "UMLModelElement", kind = ClassKind}, getRole = "name"}, cardinality = 1, constraintType = EQUAL}},SenAttr {senAttr = "", isAxiom = True, isDef = False, wasTheorem = False, simpAnno = Nothing, attrOrigin = Nothing,
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarisentence = Sen {constraint = MultConstr {getType = TypeClass {name = "Classifier", kind = ClassKind}, getRole = "namespace"}, cardinality = 1, constraintType = EQUAL}},SenAttr {senAttr = "", isAxiom = True, isDef = False, wasTheorem = False, simpAnno = Nothing, attrOrigin = Nothing,
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarisentence = Sen {constraint = MultConstr {getType = TypeClass {name = "Attribute", kind = ClassKind}, getRole = "owner"}, cardinality = 1, constraintType = EQUAL}},SenAttr {senAttr = "", isAxiom = True, isDef = False, wasTheorem = False, simpAnno = Nothing, attrOrigin = Nothing,
d3d15411081a9ac4a84d409079153135bb30442aDaniel Calegarisentence = Sen {constraint = MultConstr {getType = TypeClass {name = "Attribute", kind = ClassKind}, getRole = "type"}, cardinality = 1, constraintType = EQUAL}}])}