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
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
| public static void buildModel(int doc, String fileName) throws SQLException, DocExceptions
{
bFirst = true;
int l;
int iIdDoc = (int) doc;
int min;
int max;
int iNum;
int iNBParagraphe = 0;
int iLength = 0;
String LogFile = null;
String[] tabName;
boolean bIsValid = false;
String wsText = "";
Object[] ListSubChain = null;
ArrayList<String> listUniversChaine = null;
String NameOfCurrentSubChain;
ArrayList<ArrayList> pListOfList;
java.util.ArrayList<ElementSemantic> listElementSemantic = null;
listePredicat = new java.util.ArrayList<ElementSemantic>();
listePrecondition = new java.util.ArrayList<ElementSemantic>();
listeUnivers = new java.util.ArrayList<ElementSemantic>();
listeQualificatif = new java.util.ArrayList<ElementSemantic>();
ListOldSujet = new java.util.ArrayList<String>();
ListOldVerb = new java.util.ArrayList<String>();
ListOldComplement = new java.util.ArrayList<String>();
ListOldComment = new java.util.ArrayList<String>();
ListOldObjet = new java.util.ArrayList<Objet>();
ListOldValeur = new java.util.ArrayList<String>();
ListOldParagraph = new java.util.ArrayList<String>();
ListOldy = new java.util.ArrayList<Integer>();
ListElem = new java.util.ArrayList<Element>();
int j = 0;
int i = 0;
{
INVOKE = (IState) new IState();
INVOKE.setName("un");
tabName = new String[10];
tabName = fileName.split("\\\\");
i = 0;
int len = tabName[i].length();
while (len < 10) {
i++;
len = tabName[i].length();
}
fileName = tabName[i];
returnStatus = true;
missionDatabaseManager = new MissionDatabaseManager();
if (InterbaseManager.connection == null)
MissionDatabaseManager.OpenDatabaseCoherence();
if (returnStatus == true)
{
// 1° creer un model vide.
// 2° ouvrir la base de donnée et lire les éléments.
returnStatus = true;
ArrayList<PropositionNormalized> listOfPredicatNormalized;
ArrayList<PropositionNormalized> listOfPreconditionNormalized;
ArrayList<QualificateurNormalized> listOfQualificateurNormalized;
pListOfList = MissionDatabaseManager.ReadSemanticElements( InterbaseManager.connection, iIdDoc);
String OldUnivers = "";
if( returnStatus == true)
{
listePredicat = pListOfList.get(0);
listePrecondition = pListOfList.get(1);
listeQualificatif = pListOfList.get(2);
// 3° en extraire les U1.
iNbPredicat = listePredicat.size();
iNbQualificateurs = listeQualificatif.size();
iNbPrecondition = listePrecondition.size();
// on va maintenat extraire les univers
// dans chaque liste on les recherche et on ellimine les
// doublons
QualificateurNormalized qualificateurNormalized;
Objet obGlobalVariable;
String wsIdentifier;
String wsComment;
Univers univers;
String wsOldUnivers = null;
int Typ;
i = 0;
while (i < iNbQualificateurs)
{
qualificateurNormalized = (QualificateurNormalized) listeQualificatif.get(i);
String wsName = qualificateurNormalized.Identifier;
wsComment = qualificateurNormalized.Comment;
univers = qualificateurNormalized.Univers;
i++;
if( !wsName.equals(wsOldUnivers))
{
boolean b0 = wsName.equals("Filling");
if (!b0) {
listeUnivers.add(wsName);
}
wsOldUnivers = wsName;
}
}
// il faut d'abord exprimer les prédicats sous forme Groupe
// verbal ( sujet, complement)
// attention, là on doit être dans l'itération car on cree
// les globales variables pour chacune
// à ce moment il faut vérifer que les propositions sont
// cohérentes
// avec les qualificateurs qui ont été enregistrés.
// on va aussi passer les qualificateur en objets
i = 0;
Word word;
// il faut à ce niveau déterminer quelle sont les univers
// qui sont des sous -sous chaines et lesquels doivent
// rester au nineau des sous chaines
// cette info est contenue dans les deux premières
// préconditions
// par prudence et par généricité on va scaner toutes les
// préconditions
// en recherchent des préconditions courtes qui comportent
// des nom de sous chaines et en les discriminant
// puis on va écrire dans listUniversChain les éléments qui
// sont trouvé et dans la liste des sous chaine et dans
// l'introduction
// puis on va écrire dans listUniversChain les éléments qui
// sont trouvé et dans la liste des sous chaine et pas dans
// la liste des sous-sous chaine
// on a marqué les préconditions, il faut marquer les
// predicats liés
// on vérifie à ce niveau que le contenue des listes est
// consistent
Objet NewObject;
listObjectsNormalized = new ArrayList<Objet>();
ArrayList<Objet> listeObjectsNormalized = ParseObjects();
i = 0;
while (i < iSize) {
NewObject = (Objet) listeObjectsNormalized.get(i);
wsComment = NewObject.Text;
wsIdentifier = NewObject.Name;
ArrayList<String> Test = NewObject.Enumerated;
min = NewObject.min;
max = NewObject.max;
Typ = NewObject.type;
iNum = NewObject.nValue;
i++;
}
idSubMax = 0;
// on cree le model abstrait en terme de noeud et d'éléments
// 4° initier le model avec un état conf et autant d'etats
// operationel qu'il y a d'U1.
// 5° creer les sous chaine pour chacun de ces états.
// 6° remplir le model pêre.
// et on passe aux nouveaux états
iNBParagraphe = MissionDatabaseManager.getNbParagraph(iIdDoc);
// à ce stade on normalise les préconditions et on les
// introduit dans les variables globales
IProject project = ProjectsManager.getInstance().getActiveProject();
chain = project.getChains().get(0);
chain.setName(fileName);
IDiagramFactory diagramFactory = IDiagramFactory.eINSTANCE;
IDiagram diagram = chain.getDiagram();
diagram.getTransitions().clear();
listUniversChaine = listeUnivers;
listeUniversNormalized = BuildMainModel(diagram, listUniversChaine);
// A la fin de traietemnt, on sauvegarde les modifications
ResourceUtils.saveResource(ResourceManager.getInstance().getResourceProject(), false);
ResourceUtils.saveResource(chain.getDiagramResource(), false);
UiUtils.openEditor(ResourceManager.getInstance().getFullPath(chain), true);
// 7° remplir les models filles
// on prend le dernier identifiant de sous chaine
boolean bIsTrue = false;
// on relève le nombre de sous chaines
idSubMin = 0;
String OldNameOfSubChain = "";
iNbUnivers = listUniversChaine.size();
EList<IChain> ListOfCurrentSubChain = project.getChains();
while (idSubMin < iNbUnivers) {
// c'est ici qu'il faut ouvrir la subchain pour la
// remplir
NameOfCurrentSubChain = "";
NameOfCurrentSubChain = (String) listUniversChaine
.get(idSubMin);
if (!OldNameOfSubChain.equals(NameOfCurrentSubChain)) {
IMacroState macroState = null;
for (IMacroState state : diagram.getStates()) {
if (state.getName().equals(
NameOfCurrentSubChain)) {
macroState = state;
break;
}
}
listUniversSousChaine = new ArrayList<String>();
IChain chain = IProjectFactory.eINSTANCE.createChain();
chain.setName(NameOfCurrentSubChain);
project.getChains().add(chain);
diagram = chain.getDiagram();
if (macroState != null)
{
macroState.setChain(chain);
}
diagram.getTransitions().clear();
BuildCurrentSubChain( diagram, listUniversSousChaine, listePrecondition, listePredicatNormalized, NameOfCurrentSubChain, iIdDoc, idSubMin, iNBParagraphe, iNbPredicat, iNbPrecondition);
OldNameOfSubChain = NameOfCurrentSubChain;
NextPrecondition = null;
RAZReferenceInlist();
}
idSubMin++;
} // End while next chain
Objet stateOK;
Objet stateNOK;
i = 0;
iLength = listUniversSousChaine.size();
while (i < iLength) {
String racine = listUniversSousChaine.get(i);
len = racine.length();
String OK = racine + "_OK";
NameOfCurrentSubChain = "";
String NameOfCurrentSubChain1 = OK;
j = 0;
do {
NameOfCurrentSubChain = ListOfCurrentSubChain.get(j).getName();
j++;
} while (!NameOfCurrentSubChain.equals(NameOfCurrentSubChain1));
if (!OldNameOfSubChain.equals(NameOfCurrentSubChain)) {
// pour avoir le diagram d'une chaine
diagram = ListOfCurrentSubChain.get(0).getDiagram();
BuildModelOK(iNBParagraphe, iIdDoc, idSubMin,
racine);
RAZReferenceInlist();
}
idSubMin++;
String NOK = racine + "_NOK";
NameOfCurrentSubChain1 = NOK;
j = 0;
do {
NameOfCurrentSubChain = ListOfCurrentSubChain
.get(j).getName();
j++;
} while (!NameOfCurrentSubChain
.equals(NameOfCurrentSubChain1));
if (!OldNameOfSubChain.equals(NameOfCurrentSubChain)) {
BuildModelNOK(iNBParagraphe, iIdDoc, idSubMin,
racine);
RAZReferenceInlist();
}
idSubMin++;
i++;
}
}
}
}
}
} |
