manuele@745: /*
manuele@745: * matiec - a compiler for the programming languages defined in IEC 61131-3
manuele@745: *
manuele@745: * Copyright (C) 2009-2012 Mario de Sousa (msousa@fe.up.pt)
manuele@745: * Copyright (C) 2012 Manuele Conti (conti.ma@alice.it)
manuele@745: *
manuele@745: *
manuele@745: * This program is free software: you can redistribute it and/or modify
manuele@745: * it under the terms of the GNU General Public License as published by
manuele@745: * the Free Software Foundation, either version 3 of the License, or
manuele@745: * (at your option) any later version.
manuele@745: *
manuele@745: * This program is distributed in the hope that it will be useful,
manuele@745: * but WITHOUT ANY WARRANTY; without even the implied warranty of
manuele@745: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
manuele@745: * GNU General Public License for more details.
manuele@745: *
manuele@745: * You should have received a copy of the GNU General Public License
manuele@745: * along with this program. If not, see .
manuele@745: *
manuele@745: *
manuele@745: * This code is made available on the understanding that it will not be
manuele@745: * used in safety-critical situations without a full and competent review.
manuele@745: */
manuele@745:
manuele@745: /*
manuele@745: * An IEC 61131-3 compiler.
manuele@745: *
manuele@745: * Based on the
manuele@745: * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
manuele@745: *
manuele@745: */
manuele@745:
manuele@745:
manuele@745: #include "derived_conversion_functions.hh"
manuele@745: #include
manuele@745:
manuele@745: static const int debug = 0;
manuele@745:
manuele@745: derived_conversion_functions_c::derived_conversion_functions_c(symbol_c *ignore) {
manuele@745:
manuele@745: }
manuele@745:
manuele@745: derived_conversion_functions_c::~derived_conversion_functions_c(void) {
manuele@745:
manuele@745: }
manuele@745:
manuele@745: std::string &derived_conversion_functions_c::get_declaration(symbol_c *root) {
manuele@745: text = "";
manuele@745: if (NULL != root) {
manuele@745: root->accept(*this);
manuele@745: }
manuele@745:
manuele@745: return text;
manuele@745: }
manuele@745:
manuele@745: void *derived_conversion_functions_c::visit(identifier_c *symbol) {
manuele@745: currentToken = symbol->value;
manuele@745:
manuele@745: return NULL;
manuele@745: }
manuele@745:
manuele@745: void *derived_conversion_functions_c::visit(enumerated_type_declaration_c *symbol) {
manuele@745: std::string enumerateName;
manuele@745: std::string functionName;
manuele@745: std::list enumerateValues;
manuele@745:
manuele@745: symbol->enumerated_type_name->accept(*this);
manuele@745: enumerateName = currentToken;
manuele@745:
manuele@745: symbol->enumerated_spec_init->accept(*this);
manuele@745: enumerateValues = currentTokenList;
manuele@745:
manuele@745: printStringToEnum (enumerateName, enumerateValues);
manuele@745: printEnumToString (enumerateName, enumerateValues);
manuele@745: for (size_t s = 8; s <= 64; s*= 2) {
manuele@745: printIntegerToEnum (enumerateName, enumerateValues, true , s);
manuele@745: printEnumToInteger (enumerateName, enumerateValues, true , s);
manuele@745: printIntegerToEnum (enumerateName, enumerateValues, false, s);
manuele@745: printEnumToInteger (enumerateName, enumerateValues, false, s);
manuele@745: }
manuele@745: if (debug) std::cout << text << std::endl;
manuele@745:
manuele@745: return NULL;
manuele@745: }
manuele@745:
manuele@745: void *derived_conversion_functions_c::visit(enumerated_value_list_c *symbol) {
manuele@745: list_c *list;
manuele@745:
manuele@745: currentTokenList.clear();
manuele@745: list = (list_c *)symbol;
manuele@745: for (int i = 0; i < list->n; i++) {
manuele@745: list->elements[i]->accept(*this);
manuele@745: currentTokenList.push_back(currentToken);
manuele@745: }
manuele@745:
manuele@745: return NULL;
manuele@745: }
manuele@745:
manuele@745: std::string derived_conversion_functions_c::getIntegerName(bool isSigned, size_t size) {
manuele@745: std::string integerType = "";
manuele@745: if (! isSigned) {
manuele@745: integerType = "U";
manuele@745: }
manuele@745: switch(size) {
manuele@745: case 8 : integerType += "S"; break;
manuele@745: case 16: break;
manuele@745: case 32: integerType += "D"; break;
manuele@745: case 64: integerType += "L"; break;
manuele@745: default: break;
manuele@745: }
manuele@745: integerType +="INT";
manuele@745:
manuele@745: return integerType;
manuele@745: }
manuele@745:
manuele@745: void derived_conversion_functions_c::printStringToEnum (std::string &enumerateName, std::list &enumerateValues) {
manuele@745: std::list ::const_iterator itr;
manuele@745: std::string functionName;
manuele@745:
manuele@745: functionName = "STRING_TO_" + enumerateName;
manuele@745: text += "FUNCTION " + functionName + " : " + enumerateName;
manuele@745: text += "\nVAR_INPUT\nIN : STRING;\nEND_VAR\n";
manuele@745: for (itr = enumerateValues.begin(); itr != enumerateValues.end(); ++itr) {
manuele@745: std::string value = *itr;
manuele@745: text += "IF IN = '" + value + "' THEN\n";
manuele@745: text += " " + functionName + " := " + value + ";\n";
manuele@745: text += " RETURN;\n";
manuele@745: text += "END_IF;\n";
manuele@745: }
manuele@745: text += "END_FUNCTION\n\n";
manuele@745: }
manuele@745:
manuele@745: void derived_conversion_functions_c::printEnumToString (std::string &enumerateName, std::list &enumerateValues) {
manuele@745: std::list ::const_iterator itr;
manuele@745: std::string functionName;
manuele@745:
manuele@745: functionName = enumerateName + "_TO_STRING";
manuele@745: text += "FUNCTION " + functionName + " : STRING";
manuele@745: text += "\nVAR_INPUT\nIN : " + enumerateName + ";\nEND_VAR\n";
manuele@745: for (itr = enumerateValues.begin(); itr != enumerateValues.end(); ++itr) {
manuele@745: std::string value = *itr;
manuele@745: text += "IF IN = " + value + " THEN\n";
manuele@745: text += " " + functionName + " := '" + value + "';\n";
manuele@745: text += " RETURN;\n";
manuele@745: text += "END_IF;\n";
manuele@745: }
manuele@745: text += "END_FUNCTION\n\n";
manuele@745: }
manuele@745:
manuele@745: void derived_conversion_functions_c::printIntegerToEnum (std::string &enumerateName, std::list &enumerateValues, bool isSigned, size_t size) {
manuele@745: std::list ::const_iterator itr;
manuele@745: std::string functionName;
manuele@745: std::string integerType;
manuele@745: int count;
manuele@745:
manuele@745: integerType = getIntegerName(isSigned, size);
manuele@745: functionName = integerType + "_TO_" + enumerateName;
manuele@745: text += "FUNCTION " + functionName + " : " + enumerateName;
manuele@745: text += "\nVAR_INPUT\nIN : " + integerType + ";\nEND_VAR\n";
manuele@745: count = 0;
manuele@745: for (itr = enumerateValues.begin(); itr != enumerateValues.end(); ++itr) {
manuele@745: std::string value = *itr;
manuele@745: std::stringstream out;
manuele@745: out << count;
manuele@745: text += "IF IN = " + out.str() + " THEN\n";
manuele@745: text += " " + functionName + " := " + value + ";\n";
manuele@745: text += " RETURN;\n";
manuele@745: text += "END_IF;\n";
manuele@745: count++;
manuele@745: }
manuele@745: text += "END_FUNCTION\n\n";
manuele@745: }
manuele@745:
manuele@745: void derived_conversion_functions_c::printEnumToInteger (std::string &enumerateName, std::list &enumerateValues, bool isSigned, size_t size) {
manuele@745: std::list ::const_iterator itr;
manuele@745: std::string functionName;
manuele@745: std::string integerType;
manuele@745: int count;
manuele@745:
manuele@745: integerType = getIntegerName(isSigned, size);
manuele@745: functionName = enumerateName + "_TO_" + integerType;
manuele@745: text += "FUNCTION " + functionName + " : " + integerType;
manuele@745: text += "\nVAR_INPUT\nIN : " + enumerateName + ";\nEND_VAR\n";
manuele@745: count = 0;
manuele@745: for (itr = enumerateValues.begin(); itr != enumerateValues.end(); ++itr) {
manuele@745: std::string value = *itr;
manuele@745: std::stringstream out;
manuele@745: out << count;
manuele@745: text += "IF IN = " + value + " THEN\n";
manuele@745: text += " " + functionName + " := " + out.str() + ";\n";
manuele@745: text += " RETURN;\n";
manuele@745: text += "END_IF;\n";
manuele@745: count++;
manuele@745: }
manuele@745: text += "END_FUNCTION\n\n";
manuele@745: }
manuele@745:
manuele@745:
manuele@745: