1 /* $Id: ExprDouble.java,v 1.1.1.1 2003/02/11 16:19:41 bures Exp $ */2 package SOFA.SOFAnode.Made.TIR;3 import java.rmi.RemoteException ;4 5 /** Double expression operand */6 public interface ExprDouble extends ExprOperandDef {7 /** Value of this operand */8 public double value() throws RemoteException ;9 }10