Lines Matching refs:Right_Real

2110             Right_Real : Ureal;  variable
2121                Right_Real := Expr_Value_R (Right);
2123                Right_Real := UR_From_Uint (Expr_Value (Right));
2127                Result := Left_Real + Right_Real;
2130                Result := Left_Real - Right_Real;
2133                Result := Left_Real * Right_Real;
2136                if UR_Is_Zero (Right_Real) then
2142                Result := Left_Real / Right_Real;
3439          Right_Real : constant Ureal := Expr_Value_R (Right);  constant
3444             when N_Op_Eq => Result := (Left_Real =  Right_Real);
3445             when N_Op_Ge => Result := (Left_Real >= Right_Real);
3446             when N_Op_Gt => Result := (Left_Real >  Right_Real);
3447             when N_Op_Le => Result := (Left_Real <= Right_Real);
3448             when N_Op_Lt => Result := (Left_Real <  Right_Real);
3449             when N_Op_Ne => Result := (Left_Real /= Right_Real);