1 /* $Id: ProtocolNestedOperandDef.java,v 1.2 2004/05/20 14:23:52 bures Exp $ */2 package SOFA.SOFAnode.Made.TIR;3 import java.rmi.RemoteException ;4 5 /** Interface for operands with nested call. E.g. ?a{x} operand() returns "a",<br> nested_operand() returns "x" */6 public interface ProtocolNestedOperandDef extends ProtocolOperandDef {7 public ProtocolOperDef nested_operand() throws RemoteException ;8 }9