Skip to content
GitLab
Explorer
Connexion
Navigation principale
Rechercher ou aller à…
Projet
G
Grimoire
Gestion
Activité
Membres
Labels
Programmation
Tickets
Tableaux des tickets
Jalons
Wiki
Wiki externe
Code
Requêtes de fusion
Dépôt
Branches
Validations
Étiquettes
Graphe du dépôt
Comparer les révisions
Aide
Aide
Support
Documentation de GitLab
Comparer les forfaits GitLab
Forum de la communauté GitLab
Contribuer à GitLab
Donner votre avis
Raccourcis clavier
?
Extraits de code
Groupes
Projets
Afficher davantage de fils d'Ariane
Kubat
Grimoire
Validations
551e430b
Non vérifiée
Valider
551e430b
rédigé
Il y a 2 mois
par
Kubat
Parcourir les fichiers
Options
Téléchargements
Correctifs
Plain Diff
[PARSER] Finished implementing utils parsers
parent
a8fc2bc5
Aucune branche associée trouvée
Aucune étiquette associée trouvée
Aucune requête de fusion associée trouvée
Modifications
2
Afficher les modifications d'espaces
En ligne
Côte à côte
Affichage de
2 fichiers modifiés
grimoire/src/parser/span.rs
+20
-2
20 ajouts, 2 suppressions
grimoire/src/parser/span.rs
grimoire/src/parser/utils.rs
+22
-10
22 ajouts, 10 suppressions
grimoire/src/parser/utils.rs
avec
42 ajouts
et
12 suppressions
grimoire/src/parser/span.rs
+
20
−
2
Voir le fichier @
551e430b
use
crate
::
ast
::
Location
;
use
nom
::{
Compare
,
FindSubstring
,
Input
,
Offset
as
_
};
use
nom
::{
Compare
,
FindSubstring
,
Input
,
Offset
};
#[derive(Debug,
Clone,
Copy,
PartialEq,
Eq,
Hash)]
pub
struct
Span
<
'a
>
{
...
...
@@ -23,6 +23,18 @@ impl<'a> core::ops::Deref for Span<'a> {
}
}
impl
From
<
Span
<
'_
>>
for
String
{
fn
from
(
value
:
Span
<
'_
>
)
->
Self
{
value
.fragment
()
.to_string
()
}
}
impl
<
'a
>
From
<
Span
<
'a
>>
for
&
'a
str
{
fn
from
(
value
:
Span
<
'a
>
)
->
Self
{
value
.fragment
}
}
impl
<
'a
>
Span
<
'a
>
{
pub
fn
new
(
fragment
:
&
'a
str
)
->
Span
<
'a
>
{
Self
{
...
...
@@ -85,6 +97,12 @@ impl<'a> Span<'a> {
}
}
impl
Offset
for
Span
<
'_
>
{
fn
offset
(
&
self
,
second
:
&
Self
)
->
usize
{
second
.fragment
()
.as_ptr
()
as
usize
-
self
.fragment
()
.as_ptr
()
as
usize
}
}
impl
<
'a
>
Input
for
Span
<
'a
>
{
type
Item
=
<&
'a
str
as
Input
>
::
Item
;
type
Iter
=
<&
'a
str
as
Input
>
::
Iter
;
...
...
@@ -138,6 +156,6 @@ impl Compare<&str> for Span<'_> {
impl
FindSubstring
<&
str
>
for
Span
<
'_
>
{
fn
find_substring
(
&
self
,
substr
:
&
str
)
->
Option
<
usize
>
{
todo!
(
)
self
.fragment
()
.find_substring
(
substr
)
}
}
Ce diff est replié.
Cliquez pour l'agrandir.
grimoire/src/parser/utils.rs
+
22
−
10
Voir le fichier @
551e430b
...
...
@@ -9,16 +9,16 @@ use nom::{
complete
::{
tag
,
take_while_m_n
},
take_until
,
},
character
::
complete
::{
char
,
digit1
,
multispace0
,
multispace1
},
combinator
::{
peek
,
value
,
verify
},
multi
::
fold
,
sequence
::{
delimited
,
preceded
},
character
::
complete
::{
alpha1
,
alphanumeric1
,
char
,
digit1
,
multispace0
,
multispace1
},
combinator
::{
opt
,
peek
,
recognize
,
value
,
verify
},
multi
::
{
fold
,
many0
},
sequence
::{
delimited
,
pair
,
preceded
},
};
pub
fn
parse_paren
<
'a
,
T
>
(
inner
:
impl
Parser
<
Span
<
'a
>
,
Output
=
T
,
Error
=
ParserError
>
,
)
->
impl
Parser
<
Span
<
'a
>
,
Output
=
T
,
Error
=
ParserError
>
{
preceded
(
multispace0
,
delimited
(
tag
(
"("
),
inner
,
tag
(
")"
)))
preceded
(
multispace0
,
delimited
(
char
(
'('
),
inner
,
char
(
')'
)))
}
pub
fn
with_location
<
'a
,
O
>
(
...
...
@@ -52,18 +52,30 @@ pub fn keyword<'a>(
}
pub
fn
float
<
'a
>
(
s
:
Span
<
'a
>
)
->
ParserResult
<
'a
,
f32
>
{
digit1
.map_res
(|
s
:
Span
<
'a
>
|
str
::
parse
::
<
f32
>
(
s
.fragment
()))
let
s
=
multispace0
(
s
)
?
.0
;
let
parse_f32
=
|
s
:
Span
<
'a
>
|
str
::
parse
::
<
f32
>
(
s
.into
());
pair
(
digit1
.map_res
(
parse_f32
),
opt
(
recognize
((
char
(
'.'
),
digit1
))
.map_res
(
parse_f32
)),
)
.map
(|(
intp
,
fltp
)|
intp
+
fltp
.unwrap_or_default
())
.parse
(
s
)
}
pub
fn
identifier
(
s
:
Span
)
->
ParserResult
<
String
>
{
todo!
()
let
s
=
multispace0
(
s
)
?
.0
;
recognize
(
pair
(
alt
((
alpha1
,
tag
(
"_"
))),
many0
(
alt
((
alphanumeric1
,
tag
(
"_"
)))),
))
.map
(
String
::
from
)
.parse
(
s
)
}
pub
fn
number
<
'a
>
(
s
:
Span
<
'a
>
)
->
ParserResult
<
'a
,
i32
>
{
let
s
=
multispace0
(
s
)
?
.0
;
digit1
.map_res
(|
s
:
Span
<
'a
>
|
str
::
parse
::
<
i32
>
(
s
.
fragme
nt
()))
.map_res
(|
s
:
Span
<
'a
>
|
str
::
parse
::
<
i32
>
(
s
.
i
nt
o
()))
.parse
(
s
)
}
...
...
Ce diff est replié.
Cliquez pour l'agrandir.
Aperçu
0%
Chargement en cours
Veuillez réessayer
ou
joindre un nouveau fichier
.
Annuler
You are about to add
0
people
to the discussion. Proceed with caution.
Terminez d'abord l'édition de ce message.
Enregistrer le commentaire
Annuler
Veuillez vous
inscrire
ou vous
se connecter
pour commenter