ada-france / aflex

Aflex the Ada fast lexical analyser generator

Ada France Web Site

Ce projet contient les sources de l'application Ada France qui permet au site Ada France de diffuser des informations et promouvoir le langage Ada.

Version 1.20 - Juin 2023

• Construction avec Alire
• Mise à jour de AWA

Version 1.19 - Mai 2023

• Ajout du status INACTIVE pour marquer un membre qui n'est plus actif ou qui utilise une autre adresse mail
• Correction du mail pour changer son mot de passe

Version 1.18 - Mars 2023

• Supression des liens externes morts et ajout de nouveaux sites,
• Meilleure présentation sur les mobiles,
• Génération des recus en asynchrone avec AWA.Jobs.

Version 1.16 - Dec 2022

• L'authentification par Github ou Gitlab est possible pour les membres enregistrés
• Intégration de l'éditeur EasyMDE pour éditer des articles et wiki en Markdown

Cette version est basee sur SQLite et utilise Alire pour la construction et gestion des dependances.

Version 1.13 - Mar 2022

• Mise à jour pour le renouvellement des cotisations

Compilation

Setup

Pour une compilation sous Debian 12, la configuration suivante est nécessaire:

sudo apt-get install alire imagemagick unzip xsltproc \
  libmariadb-dev mariadb-server mariadb-client libsqlite3-dev \
  context context-modules libjpeg-turbo-progs closure-compiler

Notes:

• imagemagick est utilisé pour la conversion d'images,
• context est utilisé pour la génération des attestations

Build

Récupération des sources et des sous modules git:

git clone --recursive https://github.com/Ada-France/ada-france.git
cd ada-france

Ensuite lancer la compilation avec:

alr build -- -XSOCKET=openssl

Lancement

Setup

Pour configurer le serveur la première fois, lancer la commande:

  bin/adafr-server -v setup adafr

Faire le setup dans le navigateur en allant sur la page: http://localhost:8080/adafr/index.html Le setup permet de:

• définir l'accès à la base de données,
• configurer les secrets pour OAuth2 (Google, Facebook),
• configurer les paramètres SMTP pour envoyer les mails

Une fois le setup terminée, l'application Ada France est lancée.

Pour re-faire une setup, supprimer le fichier .initialized et relancer la commande.

Lancement normal:

Pour lancer l'application, utilisez:

   bin/adafr-server start --upload=./upload

Par défault, la base de donnée SQLite est créée avec l'utilisateur admin at ada-france.org et mot de passe admin. Cet utilisateur n'existe pas en prod, inutile d'essayer!

aflex's Issues

Off by one error on yylineno and yylinecol when %option yylineno is used

When using yylineno and yylinecol to get the location of a token, there is always:

• a -1 offset for yylineno
• a +1 offset for yylinecol

Cannot with aflex and ayacc together in a project

It is unfortunate that aflex and ayacc have a common Ada package name Parser.

This prevents to use both aflex and ayacc at the same time in an Alire project.

`Ada.Text_IO.` missing in a template

On testing aflex_1.6.0_b3c21d99 for P2Ada, I get:
pascal_io.adb:108:7: error: "Put_Line" is not visible

...which is solved by adding a heading "Ada.Text_IO" at line 288 of template_manager-templates.ads
L_165 : aliased constant String := " Put_Line (""Input line """;

...or better (I guess) at line 125 of templates/body-io.adb

Maybe support larger integer types for yylineno

It would be helpful to be able to specify different integer types for yylineno. I thought I'd try an Ada-based solution and was trying to use aflex and ayacc to verify a 270GB FASTA file (it is supposed to have a very regular structure). Unfortunately I got an exception:

raised CONSTRAINT_ERROR : scanfasta_lexer.adb:221 overflow check failed

For now, I'm manually forcing yylineno and yy_last_yylineno to be a custom type in the _dfa.ads file. It would be nice to be able to specify that in a different file that would not be overwritten during the build process.

Thanks!

Missing Input_Line function when -E option is used

When the -E option is used with aflex, we are supposed to generate a Input_Line function for AYacc.
I've removed that function in Aflex 1.5 due to a miss-understanding on my side.

With the new template implementation and its %if/%else/%end condition, it's now easier to resurrect the old Input_Line function.

When -E is not given, the Input_Line function returned only 1 and was not necessary.

See Ada-France/ayacc#3

%reentrant causes a syntax error in parser-lexer_io.ads

Hello. Maybe I am doing something wrong that confuses aflex and this error wouldn't show up with a better ".l"

The file containing the lexer definition is called "paeser-lexer.l" (I don't know if it's of any importance).

When I add the option %reentrant, the generated file parser-lexer_io.ads has its functions and procedures changed (which is normal and expected). However, the function "Create_Output" (line 48 in my file, could be different your side) has an incorrect signature. The line is:

procedure Create_Output (Context : in our Context_Type) frame : in String := "");

The error is just after "Context_Type". It should be a semicolon (";") and not a closing parenthesis (")").

Note that the functions and procedures above are correctly generated, as far as I can tell.

Can you reproduce the bug ?