39 |
|
}; |
40 |
|
|
41 |
|
module filter { |
42 |
– |
interface FilterManager { |
43 |
– |
//intentionally blank at present |
44 |
– |
}; |
42 |
|
interface Filter { |
43 |
< |
//intentionally blank at present |
43 |
> |
void receiveXML(in string xml); |
44 |
> |
string getHostName(); |
45 |
> |
string getUDPPort(); |
46 |
> |
string getTCPPort(); |
47 |
|
}; |
48 |
+ |
|
49 |
|
// end filter |
50 |
|
}; |
51 |
+ |
|
52 |
+ |
module clientinterface { |
53 |
+ |
interface ClientInterface { |
54 |
+ |
void receiveXML(in string xml); |
55 |
+ |
}; |
56 |
+ |
}; |
57 |
|
|
58 |
< |
// end ac.uk.ukc.iscream |
58 |
> |
// end uk.ac.ukc.iscream |
59 |
|
};};};}; |