Add basic Structured Text parser

Includes support for simple arithmetic and boolean expressions as well
as other ST language features, such as networks, functions and function
blocks.

Author: MatWise

.gitignore

@@ -84,6 +84,10 @@ src/json/json_lex.yy.cpp
 src/json/json_y.output
 src/json/json_y.tab.cpp
 src/json/json_y.tab.h
+src/structured-text/structured_text_lex.yy.cpp
+src/structured-text/structured_text_y.output
+src/structured-text/structured_text_y.tab.cpp
+src/structured-text/structured_text_y.tab.h
 src/xmllang/xml_lex.yy.cpp
 src/xmllang/xml_y.output
 src/xmllang/xml_y.tab.cpp

src/structured-text/converters/convert_int_value.cpp

@@ -0,0 +1,32 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#include "convert_int_value.h"
+#include <util/std_expr.h>
+#include <util/std_types.h>
+
+exprt convert_int_value(const std::string &src)
+{
+  signed value = std::stoi(src);
+  typet type(ID_structured_text_int_value);
+
+  exprt result(std::to_string(value), type);
+  return result;
+}
+
+exprt convert_bit_value(const std::string &src)
+{
+  std::string value(src);
+  typet type(ID_structured_text_bit_value);
+
+  exprt result(value, type);
+  return result;
+}

src/structured-text/converters/convert_int_value.h

@@ -0,0 +1,24 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#ifndef CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_INT_VALUE_H
+#define CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_INT_VALUE_H
+
+#include <string>
+
+#include <util/expr.h>
+
+/// Converts a string into the corresponding 'Int' expression.
+exprt convert_int_value(const std::string &src);
+/// Converts a string into the corresponding 'Bool' expression
+exprt convert_bit_value(const std::string &src);
+
+#endif // CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_INT_VALUE_H

src/structured-text/converters/convert_real_value.cpp

@@ -0,0 +1,23 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#include "convert_real_value.h"
+#include <util/std_expr.h>
+#include <util/std_types.h>
+
+exprt convert_real_value(const std::string &src)
+{
+  float value = std::stof(src);
+  typet type(ID_structured_text_real_value);
+
+  exprt result(std::to_string(value), type);
+  return result;
+}

src/structured-text/converters/convert_real_value.h

@@ -0,0 +1,22 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#ifndef CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_REAL_VALUE_H
+#define CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_REAL_VALUE_H
+
+#include <string>
+
+#include "util/expr.h"
+
+/// Converts a string into the corresponding 'Real' expression.
+exprt convert_real_value(const std::string &src);
+
+#endif // CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_REAL_VALUE_H

src/structured-text/converters/convert_string_value.cpp

@@ -0,0 +1,43 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#include "convert_string_value.h"
+
+exprt convert_identifier(const std::string &src)
+{
+  // Cut the leading and trailing quotes
+  std::string value = src.substr(1, src.length() - 2);
+
+  typet type(ID_structured_text_identifier);
+
+  exprt result(value, type);
+  return result;
+}
+
+exprt convert_title(const std::string &src)
+{
+  std::string value(src);
+  typet type(ID_structured_text_title);
+
+  exprt result(value, type);
+  return result;
+}
+
+exprt convert_label(const std::string &src)
+{
+  // Cut the trailing colon
+  std::string value = src.substr(0, src.length() - 1);
+
+  typet type(ID_structured_text_label);
+
+  exprt result(value, type);
+  return result;
+}

src/structured-text/converters/convert_string_value.h

@@ -0,0 +1,24 @@
+/*******************************************************************\
+
+Module: Structured Text Language Conversion
+
+Author: Matthias Weiss, [email protected]
+
+\*******************************************************************/
+
+/// \file
+/// Structured Text Language Conversion
+
+#ifndef CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_STRING_VALUE_H
+#define CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_STRING_VALUE_H
+
+#include <util/expr.h>
+
+/// Converts a string into a Structured Text identifier expression.
+exprt convert_identifier(const std::string &src);
+/// Converts a string into a Structured Text title expression.
+exprt convert_title(const std::string &src);
+/// Converts a string into a Structured Text label expression.
+exprt convert_label(const std::string &src);
+
+#endif // CPROVER_STRUCTURED_TEXT_CONVERTERS_CONVERT_STRING_VALUE_H

src/structured-text/converters/module_dependencies.txt

@@ -0,0 +1,3 @@
+structured-text
+structured-text/converters
+util

src/structured-text/module_dependencies.txt

@@ -0,0 +1,5 @@
+converters
+langapi
+linking
+structured-text
+util