| 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 |
|
};};};}; |