Mercurial > hg > Members > kono > jpf-core

annotate src/main/gov/nasa/jpf/tool/LogConsole.java @ 18:a9ada67f1799

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
moved LogConsole to .jpf.tool package
author Peter Mehlitz <pcmehlitz@gmail.com>
date Tue, 31 Mar 2015 15:37:44 -0700
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
1 /*
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
2 * Copyright (C) 2014, United States Government, as represented by the
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
3 * Administrator of the National Aeronautics and Space Administration.
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
4 * All rights reserved.
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
5 *
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
6 * The Java Pathfinder core (jpf-core) platform is licensed under the
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
7 * Apache License, Version 2.0 (the "License"); you may not use this file except
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
8 * in compliance with the License. You may obtain a copy of the License at
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
9 *
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
10 * http://www.apache.org/licenses/LICENSE-2.0.
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
11 *
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
12 * Unless required by applicable law or agreed to in writing, software
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
13 * distributed under the License is distributed on an "AS IS" BASIS,
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
14 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
15 * See the License for the specific language governing permissions and
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
16 * limitations under the License.
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
17 */
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
18 package gov.nasa.jpf.tool;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
19
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
20 import java.io.BufferedReader;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
21 import java.io.IOException;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
22 import java.io.InputStreamReader;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
23 import java.net.ServerSocket;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
24 import java.net.Socket;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
25
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
26 /**
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
27 * simple logging facility that listens on a socket (e.g. for log output display)
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
28 */
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
29 public class LogConsole {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
30
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
31 static int DEF_PORT = 20000; // keep this in sync with the gov.nasa.jpf.util.LogHandler
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
32
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
33 class ShutdownHook implements Runnable {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
34 @Override
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
35 public void run () {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
36 if (running) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
37 // not very threadsafe, but worst thing that can happen is we close twice
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
38 killed = true;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
39 System.out.println("\nLogConsole killed, shutting down");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
40 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
41 try {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
42 cs.close();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
43 ss.close();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
44 } catch (Throwable t) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
45 // not much we can do here anyway
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
46 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
47 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
48 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
49
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
50
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
51 boolean running;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
52
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
53 int port;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
54 boolean autoclose;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
55 boolean killed;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
56
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
57 ServerSocket ss;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
58 Socket cs;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
59
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
60 public void run () {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
61 running = true;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
62 Runtime.getRuntime().addShutdownHook(new Thread(new ShutdownHook()));
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
63
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
64 if (port == 0) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
65 port = DEF_PORT;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
66 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
67
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
68 try {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
69 ss = new ServerSocket(port);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
70
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
71 try {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
72 do {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
73 System.out.println("LogConsole listening on port: " + port);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
74
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
75 cs = ss.accept();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
76 BufferedReader in = new BufferedReader( new InputStreamReader(cs.getInputStream()));
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
77 String msg;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
78
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
79 System.out.println("LogConsole connected");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
80 System.out.println("--------------------------------------------------------------------------------");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
81 try {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
82
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
83 while ((msg = in.readLine()) != null) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
84 System.out.println(msg);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
85 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
86
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
87 System.out.println("--------------------------------------------------------------------------------");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
88 System.out.println("LogConsole disconnected");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
89 } catch (IOException iox) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
90 System.err.println(iox);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
91 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
92
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
93 in.close();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
94 cs.close();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
95 } while (!autoclose);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
96
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
97 System.out.println("LogConsole closing");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
98
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
99 } catch (IOException iox) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
100 if (!killed) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
101 System.err.println("Error: LogConsole accept failed on port: " + port);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
102 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
103 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
104
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
105 } catch (IOException iox) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
106 System.err.println("Error: LogConsole cannot listen on port: " + port);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
107 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
108
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
109 running = false;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
110 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
111
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
112 public void showUsage () {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
113 System.out.println("LogConsole: socket based console logger");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
114 System.out.println(" usage: java gov.nasa.jpf.tools.LogConsole {flags} [<port>]");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
115 System.out.println(" args: -help show this message");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
116 System.out.println(" -autoclose close the application upon disconnect");
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
117 System.out.println(" <port> optional port number, default: " + DEF_PORT);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
118 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
119
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
120 boolean processArgs (String[] args) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
121 for (int i=0; i<args.length; i++) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
122 if (args[i].charAt(0) == '-') {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
123 if (args[i].equals("-autoclose")) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
124 args[i] = null;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
125 autoclose = true;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
126 } else if (args[i].equals("-help")) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
127 showUsage();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
128 return false;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
129 } else {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
130 System.err.println("Warning: unknown argument (see -help for usage): " + args[i]);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
131 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
132 } else {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
133 if (args[i].matches("[0-9]+")) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
134 if (port != 0) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
135 System.err.println("Error: only one port parameter allowed (see -help for usage): " + args[i]);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
136 return false;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
137 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
138
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
139 try {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
140 port = Integer.parseInt(args[i]);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
141 } catch (NumberFormatException nfx) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
142 System.err.println("Error: illegal port spec: " + args[i]);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
143 return false;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
144 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
145 } else {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
146 System.out.println("Error: unknown argument: " + args[i]);
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
147 return false;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
148 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
149 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
150 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
151
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
152 return true;
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
153 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
154
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
155 public static void main (String[] args) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
156 LogConsole console = new LogConsole();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
157
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
158 if (console.processArgs(args)) {
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
159 console.run();
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
160 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
161 }
a9ada67f1799 moved LogConsole to .jpf.tool package
Peter Mehlitz <pcmehlitz@gmail.com>
parents:
diff changeset
162 }