Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
spins-ltsmin-deb
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
0
Issues
0
List
Boards
Labels
Service Desk
Milestones
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Incidents
Environments
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
CI / CD
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Spot
spins-ltsmin-deb
Commits
bfca30be
Commit
bfca30be
authored
Aug 31, 2017
by
Jeroen Meijer
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Fix GCC warning.
parent
a414f8b1
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
4 additions
and
2 deletions
+4
-2
src/spins/promela/compiler/ltsmin/LTSminPrinter.java
src/spins/promela/compiler/ltsmin/LTSminPrinter.java
+4
-2
No files found.
src/spins/promela/compiler/ltsmin/LTSminPrinter.java
View file @
bfca30be
...
...
@@ -164,7 +164,7 @@ public class LTSminPrinter {
generateHeader
(
w
,
model
);
generateNativeTypes
(
w
);
generateTypeDef
(
w
,
model
);
generateForwardDeclarations
(
w
);
generateForwardDeclarations
(
w
,
model
);
generateStateCount
(
w
,
model
);
generateInitialState
(
w
,
model
);
generateLeavesAtomic
(
w
,
model
);
...
...
@@ -406,8 +406,10 @@ public class LTSminPrinter {
w
.
appendLine
(
""
);
}
private
static
void
generateForwardDeclarations
(
StringWriter
w
)
{
private
static
void
generateForwardDeclarations
(
StringWriter
w
,
LTSminModel
model
)
{
if
(
model
.
hasAtomicCycles
)
{
w
.
appendLine
(
"extern inline int spins_reach (void* model, transition_info_t *transition_info, state_t *in, void (*callback)(void* arg, transition_info_t *transition_info, state_t *out, int *cpy), void *arg, int pid, int *cpy);"
);
}
w
.
appendLine
(
"extern inline int spins_simple_reach (void* model, transition_info_t *transition_info, state_t *in, void (*callback)(void* arg, transition_info_t *transition_info, state_t *out, int *cpy), void *arg, int pid, int *cpy);"
);
w
.
appendLine
(
"extern int spins_get_successor_all (void* model, state_t *in, void (*callback)(void* arg, transition_info_t *transition_info, state_t *out, int *cpy), void *arg);"
);
w
.
appendLine
(
"extern int spins_get_successor (void* model, int t, state_t *in, void (*callback)(void* arg, transition_info_t *transition_info, state_t *out, int *cpy), void *arg);"
);
...
...
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