-
Notifications
You must be signed in to change notification settings - Fork 0
/
Main.py
223 lines (191 loc) · 13.3 KB
/
Main.py
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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
from PyQt5.QtWidgets import *
from PyQt5.QtGui import *
from xml.dom import minidom
from os import environ
from nlp.GUI import Ui_MainWindow
from treetaggerwrapper import TreeTagger
excep = ["integer", "string", "boolean","real","classe"]
# put TreeTagger in C:
environ['TREETAGGER'] = "C:/TreeTagger/TreeTagger"
tagger = TreeTagger(TAGLANG='fr')
integer = "http://argouml.org/profiles/uml14/default-uml14.xmi#-84-17--56-5-43645a83:11466542d86:-8000:000000000000087C"
real = "http://argouml.org/profiles/uml14/default-uml14.xmi#-84-17--56-5-43645a83:11466542d86:-8000:000000000000087D"
string = "http://argouml.org/profiles/uml14/default-uml14.xmi#-84-17--56-5-43645a83:11466542d86:-8000:000000000000087E"
boolean = "http://argouml.org/profiles/uml14/default-uml14.xmi#-84-17--56-5-43645a83:11466542d86:-8000:0000000000000880"
#colors
inv_color = "#cc7832"
context_color = "#cc7832"
type_color = "#0080ff"
val_color = "#164412"
num_color = ""
class_color = "#a05050"
def colored(text,color="#cc7832",style=""):
return "<span style=\"color: {};white-space:pre;{}\">{}</span>".format(color,style, text)
def getTagInfo(text):
result = []
for tag in tagger.tag_text(text):
dict = {}
tag = tag.split("\t")
dict["word"] = tag[0].lower()
dict["post"] = tag[1]
dict["lemma"] = tag[2].lower()
result.append(dict)
return result
def getTagLemma(text):
result= []
for tag in tagger.tag_text(text):
result.append(tag.split("\t")[2].lower())
return result
def getTagWord(text):
result= []
for tag in tagger.tag_text(text):
result.append(tag.split("\t")[0].lower())
return result
def getTagPost(text):
result= []
for tag in tagger.tag_text(text):
result.append(tag.split("\t")[1])
return result
def getEqual(text,dictionnaire):
result = " "
for key in dictionnaire:
for word in text.split(" "):
if word in dictionnaire[key]:
result += key
return result.replace("<","<")
def getContrainte(path):
xmldoc = minidom.parse(path)
resultat = []
for element in xmldoc.getElementsByTagName("UML:Class"):
for a in element.getElementsByTagName("UML:Attribute"):
for i in a.getElementsByTagName("UML:Enumeration"):
if i.getAttribute('href')==boolean:
type = "boolean"
resultat.append("<br/>"+colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'), class_color)+ colored(" inv : ",inv_color,"font-weight: bold;") + a.getAttribute('name') + ' = '+colored("\"True\"",val_color) + " or " + a.getAttribute('name') + ' = '+colored("\"False\"",val_color) +'<br/>'+colored(" inv : ",inv_color,"font-weight: bold;") + a.getAttribute('name') + ".oclIsTypeOf( "+colored(type,type_color)+" ) <br/>")
for i in a.getElementsByTagName("UML:DataType"):
if i.getAttribute('href') == integer:
type = "int"
resultat.append(colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") + a.getAttribute('name') + " >= 0" + " and " + a.getAttribute('name') + " <= 2147483647" "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;")+ a.getAttribute('name') + ".oclIsTypeOf("+ colored(type,type_color) + ") <br/>")
elif i.getAttribute('href') == real:
type = "real"
resultat.append("<br/>"+colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + " >= 0" + " and " + a.getAttribute('name') + " <= 2147483647 <br/>"+ colored(" inv : ",inv_color,"font-weight: bold;")+ a.getAttribute('name') + ".oclIsTypeOf("+colored(type,type_color)+") <br/>")
elif i.getAttribute('href')==boolean:
type = "boolean"
resultat.append("<br/>"+colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") + a.getAttribute('name') + "= "+colored("\"True\"",val_color) +"<br/>"+ " or" + a.getAttribute('name') + "= "+colored("\"True\"",val_color) +"<br/>")
resultat.append("<br/>"+colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + ".oclIsTypeOf("+colored(type,type_color)+") <br/>")
elif i.getAttribute("href")== string:
type= "String"
resultat.append("<br/>"+colored("Context : ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + ".oclIsTypeOf("+ colored(type,type_color) +")<br/>")
return resultat
def readDatFile(file):
with open(file,encoding='UTF-8') as f:
result = {}
lines = f.read().split('\n')
for line_num in range(0,len(lines)-1,2):
result[lines[line_num]] = [i for i in lines[line_num+1].split('|') if i != '']
return result
def Generator(path,text,dictionnaire):
dictionnaire = readDatFile(dictionnaire)
result=[]
xmldoc = minidom.parse(path)
for element in xmldoc.getElementsByTagName("UML:Class"):
if element.getAttribute("name").lower() not in getTagLemma(text):
continue
for a in element.getElementsByTagName("UML:Attribute"):
if a.getAttribute("name").lower() not in getTagLemma(text):
continue
type = a.getElementsByTagName("UML:DataType")[0] if a.getElementsByTagName("UML:DataType") else a.getElementsByTagName("UML:Enumeration")[0]
if type.getAttribute('href') == integer:
type = "int"
elif type.getAttribute('href') == string:
type = "String"
elif type.getAttribute('href') == real:
type = "real"
elif type.getAttribute('href') == boolean:
type = "boolean"
if getEqual(text,dictionnaire) == '=': #si dans la phrase il existe une égalité
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name')+ ' = '+colored("\"True\"",val_color) +"<br/>")
else : # si dans la phrase il existe une innégalité
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + ' = '+colored("\"False\"",val_color) +"<br/>")
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") + a.getAttribute('name') + ".oclIsTypeOf( "+colored(type,type_color)+" )<br/>")
for word in getTagInfo(text):
if 'NUM' in word["post"]:
if getEqual(word["word"],dictionnaire):
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name')+" "+getEqual(text,dictionnaire)+ "<br/>")
else:
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color) + "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name')+" "+getEqual(text,dictionnaire)+word["word"]+ "<br/>")
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + ".oclIsTypeOf ("+colored(type,type_color)+")<br/>")
continue
elif word["post"]=='NAM':
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name')+" "+getEqual(text,dictionnaire)+'"'+ str(word["word"]).capitalize()+ '"' +"<br/>")
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') +".oclIsTypeOf ("+colored(type,type_color)+") <br/>")
continue
elif word["lemma"] == 'nul':
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name')+""+getEqual(text,dictionnaire)+"<br/>")
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +a.getAttribute('name') + ".oclIsTypeOf ("+colored(colored(type,type_color),type_color)+")<br/>")
continue
if "majeur" in getTagLemma(text):
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ") +" âge >= 18<br/>")
continue
if "mineur" in getTagLemma(text):
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ") +" âge < 18<br/>")
continue
if len(result) == 0:
return "Veuillez reformuler votre phrase !"
return result
def getContext(path, excep=[]):
result =[]
xmldoc = minidom.parse(path)
for element in xmldoc.getElementsByTagName("UML:Class"):
if element.getAttribute('name') == '' or element.getAttribute('name') in excep:
continue
result.append("<br/>"+colored("Context ",context_color,"font-weight: bold;")+colored(element.getAttribute('name'),class_color)+ "<br/>"+colored(" inv : ",inv_color,"font-weight: bold;") +" <br/>" )
return result
class GenApp(QMainWindow , Ui_MainWindow):
def __init__(self, parent=None):
super(GenApp,self).__init__(parent)
QMainWindow.__init__(self)
self.setupUi(self)
self.handle_UI()
self.handle_Boutons()
def handle_Boutons(self):
self.parcourir.clicked.connect(self.Bparcourir)
self.contraintes.clicked.connect(self.constraints)
self.pushButton.clicked.connect(self.Bcontrainte)
self.context.clicked.connect(self.Bcontext)
self.context.setEnabled(False)
def handle_UI(self):
self.setWindowTitle('FRàOCL')
self.setFixedSize(823 , 553)
def Bparcourir(self):
fichier = QFileDialog.getOpenFileUrl(self, caption= 'Choisir un Fichier', directory='.', filter= 'Tous les fichiers(*.xmi)')
text = str(fichier)
fr=((text.split(',')[0].replace("(PyQt5.QtCore.QUrl('file:///",'')).strip("')"))
self.textEdit_3.setText(fr)
if str(self.textEdit_3)== "":
self.context.setEnabled(False)
else:
self.context.setEnabled(True)
def Bcontrainte(self):
string = self.textEdit_3.toPlainText()
resultat = Generator(string,self.NL.toPlainText(),'src/Dictionnaire_fr.txt')
if isinstance(resultat,str) :
resultat = colored(resultat,"red")
bff = "".join(resultat)
self.OCL.setText(bff)
def Bcontext(self):
string2 = self.textEdit_3.toPlainText()
res = getContext(string2,excep)
bff = "".join(res)
self.OCL.setText(bff)
def constraints(self):
string = self.textEdit_3.toPlainText()
resultat = getContrainte(string)
bff = "".join(resultat)
self.OCL.setText(bff)
if __name__ == '__main__':
from sys import argv
app = QApplication(argv)
window = GenApp()
window.show()
app.exec_()