blob: 3ee396a17f13a9016c3917431aac50df1fac4c66 (
plain)
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
|
// ========================================================================
// $Id$
//
// = FILENAME
// Server_Discovery_Util.java
//
// = AUTHOR
// Seth Widoff <sbw1@cs.wustl.edu>
//
// ========================================================================
import java.io.*;
public class Server_Discovery_Util
{
// public static native int init (String[] args);
public static native void query_trader ();
public static native String[] get_servers ();
public static native TAO_VR.Movie[] get_movie_info (String host_name);
public static native
void load_movie (String server_name, String movie_name);
public static native
float evaluate_performance_property (String server_name, String prop_name);
}
|