@interface RemoteInvocationServer : Server { { pool @commands } - executeCommand: aCommand \ fromSocket: aSocket \ address: anAddress \ andPort: aPort ; - permit: aCommand ; - deny: aCommand ; - permittedCommands ; - permittedCommands: permittedCommands ; - deniedCommands ; - deniedCommands: deniedCommands ; }