VPF::Кодогенераторы. Собираем. Делимся.

borisbn

Дата 17.6.2012, 12:26 (ссылка)

(голосов:1)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Всем привет.

Захотелось создать такую тему, где можно было бы поделиться различными кодогенераторами.
Отчасти - чтобы потешить тщеславие, отчасти - поделиться, отчасти - найти что-то полезное, отчасти - заполучить тестеров нахаляву )))

Предлагаю собрать в теме либо свои наработки, либо ссылки на готовые кодогенераторы.
Начнём-с.

Программа, создающая имплементацию по данному ей интерфейсу. Представьте, Вы создали h-файл с таким вот классом

Код

class IFace
{
public:
    virtual ~IFace(){}
    virtual void foo() = 0;
    virtual int bar( int ) = 0;
// и ещё с десяток подобных ф-ций
};

Теперь, чтобы создать имплементацию, Вы делаете довольно много черновой работы:
1) создать h-ник с именем что-нибудь типа IFaceImpl.h
2) написать в нём

Код

#include "IFace.h"
class IFaceImpl : public IFace

3) скопировать из IFace.h все функции (кроме деструктора) и поудалять в них "=0"
4) создать cpp-к с именем что-нибудь типа IFaceImpl.cpp
5) написать в нём

Код

#include "IFaceImpl.h"

6) скопировать из IFaceImpl.h все функции и подабавлять к ним IFaceImpl:: плюс { и }

Предлагается автоматизировать эту работу таким вот скриптиком

Цитата

make_impl.py /path/to/file/IFace.h IFaceImpl

код - http://pastebin.com/dQsFF3DL
Параметры запуска:

Цитата

make_impl.py <h-file> [impl-class-name | :ask]

если в качестве второго параметра задать :ask, то скрипт спросит имя класса имплементации:
user posted image

Это сообщение отредактировал(а) borisbn - 17.6.2012, 12:32

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

Dem_max

Дата 17.6.2012, 13:13 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1780
Регистрация: 12.4.2007

Репутация: 4
Всего: 39

выложи готовый EXE

--------------------

Американские программисты долго не могли понять, почему русские при зависании Windоws всё время повторяют "Твой зайка написал" ("Yоur bunnу wrоte")

alexvs11

Дата 17.6.2012, 13:22 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

а flex/bison на что?

boostcoder

Дата 17.6.2012, 13:22 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата

выложи готовый EXE

это же пайтон.

Добавлено через 1 минуту и 25 секунд

Цитата(alexvs11 @ 17.6.2012, 13:22

)

flex/bison

а разве они умеют выполнять подобную задачу без тонны Сишной обвязки? оО

Это сообщение отредактировал(а) boostcoder - 17.6.2012, 13:23

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

alexvs11

Дата 17.6.2012, 13:28 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

Цитата(boostcoder @ 17.6.2012, 13:22

)

а разве они умеют выполнять подобную задачу без тонны Сишной обвязки? оО

для такой задачи из сишной обвязки там будет fopen и fprintf

Добавлено через 2 минуты и 1 секунду
точнее просто printf

borisbn

Дата 17.6.2012, 13:40 (ссылка)

(голосов:2)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Цитата(Dem_max @ 17.6.2012, 13:13

)

выложи готовый EXE

py2exe в руки

Цитата(alexvs11 @ 17.6.2012, 13:22

)

а flex/bison на что?

оно, возможно, и правильнее, но во-первых, я его почти не знаю, а во-вторых, там всё как-то сложно для такой простой задачки

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

boostcoder

Дата 17.6.2012, 13:42 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(alexvs11 @ 17.6.2012, 13:28)

Цитата(boostcoder @ 17.6.2012, 13:22

)

а разве они умеют выполнять подобную задачу без тонны Сишной обвязки? оО

для такой задачи из сишной обвязки там будет fopen и fprintf

Добавлено @ 13:30
точнее просто printf

раз все так просто - реквестирую реализацию с использованием flex|bison.

спасибо!

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

borisbn

Дата 17.6.2012, 13:49 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

Attention!!!
Обратите внимание, что я ищу имя функции для вставки в cpp-шник как "какое-нибудь-слово" и затем открывающая скобка. Это не будет работать, если функция возвращает указатель на функцию, например

Код

bool (*)(int) getFunction() = 0;
или
std::function< bool(int) > getF() = 0;

и ещё не отслеживается такая ситуация (лень было)))

Код

/*
    virtual void foo() = 0;
*/

Добавлено через 2 минуты и 54 секунды
Господа, а чего только мой опус обсуждаем ? Что, нечем поделиться ? Можно своё, можно ссыль на готовое.

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

Randajad

Дата 17.6.2012, 13:59 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 295
Регистрация: 15.3.2012

Репутация: 8
Всего: 8

А нечем своим делиться!
Лично я не так часто пишу стопицот классов, так что эта тулза вряд-ли принесет какой-либо толк. :(

alexvs11

Дата 17.6.2012, 14:35 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

Цитата(boostcoder @ 17.6.2012, 13:42

)

раз все так просто - реквестирую реализацию с использованием flex|bison.спасибо!

сейчас попробуем забацать smile

boostcoder

Дата 17.6.2012, 16:14 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(alexvs11 @ 17.6.2012, 14:35

)

сейчас попробуем забацать

очень хотелось бы взглянуть smile

Добавлено через 2 минуты и 55 секунд

Цитата(borisbn @ 17.6.2012, 13:49

)

Это не будет работать, если функция возвращает указатель на функцию

и еще в нескольких случаях.
не зря же у С++ самый сложный синтаксис. к тому же, и контекстозависимый. так что, я не думаю что сходу можно реализовать парсер корректно обрабатывающий сабж во всех возможных комбинациях факторов.

libclang в руки!

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

alexvs11

Дата 17.6.2012, 19:21 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

ну примерно так

входной файл
IFace.h

Код


class IFace
{
public:
    virtual ~IFace(){}
    IFace(int a);
    virtual void foo(float, double) = 0;
    /*
     * bar function 
     */
    virtual int bar( int, double z ) = 0;
};

interf.l (flex)

Код


%{
#include <stdio.h>
#include <string.h>
#define YYSTYPE char *
#include "./interf.tab.h"
#if 0
#define _ printf("%d [%s]\n", __LINE__, yytext); 
#else
#define _
#endif
extern YYSTYPE yylval;
%}
%option yylineno
%option noyywrap
%%
"/*"([^\*]|\*[^/])*"*/"         { yylval=strdup(yytext); _; return COMMENT; }
[:(){};=~,]                     { _; return yytext[0];                      }
const|long|short|\*             { yylval=strdup(yytext); _; return MOD;     }
int|void|float|double|char      { yylval=strdup(yytext); _; return TYPE;    }
public|private|protected        { yylval=strdup(yytext); _; return ACCESS;  }
"class"                         { _; return CLASS;                          }
"virtual"                       { _; return VIRTUAL;                        }
"0"                             { _; return '0';                            }
[+\-0-9][0-9]*                  { yylval=strdup(yytext); _; return DIGIT;  }      
[_a-zA-Z][a-zA-Z0-9]*           { yylval=strdup(yytext); _; return IDENT;   }
[ \t\n]+                        { }

%%

interf.y (bison)

Код


%{
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

#define YYERROR_VERBOSE 1
#define YYSTYPE char*
#define IDENT_MAX (4)
#define IDENT_NAME_MAX (80)
#define ARGS_LIST_LENGTH (80)
#define BODY_LENGTH (10000)
#define eos(s) (s + strlen(s))

int yylineno;
char ident_name_table[IDENT_NAME_MAX][IDENT_MAX];
char class_name[IDENT_NAME_MAX];
char sub_class_name[IDENT_NAME_MAX];
char args_list[ARGS_LIST_LENGTH] = {};
char arg[50];
char body[BODY_LENGTH] = {};
YYSTYPE yylval;

typedef enum {
  HPP_FILE,
  CPP_FILE
} FILE_TYPE;

FILE_TYPE ftype;

void yyerror(const char *str) {
 fprintf(stderr, "\n error: string N  %u, %s\n", yylineno, str);
}

void add_arg(char* type, char* name) {
 if (strlen(args_list)) strcat (args_list, ", ");
 strcat (args_list, type);
 if (name) { strcat (args_list, " "); strcat (args_list, name); }
}

char* get_arg_list(void) {
 return strdup(args_list);
}

void clear_list(void) {
 args_list[0] = '\0';
}

%}

%token TYPE CLASS VIRTUAL ACCESS IDENT DIGIT COMMENT MOD
%start pro

%%

pro: CLASS IDENT '{' body '}' ';' { 
                                    if (ftype == HPP_FILE) {  
                                      printf ("#include \"%s.h\"\n\nclass %s : public %s {\n%s\n};\n", 
                                      $2, sub_class_name, $2, body); 
                                    } else {
                                      printf ("#include \"%s.h\"\n\n%s\n", 
                                      sub_class_name, body); 
                                    }
                                  }
      ;
body: | body ACCESS ':'                 { if (ftype == HPP_FILE) sprintf (eos(body), "%s: \n", $2); }
      | body method                     { }
      | body COMMENT                    { sprintf (eos(body), "\t%s\n", $2); }
      ;
method: TYPE IDENT '(' typelist ')' ';'                 { 
                                                           if (ftype == HPP_FILE) sprintf (eos(body), "\t%s %s (%s);\n", $1, $2 ,$4);
                                                           else sprintf (eos(body), "%s %s::%s (%s);\n\n", $1, sub_class_name, $2 ,$4);
                                                        }
      | VIRTUAL TYPE IDENT '(' typelist ')' ';'         { 
                                                           if (ftype == HPP_FILE) sprintf (eos(body), "\tvirtual %s %s (%s);\n", $2, $3 ,$5); 
                                                           else sprintf (eos(body), "%s %s::%s (%s);\n\n", $2, sub_class_name, $3 ,$5);
                                                        }
      | VIRTUAL TYPE IDENT '(' typelist ')' '=' '0' ';' { 
                                                           if (ftype == HPP_FILE) sprintf (eos(body), "\tvirtual %s %s (%s);\n", $2, $3 ,$5); 
                                                           else sprintf (eos(body), "%s %s::%s (%s){\n\n}\n\n", $2, sub_class_name, $3 ,$5); 
                                                        }
      | IDENT '(' typelist ')' ';'                      { 
                                                           if (ftype == HPP_FILE) sprintf (eos(body), "\t%s (%s);\n", sub_class_name, $3); 
                                                           else sprintf (eos(body), "%s::%s (%s){\n\n}\n\n", sub_class_name, sub_class_name, $3); 
                                                        }
      | VIRTUAL '~' IDENT '(' ')' '{' '}'               { 
                                                           if (ftype == HPP_FILE) sprintf (eos(body), "\tvirtual ~%s();\n", sub_class_name); 
                                                           else sprintf (eos(body), "%s::~%s(){\n\n}\n\n", sub_class_name, sub_class_name);  
                                                        }
      ;
typelist:         {$$ = ""}
      | tlist     {$$ = get_arg_list(); clear_list();}
      ;
tlist:  arg             { add_arg($1, NULL); }
      | tlist ',' arg   { add_arg($1, NULL); }
      ;
arg:    type IDENT   { sprintf (arg, "%s %s", $1, $2); $$ = arg; }
      | type         { sprintf (arg, "%s", $1);        $$ = arg; }
      ;
type: premodlist TYPE postmodlist {$$ = $2;}
      ;
premodlist: 
      | premodlist MOD
      ;
postmodlist: 
      | postmodlist MOD 
      ;

%%

int main(int argc, char* argv[]) {
  if (argc != 3) {
    printf ("bad command line\n");
    return 1;
  }

  strcpy (sub_class_name, argv[1]);
  char buff [IDENT_NAME_MAX+4];

  if (!strcmp(argv[2], "cpp"))    ftype = CPP_FILE;
  else if (!strcmp(argv[2], "h")) ftype = HPP_FILE;
  else {
    printf ("bad file type\n");
    return 1;
  }

  if (yyparse()) {
    printf ("error in compilation\n");
    return 1;
  } 
  
  return 0;
}

Код


bison -vtd interf.y
flex interf.l 
gcc -g interf.tab.c lex.yy.c -o interf

cat IFace.h | ./interf FaceImpl h

Код


#include "IFace.h"

class FaceImpl : public IFace {
public: 
    virtual ~FaceImpl();
    FaceImpl (int a);
    virtual void foo (int afloat, int afloatdouble);
    /*
     * bar function 
     */
    virtual int bar (int afloatdoubleint, int afloatdoubleintdouble z);

};

cat IFace.h | ./interf FaceImpl cpp

Код


#include "FaceImpl.h"

FaceImpl::~FaceImpl(){

}

FaceImpl::FaceImpl (int a){

}

void FaceImpl::foo (float, double){

}

    /*
     * bar function 
     */
int FaceImpl::bar (int, double z){

}

далеко не лучший код, просто по-быстрому набросал

Это сообщение отредактировал(а) alexvs11 - 17.6.2012, 19:25

boostcoder

Дата 17.6.2012, 20:16 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

alexvs11, спасибо за пример, но выглядит страшно smile

скажи, ты раньше с flex работал? ибо я думаю, что если с нуля, то потребовался бы не один день на это. (это к слову о простоте)

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

alexvs11

Дата 17.6.2012, 20:31 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

Цитата(boostcoder @ 17.6.2012, 20:16

)

flex - это первая часть - там обыкновенные регулярки для вычленения лексем
с bison-ом посложнее - он по БНФ строит синтаксический анализатор и выполняет соответствующие действия

я с ними действительно уже работал, и по мне там нужно просто иметь базовые представления о построении компиляторов и тогда легко освоить

так как оно предназначено для построения компиляторов - штука мощная, быстрая и расширяемая
неудобно, что генерит с-код, есть bison++ и flex++ - но я не пробовал

borisbn

Дата 17.6.2012, 20:35 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 4875
Регистрация: 6.2.2010
Где: Ростов-на-Дону

Репутация: 22
Всего: 135

итого: скрипт на питоне - 100 строк. один файл
скрипт на flex|bison:
interf.l (flex) = 28 строк
interf.y (bison) = 132 строки
interf.l + interf.y = 160 строк
исчо: питон - кроссплатформенно, flex+bison - linux only

P.S. Господа-а-а-а-а.... просьба постить что-нить полезное. Спасибо

--------------------

Женщины отличаются от программистов тем, что у них чары состоят из стрингов

boostcoder

Дата 17.6.2012, 20:39 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(borisbn @ 17.6.2012, 20:35

)

flex+bison - linux only

для вянды тоже есть.

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

alexvs11

Дата 17.6.2012, 20:39 (ссылка)

(нет голосов)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

Цитата(borisbn @ 17.6.2012, 20:35

)

исчо: питон - кроссплатформенно, flex+bison - linux only

ну во-первых он есть для всех платформ
во-вторых на питоне у тебя все хорошо до тех пор, пока твоя грамматика элементарная
а дальше спагетти
flex/bison же четкое разделение на лексический анализатор и LALR(1) компилятор
ну это так, про адекватность сравнения

EvilsInterrupt

Дата 17.6.2012, 20:44 (ссылка)

(нет голосов)

Загрузка ...

Executables research

Профиль
Группа: Завсегдатай
Сообщений: 1019
Регистрация: 14.7.2007
Где: Железнодорожный, МО, Россия

Репутация: 2
Всего: 9

alexvs11, Круто ты выложил код, но я не осилил понять. Может напишешь "версию для детей"? Другими словами хочется статьи где бы ты поделился опытом!

--------------------

про реверсинг, вроде чтото даже интересно

boostcoder

Дата 17.6.2012, 21:04 (ссылка)

(нет голосов)

Загрузка ...

pattern`щик

Профиль
Группа: Завсегдатай
Сообщений: 5458
Регистрация: 1.4.2010

Репутация: 49
Всего: 110

Цитата(EvilsInterrupt @ 17.6.2012, 20:44

)

Может напишешь "версию для детей"? Другими словами хочется статьи где бы ты поделился опытом!

так же, почитал бы с удовольствием smile

--------------------

компилятор онлайн с поддержкой C++11
сборки компиляторов MinGW

alexvs11

Дата 17.6.2012, 21:12 (ссылка)

(голосов:1)

Загрузка ...

hell is here

Профиль
Группа: Участник
Сообщений: 518
Регистрация: 21.8.2010

Репутация: 6
Всего: 10

есть книга flex & bison издательства O'Reilly - там все четко, подробно и с примерами

Это сообщение отредактировал(а) alexvs11 - 17.6.2012, 21:13

xvr

Дата 18.6.2012, 12:22 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 7046
Регистрация: 28.8.2007
Где: Дублин, Ирландия

Репутация: 60
Всего: 223

Цитата(borisbn @ 17.6.2012, 13:49

)

Что, нечем поделиться ?

Ну как то не атк чтобы совсем нечем, но ничего полезного (за пределами проектов, где создавалось) как то не просматривается smile

Внутри всяких проектов не один десяток всяких генераторов было написанно, но не представляю куда хотя бы один из них можно применить 'вообще'

EvilsInterrupt

Дата 18.6.2012, 21:48 (ссылка)

(голосов:1)

Загрузка ...

Executables research

xvr, А можешь хотя бы небольшой список тех задач, что приходилось автоматизировать? Ато может что-то можно автоматизировать, а я и не задумывался )

--------------------

про реверсинг, вроде чтото даже интересно

xvr

Дата 19.6.2012, 12:10 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 7046
Регистрация: 28.8.2007
Где: Дублин, Ирландия

Репутация: 60
Всего: 223

Цитата(EvilsInterrupt @ 18.6.2012, 21:48

)

xvr, А можешь хотя бы небольшой список тех задач, что приходилось автоматизировать?

Генерация (по xml файлу) разборщика опций командной строки (и не только)
Генерация струкутр и программ для работы с структурированным хранилищем (база данных статистики, собираемой при работе интерпретатора)
Еще одна специализированная база данных (для экспертонй системы)
Подобие системы автоматического стриминга структур данных (процедуры чтения/записи генерировались по результатам парсинга заголовочных файлов)
Генерация програмных proxy для доступа к переменным конфигурации из базы данных (как с С++ объектам)
Генерация С++ объектов для доступа к SQL таблицам (MySQL)
Генерация Native wrapper'ов для ActiveX объектов в C++ Builder'е 3.0 (Генерировались переходники с ActiveX типов данных и методов вызова на родные Builder'овские)

Это то, что вспомнил навскидку

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »