Searched refs:remoteEclipsePort (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/JavaInterface/src/com/parctechnologies/eclipse/ |
| H A D | RemoteEclipse.java | 146 public RemoteEclipse(InetAddress remoteEclipseHost, int remoteEclipsePort, argument
150 this(remoteEclipseHost, remoteEclipsePort, passwd, DEFAULT_TIMEOUT_MILLIS);
167 public RemoteEclipse(InetAddress remoteEclipseHost, int remoteEclipsePort) argument
170 this(remoteEclipseHost, remoteEclipsePort, "", DEFAULT_TIMEOUT_MILLIS);
190 public RemoteEclipse(InetAddress remoteEclipseHost, int remoteEclipsePort, argument
194 this(remoteEclipseHost, remoteEclipsePort, "", timeoutMillis);
198 int remoteEclipsePort)
201 control = new Socket(remoteEclipseHost, remoteEclipsePort);
207 private void setUpRPC(InetAddress remoteEclipseHost, int remoteEclipsePort) argument
210 rpc = new Socket(remoteEclipseHost, remoteEclipsePort);
197 setUpControl(InetAddress remoteEclipseHost, int remoteEclipsePort) argument
235 RemoteEclipse(InetAddress remoteEclipseHost, int remoteEclipsePort, String passwd, int timeoutMillis) argument
[all...] |
Completed in 78 milliseconds