andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Another simple trampoline removed.

Browse Source
This commit is contained in:
Cas Cremers 2018-10-19 15:51:47 -04:00
parent fe2bc26e71
commit e831a9d51b
1 changed files with 9 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/compiler.c
View File

@ -2332,16 +2332,19 @@ void
checkWellFormed (const System sys)
{
int allOkay;
Protocol p;
allOkay = true;
for (p = sys->protocols; p != NULL; p = p->next)
{
Role r;
int thisRole (Protocol p, Role r)
{
allOkay = allOkay && WellFormedRole (sys, p, r);
return true;
}
for (r = p->roles; r != NULL; r = r->next)
{
allOkay = allOkay && WellFormedRole (sys, p, r);
}
}
iterateRoles (sys, thisRole);
if (allOkay == false)
{
error