Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
divine-ltsmin-deb
Commits
95eb4c7f
Commit
95eb4c7f
authored
Aug 10, 2010
by
Elwin Pater
Committed by
Michael Weber
Nov 05, 2010
Browse files
Consistent naming in guard interface
parent
c5804869
Changes
1
Hide whitespace changes
Inline
Side-by-side
tools/dvecompile.cpp
View file @
95eb4c7f
...
...
@@ -2129,7 +2129,7 @@ void dve_compiler::gen_transition_info()
line
();
// export the number of guards
line
(
"extern
\"
C
\"
const int get_guard
s
_count() "
);
line
(
"extern
\"
C
\"
const int get_guard_count() "
);
block_begin
();
sprintf
(
buf
,
"return %zu;"
,
guard
.
size
());
line
(
buf
);
...
...
@@ -2229,7 +2229,7 @@ void dve_compiler::gen_transition_info()
line
();
// export the guard matrix
line
(
"extern
\"
C
\"
const int* get_guard
s
_matrix(int g) "
);
line
(
"extern
\"
C
\"
const int* get_guard_matrix(int g) "
);
block_begin
();
sprintf
(
buf
,
"if (g>=0 && g < %zu) return guard[g];"
,
guard
.
size
());
line
(
buf
);
...
...
@@ -2267,7 +2267,7 @@ void dve_compiler::gen_transition_info()
// may be co-enabled function
line
(
"extern
\"
C
\"
const int* get_guard
s
_may_be_coenabled_matrix(int g) "
);
line
(
"extern
\"
C
\"
const int* get_guard_may_be_coenabled_matrix(int g) "
);
block_begin
();
sprintf
(
buf
,
"if (g>=0 && g < %zu) return guardmaybecoenabled[g];"
,
guard
.
size
());
line
(
buf
);
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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