Newer
Older
/**Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
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
*
* ludovic.apvrille AT enst.fr
*
* This software is a computer program whose purpose is to allow the
* edition of TURTLE analysis, design and deployment diagrams, to
* allow the generation of RT-LOTOS or Java code from this diagram,
* and at last to allow the analysis of formal validation traces
* obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
* from INRIA Rhone-Alpes.
*
* This software is governed by the CeCILL license under French law and
* abiding by the rules of distribution of free software. You can use,
* modify and/ or redistribute the software under the terms of the CeCILL
* license as circulated by CEA, CNRS and INRIA at the following URL
* "http://www.cecill.info".
*
* As a counterpart to the access to the source code and rights to copy,
* modify and redistribute granted by the license, users are provided only
* with a limited warranty and the software's author, the holder of the
* economic rights, and the successive licensors have only limited
* liability.
*
* In this respect, the user's attention is drawn to the risks associated
* with loading, using, modifying and/or developing or reproducing the
* software by the user in light of its specific status of free software,
* that may mean that it is complicated to manipulate, and that also
* therefore means that it is reserved for developers and experienced
* professionals having in-depth computer knowledge. Users are therefore
* encouraged to load and test the software's suitability as regards their
* requirements in conditions enabling the security of their systems and/or
* data to be ensured and, more generally, to use and operate it in the
* same conditions as regards security.
*
* The fact that you are presently reading this means that you have had
* knowledge of the CeCILL license and that you accept its terms.
*
* /**
* Class ConfigurationTTool
* Creation: 21/12/2003
* Version 1.0
* @author Ludovic APVRILLE
* @see
*/
package ui;
//import java.awt.*;
import java.io.*;
import org.w3c.dom.*;
//import org.xml.sax.*;
import javax.xml.parsers.*;
import myutil.*;
/**
* Class
*
* @author Ludovic APVRILLE
* @see
*/
public static String LauncherPort = "";
public static String RTLHost = "";
public static String RTLPath = "";
public static String DTA2DOTPath = "";
public static String RGSTRAPPath = "";
public static String RG2TLSAPath = "";
public static String AldebaranHost = "";
public static String AldebaranPath = "";
public static String BcgioPath = ""; // Same host as aldebaran
public static String BisimulatorPath = "";
public static String BcgminPath = ""; // Same host as aldebaran
public static String BcgmergePath = ""; // Same host as aldebaran
public static String CaesarPath = ""; // Same host as aldebaran
public static String CaesarOpenPath = ""; // Same host as aldebaran
public static String DOTTYHost = "";
public static String DOTTYPath = "";
public static String FILEPath = "";
public static String LOTOSPath = "";
public static String LIBPath = "";
public static String IMGPath = "";
public static String GGraphPath = "";
public static String TGraphPath = "";
public static String TToolUpdateURL = "";
public static String TToolUpdateProxy = "";
public static String TToolUpdateProxyPort = "";
public static String TToolUpdateProxyHost = "";
public static String JavaCodeDirectory = "";
public static String JavaCompilerPath = "";
public static String TToolClassPath = "";
public static String SimuJavaCodeDirectory = "";
public static String TToolSimuClassPath = "";
public static String JavaExecutePath = "";
public static String NCDirectory = "";
public static String SystemCCodeDirectory = "";
public static String TMLCodeDirectory = "";
public static String SystemCCodeCompileCommand = "";
public static String SystemCCodeExecuteCommand = "";
public static String SystemCCodeInteractiveExecuteCommand = "";
public static String SystemCHost = "";
public static String GTKWavePath = "";
public static String UPPAALCodeDirectory = "";
public static String UPPAALVerifierPath = "";
public static String UPPAALVerifierHost = "";
public static String ProVerifCodeDirectory = "";
public static String ProVerifVerifierPath = "";
public static String ProVerifVerifierHost = "";
public static String ExternalCommand1Host = "";
public static String ExternalCommand2Host = "";
public static String ExternalCommand1 = "";
public static String ExternalCommand2 = "";
// AVATAR Simulation
public static String AVATARSimulationHost = "";
public static String AVATARCPPSIMCodeDirectory = "";
public static String AVATARCPPSIMCompileCommand = "";
public static String AVATARCPPSIMCodeExecuteCommand = "";
public static String AVATARCPPSIMInteractiveExecuteCommand = "";
// AVATAR Code generation
public static String AVATARExecutableCodeDirectory = "";
public static String AVATARMPSoCCodeDirectory = "";
public static String AVATARMPSoCCompileCommand = "";
public static String AVATARExecutableCodeHost = "";
public static String AVATARExecutableCodeCompileCommand = "";
public static String AVATARExecutableCodeExecuteCommand = "";
public static String AVATARExecutableSoclibCodeCompileCommand = "";
public static String AVATARExecutableSoclibCodeExecuteCommand = "";
public static String AVATARExecutableSoclibCodeTraceCommand = "";
public static String AVATARExecutableSoclibTraceFile = "";
// Ontology
public static String RequirementOntologyWebsite = "";
public static String AttackOntologyWebsite = "";
public static String LastOpenFile = "";
public static boolean LastOpenFileDefined = false;
public static String LastWindowAttributesX="", LastWindowAttributesY= "";
public static String LastWindowAttributesWidth="", LastWindowAttributesHeight= "";
public static String LastWindowAttributesMax="";
public static String fileName = "";
public static String ExternalServer="";
//System.out.println(Paths.get("").toAbsolutePath().toString());
//System.out.println("User.dir path:" + System.getProperty("user.dir"));
//Path currentRelativePath = Paths.get("");
//String s = currentRelativePath.toAbsolutePath().toString();
//String s = System.getProperty("user.dir");
//IMGPath = s;
}
public static void loadConfiguration(String _fileName, boolean systemcOn) throws MalformedConfigurationException {
fileName = _fileName;
if (!FileUtils.checkFileForOpen(f)) {
throw new MalformedConfigurationException("Filepb");
}
String data = FileUtils.loadFileData(f);
if (data == null) {
throw new MalformedConfigurationException("Filepb");
}
loadConfigurationFromXML(data, systemcOn);
}
public static void saveConfiguration() throws MalformedConfigurationException {
int index0, index1, index2, index3;
if (!FileUtils.checkFileForOpen(f)) {
throw new MalformedConfigurationException("Filepb");
}
String data = FileUtils.loadFileData(f);
if (data == null) {
throw new MalformedConfigurationException("Filepb");
}
index0 = data.indexOf("LastOpenFile");
Ludovic Apvrille
committed
//sb.append("data = " + data + " ConfigurationTTool.LastOpenFile=" + ConfigurationTTool.LastOpenFile);
if (index0 > -1) {
index1 = data.indexOf('"', index0);
if (index1 > -1) {
index2 = data.indexOf('"', index1 + 1);
if (index2 > -1) {
tmp = data.substring(index2, data.length());
data = data.substring(0, index1+1) + ConfigurationTTool.LastOpenFile+ tmp;
//sb.append("data = " + data);
write = true;
/*try {
FileOutputStream fos = new FileOutputStream(f);
fos.write(data.getBytes());
fos.close();
} catch (Exception e) {
throw new MalformedConfigurationException("Saving file failed");
}*/
//---------------------------------------------
index0 = data.indexOf("ExternalServer");
//sb.append("data = " + data + " ConfigurationTTool.LastOpenFile=" + ConfigurationTTool.LastOpenFile);
if (index0 > -1) {
index1 = data.indexOf('"', index0);
if (index1 > -1) {
index2 = data.indexOf('"', index1 + 1);
if (index2 > -1) {
tmp = data.substring(index2, data.length());
data = data.substring(0, index1+1) + ConfigurationTTool.ExternalServer+ tmp;
//sb.append("data = " + data);
write = true;
/*try {
FileOutputStream fos = new FileOutputStream(f);
fos.write(data.getBytes());
fos.close();
} catch (Exception e) {
throw new MalformedConfigurationException("Saving file failed");
}*/
}
}
}
//--------------------------
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
index0 = data.indexOf("LastWindowAttributes");
if (index0 > -1) {
tmp1 = data.substring(0, index0+20);
tmp2 = data.substring(index0+20, data.length());
index1 = tmp2.indexOf("/>");
if (index1 > -1) {
tmp2 = tmp2.substring(index1, tmp2.length());
location = " x=\"" + LastWindowAttributesX;
location += "\" y=\"" + LastWindowAttributesY;
location += "\" width=\"" + LastWindowAttributesWidth;
location += "\" height=\"" + LastWindowAttributesHeight;
location += "\" max=\"" + LastWindowAttributesMax + "\" ";
data = tmp1 + location + tmp2;
write = true;
}
} else {
index1= data.indexOf("</TURTLECONFIGURATION>");
if (index1 > -1) {
location = "<LastWindowAttributes x=\"" + LastWindowAttributesX;
location += "\" y=\"" + LastWindowAttributesY;
location += "\" width=\"" + LastWindowAttributesWidth;
location += "\" height=\"" + LastWindowAttributesHeight;
location += "\" max=\"" + LastWindowAttributesMax + "\"/>\n\n";
data = data.substring(0, index1) + location + data.substring(index1, data.length());
write = true;
}
}
index0 = data.indexOf("ProVerifHash");
if (index0 > -1) {
index1 = data.indexOf('"', index0);
if (index1 > -1) {
index2 = data.indexOf('"', index1 + 1);
if (index2 > -1) {
tmp = data.substring(index2, data.length());
data = data.substring(0, index1+1) + ConfigurationTTool.ProVerifHash + tmp;
write = true;
}
}
}
else {
index1= data.indexOf("</TURTLECONFIGURATION>");
if (index1 > -1) {
location = "<ProVerifHash data=\"" + ConfigurationTTool.ProVerifHash + "\"/>\n\n";
data = data.substring(0, index1) + location + data.substring(index1, data.length());
write = true;
}
}
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
if (write) {
//sb.append("Writing data=" + data);
try {
FileOutputStream fos = new FileOutputStream(f);
fos.write(data.getBytes());
fos.close();
} catch (Exception e) {
throw new MalformedConfigurationException("Saving file failed");
}
} else {
TraceManager.addError("Configuration could not be saved");
}
}
public static boolean configSizeAvailable() {
if (LastWindowAttributesX.length() == 0) {
return false;
}
if (LastWindowAttributesY.length() == 0) {
return false;
}
if (LastWindowAttributesWidth.length() == 0) {
return false;
}
if (LastWindowAttributesHeight.length() == 0) {
return false;
}
return true;
}
public static void printConfiguration(boolean systemcOn) {
System.out.println(getConfiguration(systemcOn));
}
Ludovic Apvrille
committed
public static String getConfiguration(boolean systemcOn) {
StringBuffer sb = new StringBuffer("");
sb.append("Launcher:\n");
sb.append("LauncherPort: " + LauncherPort + "\n");
// Formal verification
sb.append("RTL:\n");
Ludovic Apvrille
committed
sb.append("RTLHost: " + RTLHost + "\n");
sb.append("RTLPath: " + RTLPath + "\n");
sb.append("DTA2DOTPath: " + DTA2DOTPath + "\n");
sb.append("RG2TLSAPath: " + RG2TLSAPath + "\n");
sb.append("RGSTRAPPath: " + RGSTRAPPath + "\n");
Ludovic Apvrille
committed
sb.append("AldebaranHost: " + AldebaranHost + "\n");
sb.append("AldebaranPath: " + AldebaranPath + "\n");
sb.append("BcgioPath: " + BcgioPath + "\n" );
sb.append("BcgminPath: " + BcgminPath + "\n" );
sb.append("BisimulatorPath: " + BisimulatorPath + "\n" );
Ludovic Apvrille
committed
sb.append("BcgmergePath: " + BcgmergePath + "\n");
sb.append("CaesarPath: " + CaesarPath + "\n");
sb.append("CaesarOpenPath: " + CaesarOpenPath + "\n");
Ludovic Apvrille
committed
sb.append("DOTTYHost: " + DOTTYHost + "\n");
sb.append("DOTTYPath: " + DOTTYPath + "\n");
// UPPAAL
sb.append("\nUPPAAL:\n");
Ludovic Apvrille
committed
sb.append("UPPAALCodeDirectory: " + UPPAALCodeDirectory + "\n");
sb.append("UPPAALVerifierPATH: " + UPPAALVerifierPath + "\n");
sb.append("AVATARCPPSIMCompileCommand: " + AVATARCPPSIMCompileCommand + "\n");
sb.append("AVATARCPPSIMCodeExecuteCommand: " + AVATARCPPSIMCodeExecuteCommand + "\n");
sb.append("AVATARCPPSIMInteractiveExecuteCommand: " + AVATARCPPSIMInteractiveExecuteCommand + "\n");
// AVATAR: simulation
sb.append("\nAVATAR (simulation):\n");
Ludovic Apvrille
committed
sb.append("AVATARSimulationHost: " + AVATARSimulationHost + "\n");
sb.append("AVATARCPPSIMCodeDirectory: " + AVATARCPPSIMCodeDirectory + "\n");
sb.append("UPPAALVerifierHOST: " + UPPAALVerifierHost + "\n");
// AVATAR: executable code
sb.append("\nAVATAR (executable code):\n");
sb.append("AVATARExecutableCodeDirectory: " + AVATARExecutableCodeDirectory + "\n");
sb.append("AVATARMPSoCCodeDirectory: " + AVATARMPSoCCodeDirectory + "\n");
sb.append("AVATARMPSoCCompileCommand: " + AVATARMPSoCCompileCommand + "\n");
sb.append("AVATARExecutableCodeHost: " + AVATARExecutableCodeHost + "\n");
sb.append("AVATARExecutableCodeCompileCommand: " + AVATARExecutableCodeCompileCommand + "\n");
sb.append("AVATARExecutableCodeExecuteCommand: " + AVATARExecutableCodeExecuteCommand + "\n");
sb.append("AVATARExecutableSocLibCodeCompileCommand: " + AVATARExecutableSoclibCodeCompileCommand + "\n");
sb.append("AVATARExecutableSocLibCodeExecuteCommand: " + AVATARExecutableSoclibCodeExecuteCommand + "\n");
sb.append("AVATARExecutableSocLibCodeTraceCommand: " + AVATARExecutableSoclibCodeTraceCommand + "\n");
sb.append("AVATARExecutableSocLibCodeTraceFile: " + AVATARExecutableSoclibTraceFile + "\n");
sb.append("\nProVerif:\n");
sb.append("ProVerifCodeDirectory: " + ProVerifCodeDirectory + "\n");
sb.append("ProVerifVerifierPATH: " + ProVerifVerifierPath + "\n");
sb.append("ProVerifVerifierHOST: " + ProVerifVerifierHost + "\n");
sb.append("\nYour files (modeling, librairies, etc.):\n");
Ludovic Apvrille
committed
sb.append("FILEPath: " + FILEPath + "\n");
sb.append("LOTOSPath: " + LOTOSPath + "\n");
sb.append("LIBPath: " + LIBPath + "\n");
sb.append("IMGPath: " + IMGPath + "\n");
sb.append("GGraphPath: " + GGraphPath + "\n");
sb.append("TGraphPath: " + TGraphPath + "\n");
Ludovic Apvrille
committed
sb.append("TToolUpdateURL: " + TToolUpdateURL + "\n");
sb.append("TToolUpdateProxy: " + TToolUpdateProxy + "\n");
sb.append("TToolUpdateProxyPort: " + TToolUpdateProxyPort + "\n");
sb.append("TToolUpdateProxyHost: " + TToolUpdateProxyHost + "\n");
Ludovic Apvrille
committed
sb.append("JavaCodeDirectory: " + JavaCodeDirectory + "\n");
sb.append("JavaHeader: " + JavaHeader + "\n");
Ludovic Apvrille
committed
sb.append("JavaCompilerPath: " + JavaCompilerPath + "\n");
sb.append("TToolClassPath: " + TToolClassPath + "\n");
sb.append("JavaExecutePath: " + JavaExecutePath + "\n");
sb.append("SimuJavaCodeDirectory: " + SimuJavaCodeDirectory + "\n");
sb.append("TToolSimuClassPath: " + TToolSimuClassPath + "\n");
Ludovic Apvrille
committed
sb.append("SystemCCodeDirectory: " + SystemCCodeDirectory + "\n");
sb.append("SystemCHost: " + SystemCHost + "\n");
sb.append("SystemCCodeCompileCommand: " + SystemCCodeCompileCommand + "\n");
sb.append("SystemCCodeExecuteCommand: " + SystemCCodeExecuteCommand + "\n");
sb.append("SystemCCodeInteractiveExecuteCommand: " + SystemCCodeInteractiveExecuteCommand + "\n");
Ludovic Apvrille
committed
sb.append("GTKWavePath: " + GTKWavePath + "\n");
// TML
sb.append("TMLCodeDirectory: " + TMLCodeDirectory + "\n");
//Application C code
sb.append("CCodeDirectory: " + CCodeDirectory + "\n");
// VCD
sb.append("VCDPath: " + VCDPath + "\n");
// NC
sb.append("\nNetwork calculus:\n");
sb.append("NCDirectory: " + NCDirectory + "\n");
// Ontology
sb.append("\nOntologies:\n");
sb.append("Requirement ontology website: " + RequirementOntologyWebsite + "\n");
sb.append("Attack ontology website: " + AttackOntologyWebsite + "\n");
sb.append("\nCustom external commands:\n");
sb.append("ExternalCommand1Host: " + ExternalCommand1Host + "\n");
sb.append("ExternalCommand1: " + ExternalCommand1 + "\n");
sb.append("ExternalCommand2Host: " + ExternalCommand2Host + "\n");
sb.append("ExternalCommand2: " + ExternalCommand2 + "\n");
Ludovic Apvrille
committed
sb.append("\nInformation saved by TTool:\n");
sb.append("LastOpenFile: " + LastOpenFile + "\n");
sb.append("LastWindowAttributesX: " + LastWindowAttributesX + "\n");
sb.append("LastWindowAttributesY: " + LastWindowAttributesY + "\n");
sb.append("LastWindowAttributesWidth: " + LastWindowAttributesWidth + "\n");
sb.append("LastWindowAttributesHeight: " + LastWindowAttributesHeight + "\n");
sb.append("LastWindowAttributesMax: " + LastWindowAttributesMax + "\n");
//Huy Truong
sb.append("ExternalServer " + ExternalServer + "\n");
return sb.toString();
}
public static void loadConfigurationFromXML(String data, boolean systemcOn) throws MalformedConfigurationException {
try {
ByteArrayInputStream bais = new ByteArrayInputStream(data.getBytes());
DocumentBuilderFactory dbf = DocumentBuilderFactory.newInstance();
DocumentBuilder db = dbf.newDocumentBuilder();;
// building nodes from xml String
Document doc = db.parse(bais);
NodeList nl;
nl = doc.getElementsByTagName("LauncherPort");
if (nl.getLength() > 0)
LauncherPort(nl);
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
nl = doc.getElementsByTagName("RTLHost");
if (nl.getLength() > 0)
RTLHOST(nl);
nl = doc.getElementsByTagName("RTLPath");
if (nl.getLength() > 0)
RTLPath(nl);
nl = doc.getElementsByTagName("DTA2DOTPath");
if (nl.getLength() > 0)
DTA2DOTPath(nl);
nl = doc.getElementsByTagName("RG2TLSAPath");
if (nl.getLength() > 0)
RG2TLSAPath(nl);
nl = doc.getElementsByTagName("RGSTRAPPath");
if (nl.getLength() > 0)
RGSTRAPPath(nl);
nl = doc.getElementsByTagName("AldebaranPath");
if (nl.getLength() > 0)
AldebaranPath(nl);
nl = doc.getElementsByTagName("AldebaranHost");
if (nl.getLength() > 0)
AldebaranHost(nl);
nl = doc.getElementsByTagName("BcgioPath");
if (nl.getLength() > 0)
BcgioPath(nl);
nl = doc.getElementsByTagName("BcgmergePath");
if (nl.getLength() > 0)
BcgmergePath(nl);
nl = doc.getElementsByTagName("BcgminPath");
if (nl.getLength() > 0)
BcgminPath(nl);
nl = doc.getElementsByTagName("BisimulatorPath");
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
if (nl.getLength() > 0)
BisimulatorPath(nl);
nl = doc.getElementsByTagName("CaesarPath");
if (nl.getLength() > 0)
CaesarPath(nl);
nl = doc.getElementsByTagName("CaesarOpenPath");
if (nl.getLength() > 0)
CaesarOpenPath(nl);
nl = doc.getElementsByTagName("DOTTYHost");
if (nl.getLength() > 0)
DOTTYHost(nl);
nl = doc.getElementsByTagName("DOTTYPath");
if (nl.getLength() > 0)
DOTTYPath(nl);
nl = doc.getElementsByTagName("FILEPath");
if (nl.getLength() > 0)
FILEPath(nl);
nl = doc.getElementsByTagName("LOTOSPath");
if (nl.getLength() > 0)
LOTOSPath(nl);
nl = doc.getElementsByTagName("LIBPath");
if (nl.getLength() > 0)
LIBPath(nl);
nl = doc.getElementsByTagName("IMGPath");
if (nl.getLength() > 0)
IMGPath(nl);
nl = doc.getElementsByTagName("GGraphPath");
if (nl.getLength() > 0)
GGraphPath(nl);
nl = doc.getElementsByTagName("TGraphPath");
if (nl.getLength() > 0)
TGraphPath(nl);
nl = doc.getElementsByTagName("TToolUpdateURL");
if (nl.getLength() > 0)
TToolUpdateURL(nl);
nl = doc.getElementsByTagName("TToolUpdateProxy");
if (nl.getLength() > 0)
TToolUpdateProxy(nl);
nl = doc.getElementsByTagName("TToolUpdateProxyPort");
if (nl.getLength() > 0)
TToolUpdateProxyPort(nl);
nl = doc.getElementsByTagName("TToolUpdateProxyHost");
if (nl.getLength() > 0)
TToolUpdateProxyHost(nl);
nl = doc.getElementsByTagName("JavaCodeDirectory");
if (nl.getLength() > 0)
JavaCodeDirectory(nl);
nl = doc.getElementsByTagName("JavaHeader");
if (nl.getLength() > 0)
JavaHeader(nl);
nl = doc.getElementsByTagName("JavaCompilerPath");
if (nl.getLength() > 0)
JavaCompilerPath(nl);
nl = doc.getElementsByTagName("TToolClassPath");
if (nl.getLength() > 0)
TToolClassPath(nl);
nl = doc.getElementsByTagName("SimuJavaCodeDirectory");
if (nl.getLength() > 0)
SimuJavaCodeDirectory(nl);
nl = doc.getElementsByTagName("TToolSimuClassPath");
if (nl.getLength() > 0)
TToolSimuClassPath(nl);
nl = doc.getElementsByTagName("JavaExecutePath");
if (nl.getLength() > 0)
JavaExecutePath(nl);
nl = doc.getElementsByTagName("NCDirectory");
nl = doc.getElementsByTagName("SystemCCodeDirectory");
if (nl.getLength() > 0)
SystemCCodeDirectory(nl);
// AVATAR Simulation
nl = doc.getElementsByTagName("AVATARSimulationHost");
Ludovic Apvrille
committed
if (nl.getLength() > 0)
AVATARSimulationHost(nl);
nl = doc.getElementsByTagName("AVATARCPPSIMCodeDirectory");
Ludovic Apvrille
committed
if (nl.getLength() > 0)
AVATARCPPSIMCodeDirectory(nl);
nl = doc.getElementsByTagName("AVATARCPPSIMCompileCommand");
Ludovic Apvrille
committed
if (nl.getLength() > 0)
AVATARCPPSIMCompileCommand(nl);
nl = doc.getElementsByTagName("AVATARCPPSIMCodeExecuteCommand");
Ludovic Apvrille
committed
if (nl.getLength() > 0)
AVATARCPPSIMCodeExecuteCommand(nl);
nl = doc.getElementsByTagName("AVATARCPPSIMInteractiveExecuteCommand");
Ludovic Apvrille
committed
if (nl.getLength() > 0)
AVATARCPPSIMInteractiveExecuteCommand(nl);
// AVATAR Executable code
nl = doc.getElementsByTagName("AVATARExecutableCodeDirectory");
if (nl.getLength() > 0)
AVATARExecutableCodeDirectory(nl);
nl = doc.getElementsByTagName("AVATARMPSoCCodeDirectory");
if (nl.getLength() > 0)
AVATARMPSoCCodeDirectory(nl);
nl = doc.getElementsByTagName("AVATARMPSoCCompileCommand");
if (nl.getLength() > 0)
AVATARMPSoCCompileCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableCodeHost");
if (nl.getLength() > 0)
AVATARExecutableCodeHost(nl);
nl = doc.getElementsByTagName("AVATARExecutableCodeCompileCommand");
if (nl.getLength() > 0)
AVATARExecutableCodeCompileCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableCodeExecuteCommand");
if (nl.getLength() > 0)
AVATARExecutableCodeExecuteCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableSoclibCodeCompileCommand");
if (nl.getLength() > 0)
AVATARExecutableSoclibCodeCompileCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableSoclibCodeExecuteCommand");
if (nl.getLength() > 0)
AVATARExecutableSoclibCodeExecuteCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableSoclibCodeTraceCommand");
if (nl.getLength() > 0)
AVATARExecutableSoclibCodeTraceCommand(nl);
nl = doc.getElementsByTagName("AVATARExecutableSoclibTraceFile");
if (nl.getLength() > 0)
AVATARExecutableSoclibTraceFile(nl);
if (systemcOn) {
nl = doc.getElementsByTagName("SystemCHost");
if (nl.getLength() > 0)
SystemCHost(nl);
nl = doc.getElementsByTagName("SystemCCodeCompileCommand");
if (nl.getLength() > 0)
SystemCCodeCompileCommand(nl);
nl = doc.getElementsByTagName("SystemCCodeExecuteCommand");
if (nl.getLength() > 0)
SystemCCodeExecuteCommand(nl);
nl = doc.getElementsByTagName("SystemCCodeInteractiveExecuteCommand");
if (nl.getLength() > 0)
SystemCCodeInteractiveExecuteCommand(nl);
nl = doc.getElementsByTagName("GTKWavePath");
if (nl.getLength() > 0)
GTKWavePath(nl);
}
nl = doc.getElementsByTagName("TMLCodeDirectory");
if (nl.getLength() > 0)
TMLCodeDirectory(nl);
nl = doc.getElementsByTagName("CCodeDirectory");
nl = doc.getElementsByTagName("VCDPath");
if (nl.getLength() > 0)
VCDPath(nl);
nl = doc.getElementsByTagName("UPPAALCodeDirectory");
if (nl.getLength() > 0)
UPPAALCodeDirectory(nl);
nl = doc.getElementsByTagName("UPPAALVerifierPath");
if (nl.getLength() > 0)
UPPAALVerifierPath(nl);
nl = doc.getElementsByTagName("UPPAALVerifierHost");
if (nl.getLength() > 0)
UPPAALVerifierHost(nl);
nl = doc.getElementsByTagName("ProVerifCodeDirectory");
if (nl.getLength() > 0)
ProVerifCodeDirectory(nl);
nl = doc.getElementsByTagName("ProVerifHash");
if (nl.getLength() > 0)
ProVerifHash(nl);
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
nl = doc.getElementsByTagName("ProVerifVerifierPath");
if (nl.getLength() > 0)
ProVerifVerifierPath(nl);
nl = doc.getElementsByTagName("ProVerifVerifierHost");
if (nl.getLength() > 0)
ProVerifVerifierHost(nl);
// Ontologies
nl = doc.getElementsByTagName("RequirementOntologyWebsite");
if (nl.getLength() > 0)
RequirementOntologyWebsite(nl);
nl = doc.getElementsByTagName("AttackOntologyWebsite");
if (nl.getLength() > 0)
AttackOntologyWebsite(nl);
nl = doc.getElementsByTagName("ExternalCommand1Host");
if (nl.getLength() > 0)
ExternalCommand1Host(nl);
nl = doc.getElementsByTagName("ExternalCommand1");
if (nl.getLength() > 0)
ExternalCommand1(nl);
nl = doc.getElementsByTagName("ExternalCommand2Host");
if (nl.getLength() > 0)
ExternalCommand2Host(nl);
nl = doc.getElementsByTagName("ExternalCommand2");
if (nl.getLength() > 0)
ExternalCommand2(nl);
nl = doc.getElementsByTagName("LastOpenFile");
if (nl.getLength() > 0)
LastOpenFile(nl);
nl = doc.getElementsByTagName("LastWindowAttributes");
if (nl.getLength() > 0)
LastWindowAttributes(nl);
nl = doc.getElementsByTagName("ExternalServer");
if (nl.getLength() >0)
ExternalServer(nl);
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void LauncherPort(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
LauncherPort = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void RTLHOST(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
RTLHost = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void RTLPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
RTLPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void DTA2DOTPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
DTA2DOTPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void RG2TLSAPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
RG2TLSAPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void RGSTRAPPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
RGSTRAPPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void AldebaranPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
AldebaranPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void AldebaranHost(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
AldebaranHost = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void BcgioPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
BcgioPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void BcgmergePath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
BcgmergePath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void BcgminPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
BcgminPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void BisimulatorPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
BisimulatorPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void CaesarPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
CaesarPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void CaesarOpenPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
CaesarOpenPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void DOTTYHost(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
DOTTYHost = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void DOTTYPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
DOTTYPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void FILEPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
FILEPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void LOTOSPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
LOTOSPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void LIBPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
LIBPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void IMGPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
IMGPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void GGraphPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
GGraphPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TGraphPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TGraphPath = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TToolUpdateURL(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TToolUpdateURL = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TToolUpdateProxy(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TToolUpdateProxy = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TToolUpdateProxyPort(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TToolUpdateProxyPort = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TToolUpdateProxyHost(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TToolUpdateProxyHost = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void JavaCodeDirectory(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
JavaCodeDirectory = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void JavaHeader(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
JavaHeader = elt.getAttribute("data");
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void JavaCompilerPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
JavaCompilerPath = elt.getAttribute("data");
if (JavaCompilerPath.startsWith("[")) {
JavaCompilerPath = "\"" + JavaCompilerPath.substring(1, JavaCompilerPath.length()) + "\"";
}
} catch (Exception e) {
throw new MalformedConfigurationException(e.getMessage());
}
}
private static void TToolClassPath(NodeList nl) throws MalformedConfigurationException {
try {
Element elt = (Element)(nl.item(0));
TToolClassPath = elt.getAttribute("data");
} catch (Exception e) {