Sync with 5.3.0

[deliverable/titan.core.git] / core / Float.hh

diff --git a/core/Float.hh b/core/Float.hh
index 013d39de728a33e56fd9ec38289b00c3478645bf..18e6faa35d842c40c9726a51aed65b77cec5590b 100644 (file)
--- a/core/Float.hh
+++ b/core/Float.hh
@@ -41,6 +41,10 @@ class FLOAT : public Base_Type {
 
   boolean bound_flag;
   ttcn3float float_value;
+  
+  /** Returns true if the string parameter contains the string representation 
+    * of a real number, otherwise returns false. */
+  boolean is_float(const char* p_str);
 
 public: