search

LucjanJanowski / translator-to-suJSON

Read subjective experiment data to suJSON format.
MIT License
2 stars 1 forks source link

PVS name parsing #10

Open MikolajDuda opened 5 years ago

MikolajDuda commented 5 years ago

First version of pvs_name_parser.py

Qub3k commented 5 years ago

@MikolajDuda, thank you for the commit. Let's treat this as a starting point. What we need now is an interface for defining what PVS naming convention is used (for a data set we want to analyse).

We assume this is the user that defines the PVS naming convention. Maybe let us start from some simple interface. Let us say this naming convention is given as a text string. For example, SRC_HRC should mean that everything from the beginning, up to the first underscore character ('_') is an identifier of SRC. Then, everything after the first underscore character, up to the dot character preceding the file extension, corresponds to an identifier of HRC.

Please notice that aforementioned string does not contain a file extension. I guess we can safely assume that anything after the last dot character is the file extension. Thus, it is superfluous to write it explicitly.

Qub3k commented 4 years ago

We put the development effort for this branch on hold. The team at AGH side is now focused on publishing the first usable version of suJSON tools.