Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
45e52f64
Commit
45e52f64
authored
Aug 11, 2015
by
David Hauzar
Browse files
Minor refactoring of Ident.transform_model_trace_labels.
parent
be7add55
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/core/ident.ml
View file @
45e52f64
...
...
@@ -46,15 +46,18 @@ let lab_compare l1 l2 = Pervasives.compare l1.lab_tag l2.lab_tag
let
model_trace_regexp
=
Str
.
regexp
"model_trace:"
let
is_model_trace_label
l
=
let
is_model_trace_label
l
abel
=
try
ignore
(
Str
.
search_forward
model_trace_regexp
l
.
lab_string
0
);
ignore
(
Str
.
search_forward
model_trace_regexp
labe
l
.
lab_string
0
);
true
with
Not_found
->
false
let
get_model_trace_label
labels
=
Slab
.
choose
(
Slab
.
filter
is_model_trace_label
labels
)
let
transform_model_trace_label
labels
trans_fun
=
try
let
trace_label
=
Slab
.
choose
(
Slab
.
filter
is
_model_trace_label
labels
)
in
let
trace_label
=
get
_model_trace_label
labels
in
let
labels_without_trace
=
Slab
.
remove
trace_label
labels
in
let
new_trace_label
=
create_label
(
trans_fun
trace_label
.
lab_string
)
in
Slab
.
add
new_trace_label
labels_without_trace
...
...
@@ -73,7 +76,7 @@ let append_to_model_trace_label ~labels ~to_append =
transform_model_trace_label
labels
trans
let
get_model_element_name
~
labels
=
let
trace_label
=
Slab
.
choose
(
Slab
.
filter
is
_model_trace_label
labels
)
in
let
trace_label
=
get
_model_trace_label
labels
in
let
splitted1
=
Str
.
bounded_split
(
Str
.
regexp_string
":"
)
trace_label
.
lab_string
2
in
match
splitted1
with
|
[
_
;
content
]
->
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment