generate_IEC_std.py
author lbessard
Mon, 10 Dec 2007 11:13:25 +0100
changeset 132 3aaf349203bc
parent 115 017a65259f07
child 167 893ff98ab3be
permissions -rw-r--r--
Bug on Project Tree event fixed
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     1
#!/usr/bin/env python
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     2
# -*- coding: utf-8 -*-
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     3
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     4
#This file is part of PLCOpenEditor, a library implementing an IEC 61131-3 editor
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     5
#based on the plcopen standard. 
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     6
#
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     7
#Copyright (C) 2007: Edouard TISSERANT and Laurent BESSARD
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     8
#
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
     9
#See COPYING file for copyrights details.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    10
#
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    11
#This library is free software; you can redistribute it and/or
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    12
#modify it under the terms of the GNU General Public
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    13
#License as published by the Free Software Foundation; either
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    14
#version 2.1 of the License, or (at your option) any later version.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    15
#
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    16
#This library is distributed in the hope that it will be useful,
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    17
#but WITHOUT ANY WARRANTY; without even the implied warranty of
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    18
#MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    19
#General Public License for more details.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    20
#
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    21
#You should have received a copy of the GNU General Public
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    22
#License along with this library; if not, write to the Free Software
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    23
#Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    24
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    25
"""
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    26
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
    27
 THIS CODE GENARATES C++ CODE FOR IEC2C COMPILER
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    28
 GENERATED CODE IS :
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    29
 
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    30
function_type_decl.h - the long enumeration of std function types
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    31
get_function_type_decl.c - the funct that return enumerated according function name
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
    32
st_code_gen.c - part of generate_c_st_c::visit(function_invocation)
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    33
                responsible to generate C code for std lib calls
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
    34
il_code_gen.c - part of generate_c_il_c::visit(il_function_call)
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    35
                responsible to generate C code for std lib calls
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    36
search_type_code.c - called by search_expression_type_c::visit(function_invocation) 
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    37
                     return type symbol for std function invocation
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    38
 
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    39
"""
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
    40
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    41
# Get definitions
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    42
from plcopen.structures import *
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    43
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    44
#import pprint
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    45
#pp = pprint.PrettyPrinter(indent=4)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    46
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    47
matiec_header = """/*
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    48
 * (c) 2003 Mario de Sousa
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    49
 *
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    50
 * Offered to the public under the terms of the GNU General Public License
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    51
 * as published by the Free Software Foundation; either version 2 of the
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    52
 * License, or (at your option) any later version.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    53
 *
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    54
 * This program is distributed in the hope that it will be useful, but
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    55
 * WITHOUT ANY WARRANTY; without even the implied warranty of
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    56
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    57
 * Public License for more details.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    58
 *
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    59
 * This code is made available on the understanding that it will not be
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    60
 * used in safety-critical situations without a full and competent review.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    61
 */
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    62
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    63
/*
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    64
 * An IEC 61131-3 IL and ST compiler.
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    65
 *
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    66
 * Based on the
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    67
 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    68
 *
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    69
 */
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    70
 
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    71
 """
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
    72
59
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    73
matiec_lesser_header = """/*
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    74
 * (c) 2003 Mario de Sousa
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    75
 *
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    76
 * Offered to the public under the terms of the GNU Lesser General Public
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    77
 * License as published by the Free Software Foundation; either version 2
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    78
 * of the License, or (at your option) any later version.
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    79
 *
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    80
 * This program is distributed in the hope that it will be useful, but
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    81
 * WITHOUT ANY WARRANTY; without even the implied warranty of
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    82
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    83
 * General Public License for more details.
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    84
 *
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    85
 * This code is made available on the understanding that it will not be
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    86
 * used in safety-critical situations without a full and competent review.
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    87
 */
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    88
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    89
/*
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    90
 * An IEC 61131-3 IL and ST compiler.
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    91
 *
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    92
 * Based on the
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    93
 * FINAL DRAFT - IEC 61131-3, 2nd Ed. (2001-12-10)
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    94
 *
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    95
 */
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    96
 
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    97
 """
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
    98
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
    99
def ANY_to_compiler_test_type_GEN(typename, paramname):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   100
    """
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   101
    Convert ANY_XXX IEC type declaration into IEC2C's generated type test.
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   102
    This tests are defined in search_expression_type.cc 
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   103
    """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   104
    return {"ANY" : "",
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   105
    "ANY_BIT" : "if(search_expression_type->is_binary_type(%(paramname)s_type_symbol))",
26
36d378bd852e Stage4 changes according to new STD lib implementation
etisserant
parents: 25
diff changeset
   106
    "ANY_NBIT" : "if(search_expression_type->is_nbinary_type(%(paramname)s_type_symbol))",
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   107
    "ANY_NUM" : "if(search_expression_type->is_num_type(%(paramname)s_type_symbol))",
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   108
    "ANY_REAL" : "if(search_expression_type->is_real_type(%(paramname)s_type_symbol))",
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   109
    "ANY_INT" : "if(search_expression_type->is_integer_type(%(paramname)s_type_symbol))"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   110
    }.get(typename,
40
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   111
        #"if (typeid(*last_type_symbol) == typeid(%(typename)s_type_name_c))")%{
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   112
        "if(search_expression_type->is_same_type(&search_constant_type_c::%(typename)s_type_name, last_type_symbol))")%{
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   113
                "paramname" : paramname, "typename": typename.lower()}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   114
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   115
def recurse_and_indent(fdecls, indent, do_type_search_only = False, do_il = False):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   116
    """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   117
    This function generate visit(function_invocation) code for 
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   118
        - ST code generator
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   119
        - IL code generator
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   120
        - search_expression_type class for ST
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   121
        - search_expression_type class for IL
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   122
        
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   123
    Input data is a 
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   124
    "{fname : {IN[0]paramname : {IN[0]paramtype : {IN[1]paraname : {IN[1]paramtype : {... : {IN[N]paraname : {IN[N]paramtype : (fdecl,)}}}}}}"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   125
    nested dictionary structure.
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   126
    """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   127
    if type(fdecls) != type(tuple()):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   128
        res = ""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   129
        for Paramname, ParamTypes in fdecls.iteritems():
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   130
            if do_il:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   131
                res += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   132
{"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   133
                if not do_type_search_only:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   134
                    res += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   135
    /* Get the value from a foo(<param_name> = <param_value>) style call */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   136
    symbol_c *%(input_name)s_param_value = &this->default_variable_name;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   137
"""%{"input_name":Paramname}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   138
                res += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   139
    symbol_c *%(input_name)s_type_symbol = param_data_type;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   140
    last_type_symbol = param_data_type;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   141
"""%{"input_name":Paramname}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   142
            else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   143
                res += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   144
{
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   145
    identifier_c param_name("%(input_name)s");
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   146
    /* Get the value from a foo(<param_name> = <param_value>) style call */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   147
    symbol_c *%(input_name)s_param_value = function_call_param_iterator.search(&param_name);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   148
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   149
    /* Get the value from a foo(<param_value>) style call */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   150
    if (%(input_name)s_param_value == NULL)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   151
      %(input_name)s_param_value = function_call_param_iterator.next();
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   152
    symbol_c *%(input_name)s_type_symbol = search_expression_type->get_type(%(input_name)s_param_value);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   153
    last_type_symbol = last_type_symbol && search_expression_type->is_same_type(%(input_name)s_type_symbol, last_type_symbol) ? search_expression_type->common_type(%(input_name)s_type_symbol, last_type_symbol) : %(input_name)s_type_symbol ;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   154
"""%{"input_name":Paramname}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   155
            
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   156
            for ParamType,NextParamDecl in ParamTypes.iteritems():
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   157
            
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   158
                res += """    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   159
    %(type_test)s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   160
    {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   161
%(if_good_type_code)s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   162
    }
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   163
"""%{
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   164
    "type_test":ANY_to_compiler_test_type_GEN(ParamType,Paramname), 
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   165
    "if_good_type_code":recurse_and_indent(NextParamDecl,indent,do_type_search_only).replace('\n','\n    ')}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   166
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   167
            res += """    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   168
    ERROR;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   169
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   170
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   171
        
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   172
        return res.replace('\n','\n'+indent)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   173
    else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   174
        res = "\n"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   175
        fdecl=fdecls[0]
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   176
        
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   177
        result_type_rule = fdecl["return_type_rule"]
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   178
        res += {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   179
            "copy_input" : "symbol_c * return_type_symbol = last_type_symbol;\n",
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   180
            "defined" : "symbol_c * return_type_symbol = &search_constant_type_c::%s_type_name;\n"%fdecl["outputs"][0][1].lower(),
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   181
            }.get(result_type_rule, "symbol_c * return_type_symbol = %s;\n"%result_type_rule)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   182
        
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   183
        if not do_type_search_only:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   184
            code_gen = eval(fdecl["python_eval_c_code_format"])
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   185
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   186
            code_gen_dic_decl = {}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   187
            for paramname,paramtype,unused in fdecl["inputs"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   188
                code_gen_dic_decl[paramname+"_value"] = '");\n%s_param_value->accept(*this);\ns4o.print("'%(paramname)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   189
                code_gen_dic_decl[paramname+"_type"] = '");\n%s_type_symbol->accept(*this);\ns4o.print("'%(paramname)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   190
            code_gen_dic_decl["return_type"] = '");\nreturn_type_symbol->accept(*this);\ns4o.print("'
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   191
            code_gen_dic_decl["param_count"] = '");\ns4o.print_integer(nb_param);\ns4o.print("'
43
4a7e80513edd Test IEC_LIB and fix bugs (EQ, GT et all)
etisserant
parents: 40
diff changeset
   192
            code_gen_dic_decl["common_type"] = '");\nlast_type_symbol->accept(*this);\ns4o.print("'
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   193
            code_gen_dic_decl["start_bool_filter"] = '");\nif (search_expression_type->is_bool_type(last_type_symbol))\n  s4o.print("('
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   194
            code_gen_dic_decl["end_bool_filter"] = '");\nif (search_expression_type->is_bool_type(last_type_symbol)) {\n  s4o.print("&1");\n  s4o.print(")");\n}\ns4o.print("'
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   195
            
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   196
            if type(code_gen) == type(tuple()):
40
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   197
                res += 's4o.indent_right();\n'
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   198
                res += 's4o.print("%s\\n" + s4o.indent_spaces);\n'%(code_gen[0]%code_gen_dic_decl)
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   199
                static_param_accept_list = []
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   200
                for paramname,paramtype,unused in fdecl["inputs"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   201
                    static_param_accept_list.append("%s_param_value->accept(*this);\n"%(paramname))
40
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   202
                res += ('s4o.print("%s\\n" + s4o.indent_spaces);\n'%(code_gen[1])).join(static_param_accept_list)
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   203
                code = 's4o.print("%s\\n" + s4o.indent_spaces);\nparam_value->accept(*this);\n'%(code_gen[1])
49c8ebc1ee25 Cleanup in generated C code for STD lib
etisserant
parents: 36
diff changeset
   204
                end_code = 's4o.print("%s");\ns4o.indent_left();\nreturn NULL;\n'%(code_gen[2]%code_gen_dic_decl)
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   205
            else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   206
                code = ''
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   207
                end_code = ('s4o.print("' + code_gen%code_gen_dic_decl + '");\nreturn NULL;\n').replace('s4o.print("");\n','')
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   208
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   209
            if fdecl["extensible"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   210
                res += ("""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   211
int base_num = %d;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   212
symbol_c *param_value = NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   213
do{
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   214
    char my_name[10];
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   215
    sprintf(my_name, "IN%%d", base_num++);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   216
    identifier_c param_name(my_name);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   217
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   218
    /* Get the value from a foo(<param_name> = <param_value>) style call */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   219
    param_value = function_call_param_iterator.search(&param_name);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   220
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   221
    /* Get the value from a foo(<param_value>) style call */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   222
    if (param_value == NULL)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   223
      param_value = function_call_param_iterator.next();
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   224
    if (param_value != NULL){
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   225
        symbol_c *current_type_symbol = search_expression_type->get_type(param_value);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   226
        last_type_symbol = last_type_symbol && search_expression_type->is_same_type(current_type_symbol, last_type_symbol) ? search_expression_type->common_type(current_type_symbol, last_type_symbol) : current_type_symbol ;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   227
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   228
        /*Function specific CODE */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   229
        %s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   230
    }
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   231
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   232
}while(param_value != NULL);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   233
%s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   234
"""%(fdecl["baseinputnumber"]+2, code.replace('\n','\n        '), end_code))
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   235
            else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   236
                #res += code + end_code
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   237
                res += end_code
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   238
        else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   239
            res += "return return_type_symbol;\n"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   240
        
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   241
                
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   242
        return res.replace('\n','\n'+indent)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   243
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   244
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   245
###                                                             ###
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   246
###                           MAIN                              ###
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   247
###                                                             ###
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   248
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   249
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   250
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   251
Reorganize std_decl from structure.py
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   252
into a nested dictionnary structure (i.e. a tree):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   253
"{fname : {IN[0]paramname : {IN[0]paramtype : {IN[1]paraname : {IN[1]paramtype : {... : {IN[N]paraname : {IN[N]paramtype : (fdecl,)}}}}}}"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   254
Keep ptrack of original declaration order in a 
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   255
separated list called official_order
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   256
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   257
std_fdecls = {}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   258
official_order = []
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   259
for section in std_decl:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   260
    for fdecl in section["list"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   261
        if len(official_order)==0 or official_order[-1] != fdecl["name"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   262
            official_order.append(fdecl["name"])
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   263
        # store all func by name in a dict
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   264
        std_fdecls_fdecl_name = std_fdecls.get(fdecl["name"], {})
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   265
        current = std_fdecls_fdecl_name
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   266
        for i in fdecl["inputs"]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   267
            current[i[0]] = current.get(i[0], {})
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   268
            current = current[i[0]]
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   269
            last = current
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   270
            current[i[1]] = current.get(i[1], {})
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   271
            current = current[i[1]]
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   272
        last[i[1]]=(fdecl,)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   273
        std_fdecls[fdecl["name"]] = std_fdecls_fdecl_name
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   274
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   275
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   276
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   277
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   278
Generate the long enumeration of std function types
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   279
"""
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
   280
function_type_decl =  matiec_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   281
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   282
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   283
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   284
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   285
typedef enum {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   286
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   287
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   288
    function_type_decl += "    function_"+fname.lower()+",\n"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   289
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   290
function_type_decl += """    function_none
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   291
} function_type_t;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   292
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   293
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   294
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   295
Generate the funct that return enumerated according function name
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   296
"""
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
   297
get_function_type_decl = matiec_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   298
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   299
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   300
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   301
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   302
function_type_t get_function_type(identifier_c *function_name) {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   303
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   304
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   305
    get_function_type_decl += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   306
if (!strcasecmp(function_name->value, "%s"))
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   307
    return function_%s;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   308
"""%(fname,fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   309
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   310
get_function_type_decl += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   311
    else return function_none;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   312
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   313
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   314
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   315
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   316
"""
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   317
Generate the part of generate_c_st_c::visit(function_invocation)
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   318
that is responsible to generate C code for std lib calls.
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   319
"""
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
   320
st_code_gen = matiec_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   321
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   322
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   323
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   324
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   325
switch(current_function_type){
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   326
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   327
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   328
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   329
    st_code_gen += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   330
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   331
 *%s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   332
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   333
    case function_%s :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   334
    {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   335
        symbol_c *last_type_symbol = NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   336
"""    %(fname, fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   337
    indent =  "    "
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   338
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   339
    st_code_gen += recurse_and_indent(fdecls, indent).replace('\n','\n    ')
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   340
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   341
    st_code_gen += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   342
    }/*function_%s*/
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   343
    break;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   344
"""    %(fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   345
st_code_gen +=  """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   346
    case function_none :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   347
    ERROR;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   348
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   349
return NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   350
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   351
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   352
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   353
"""
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   354
Generate the part of generate_c_il_c::visit(il_function_call)
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   355
that is responsible to generate C code for std lib calls.
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   356
"""
58
39cd981ff242 Changing file headers
lbessard
parents: 43
diff changeset
   357
il_code_gen = matiec_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   358
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   359
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   360
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   361
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   362
switch(current_function_type){
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   363
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   364
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   365
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   366
    il_code_gen += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   367
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   368
 *%s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   369
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   370
    case function_%s :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   371
    {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   372
        symbol_c *last_type_symbol = NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   373
"""    %(fname, fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   374
    indent =  "    "
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   375
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   376
    il_code_gen += recurse_and_indent(fdecls, indent, do_il=True).replace('\n','\n    ')
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   377
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   378
    il_code_gen += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   379
    }/*function_%s*/
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   380
    break;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   381
"""    %(fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   382
il_code_gen +=  """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   383
    case function_none :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   384
    ERROR;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   385
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   386
return NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   387
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   388
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   389
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   390
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   391
Generate the part of search_expression_type_c::visit(function_invocation)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   392
that is responsible of returning type symbol for function invocation.
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   393
"""
59
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
   394
search_type_code = matiec_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   395
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   396
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   397
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   398
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   399
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   400
void *compute_standard_function_st(function_invocation_c *symbol) {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   401
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   402
  function_type_t current_function_type = get_function_type((identifier_c *)symbol->function_name);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   403
  function_call_param_iterator_c function_call_param_iterator(symbol);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   404
  search_expression_type_c* search_expression_type = this;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   405
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   406
  switch(current_function_type){
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   407
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   408
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   409
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   410
    search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   411
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   412
 *%s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   413
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   414
    case function_%s :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   415
    {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   416
        symbol_c *last_type_symbol = NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   417
"""    %(fname, fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   418
    indent =  "    "
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   419
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   420
    search_type_code += recurse_and_indent(fdecls, indent, True).replace('\n','\n    ')
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   421
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   422
    search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   423
    }/*function_%s*/
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   424
    break;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   425
"""    %(fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   426
search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   427
    case function_none :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   428
    ERROR;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   429
  }
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   430
  return NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   431
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   432
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   433
void *compute_standard_function_il(il_function_call_c *symbol, symbol_c *param_data_type) {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   434
  
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   435
  function_type_t current_function_type = get_function_type((identifier_c *)symbol->function_name);
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   436
  function_call_param_iterator_c function_call_param_iterator(symbol);  
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   437
  search_expression_type_c* search_expression_type = this;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   438
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   439
  switch(current_function_type){
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   440
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   441
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   442
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   443
    search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   444
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   445
 *%s
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   446
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   447
    case function_%s :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   448
    {
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   449
        symbol_c *last_type_symbol = NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   450
"""    %(fname, fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   451
    indent =  "    "
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   452
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   453
    search_type_code += recurse_and_indent(fdecls, indent, True, True).replace('\n','\n    ')
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   454
    
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   455
    search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   456
    }/*function_%s*/
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   457
    break;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   458
"""    %(fname.lower())
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   459
search_type_code += """
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   460
    case function_none :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   461
    ERROR;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   462
  }
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   463
  return NULL;
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   464
}
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   465
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   466
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   467
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   468
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   469
###################################################################
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   470
"""
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   471
Generate the standard_function_names[] for inclusion in bizon generated code
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   472
"""
59
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
   473
standard_function_names = matiec_header + """
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   474
/****
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   475
 * IEC 61131-3 standard function lib
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   476
 * generated code, do not edit by hand
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   477
 */
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   478
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   479
const char *standard_function_names[] = {
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   480
"""
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   481
for fname, fdecls in [ (fname,std_fdecls[fname]) for fname in official_order ]:
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   482
    standard_function_names += "\""+fname+"\",\n"
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   483
standard_function_names += """
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   484
/* end of array marker! Do not remove! */
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   485
NULL
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   486
};
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   487
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   488
"""
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   489
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   490
###################################################################
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   491
###################################################################
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   492
###################################################################
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   493
"""
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   494
Generate the C implementation of the IEC standard function library.
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   495
"""
59
af079a11837b Adding header for files published under LGPL
lbessard
parents: 58
diff changeset
   496
iec_std_lib_generated = matiec_lesser_header + """
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   497
/****
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   498
 * IEC 61131-3 standard function lib
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   499
 * generated code, do not edit by hand
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   500
 */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   501
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   502
/* Macro that expand to subtypes */
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   503
"""
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   504
for typename, parenttypename in TypeHierarchy_list:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   505
    if (typename.startswith("ANY")):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   506
        iec_std_lib_generated += "#define " + typename + "(DO)"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   507
        for typename2, parenttypename2 in TypeHierarchy_list:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   508
            if(parenttypename2 == typename):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   509
                if(typename2.startswith("ANY")):
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   510
                    iec_std_lib_generated +=  " " + typename2 + "(DO)"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   511
                else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   512
                    iec_std_lib_generated +=  " DO(" + typename2 + ")"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   513
        iec_std_lib_generated +=  "\n"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   514
    else:
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   515
        break
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   516
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   517
if len(sys.argv) != 2 :
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   518
    print "Usage: " + sys.argv[0] + "path_name\n -> create files in path_name"
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   519
    sys.exit(0)
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   520
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   521
# Now, print that out, or write to files from sys.argv
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   522
for path, name, ext in [
115
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   523
        ('stage4/generate_c','function_type_decl','h'),
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   524
        ('stage4/generate_c','get_function_type_decl','c'),
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   525
        ('stage4/generate_c','st_code_gen','c'),
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   526
        ('stage4/generate_c','il_code_gen','c'),
017a65259f07 Change generate_cc to generate_c
lbessard
parents: 59
diff changeset
   527
        ('stage4/generate_c','search_type_code','c'),
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   528
        ('stage1_2','standard_function_names','c'),
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   529
        ('lib', 'iec_std_lib_generated','h')
26
36d378bd852e Stage4 changes according to new STD lib implementation
etisserant
parents: 25
diff changeset
   530
        ]:
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   531
    fd = open(os.path.join(sys.argv[1], path, name+'.'+ext),'w')
25
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   532
    fd.write(eval(name))
8dc68e669d99 Early implementation of STD library.
etisserant
parents:
diff changeset
   533
    fd.close()
36
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   534
    
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   535
#print "/* Code to eventually paste in iec_std_lib.h if type hierarchy changed */"
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   536
#print "/* you also have to change iec_std_lib.h according to new types        */\n\n"
e7d67b27877f Changes in the std library + std lib PLCOpen test (broken)
etisserant
parents: 26
diff changeset
   537
#print iec_std_lib_generated