blob: 204724a04a3859cc7e6047513176457780a3892d (
plain) (
blame)
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
|
<?xml version="1.0"?>
<!DOCTYPE COMMANDO SYSTEM "commando.dtd">
<!-- Author(s): Manpreet Singh \junkblocker/ \at/ \yahoo/ \dot/ \com/ -->
<!-- Stephane Micheloud (http://scala.epfl.ch/) -->
<COMMANDO>
<UI>
<CAPTION LABEL="Scala Settings">
<!-- See http://www.rgagnon.com/javadetails/java-0150.html -->
<DIR_ENTRY LABEL="Scala Home Path" VARNAME="home" EVAL='
envProps = new Properties();
osname = System.getProperty("os.name", "unknown").toLowerCase();
if (osname.indexOf("windows 9") != -1) {
cmd = "command.com /c set";
isWin32 = true;
}
else if ( (osname.indexOf("nt") != -1) ||
(osname.indexOf("windows 20") != -1) ||
(osname.indexOf("windows xp") != -1) ) {
cmd = "cmd.exe /c set";
isWin32 = true;
}
else {
cmd = "env";
isWin32 = false;
}
p = Runtime.getRuntime().exec(cmd);
is = new InputStreamReader(p.getInputStream());
rd = new BufferedReader(is);
line = null;
while ((line = rd.readLine()) != null) {
index = -1;
if ((index = line.indexOf("=")) > -1) {
key = line.substring(0, index).trim();
value = line.substring(index + 1).trim();
envProps.setProperty(key, value);
}
else
envProps.setProperty(line, "");
}
is.close();
value = envProps.getProperty("SCALA_HOME");
if (value == null) {
value = (isWin32) ? "c:\\\\Progra~1\\Scala" : "/usr/local/scala";
}
value
'/>
</CAPTION>
<CAPTION LABEL="Source File(s)">
<FILE_ENTRY LABEL="File Name" VARNAME="file" EVAL="buffer.getPath()"/>
<!-- the following awaits creation of a dynamic CHOICE element -->
<ENTRY LABEL="Main class" VARNAME="main" EVAL='
import java.util.regex.Pattern;
p = Pattern.compile(".*object\\s+([A-Za-z_][A-Za-z0-9_]*).*?def\\s+main\\s*\\(.*", Pattern.MULTILINE | Pattern.DOTALL).matcher(buffer.getText(0, buffer.getLength()));
packageName = console.ConsolePlugin.getPackageName(buffer);
p.matches() ? ((packageName == null) ? "" : packageName + ".") + p.group(1) : console.ConsolePlugin.getClassName(buffer)
'/>
</CAPTION>
<CAPTION LABEL="Application Settings">
<ENTRY LABEL="Application Parameters" VARNAME="arguments"/>
</CAPTION>
</UI>
<COMMANDS>
<COMMAND SHELL="System" CONFIRM="FALSE">
buf = new StringBuffer();
if (home.length() > 0) buf.append(home + File.separator + "bin" + File.separator);
buf.append("scalaint");
buf.append(" " + file);
buf.append(" -- " + main);
if (arguments.length() > 0) buf.append(" ").append(arguments);
buf.toString()
</COMMAND>
</COMMANDS>
</COMMANDO>
<!-- $Id$ -->
|
