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

Output should also yield 'recv' instead of 'read'.

Browse Source
This commit is contained in:
Cas Cremers 2008-08-20 16:16:18 +02:00
parent aaf27779a3
commit 8f01637528
3 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/dotout.c
View File

@ -283,7 +283,7 @@ roledefDraw (Roledef rd)
if (rd->type == READ) if (rd->type == READ)
{ {
eprintf ("read"); eprintf ("recv");
optlabel (); optlabel ();
eprintf (" from "); eprintf (" from ");
termPrintRemap (rd->from); termPrintRemap (rd->from);

6
src/role.c
View File

@ -63,7 +63,7 @@ roledefPrintGeneric (Roledef rd, int print_actor)
return; return;
} }
if (rd->type == READ) if (rd->type == READ)
eprintf ("READ"); eprintf ("RECV");
if (rd->type == SEND) if (rd->type == SEND)
eprintf ("SEND"); eprintf ("SEND");
if (rd->type == CLAIM) if (rd->type == CLAIM)
@ -475,7 +475,7 @@ WellFormedEvent (Term role, Knowledge know, Roledef rd)
// Read // Read
if (!isTermEqual (role, rd->to)) if (!isTermEqual (role, rd->to))
{ {
wfeError (know, rd, "Reading role incorrect.", rd->to, role); wfeError (know, rd, "Receiving role incorrect.", rd->to, role);
return NULL; return NULL;
} }
if (!inKnowledge (know, rd->from)) if (!inKnowledge (know, rd->from))
@ -503,7 +503,7 @@ WellFormedEvent (Term role, Knowledge know, Roledef rd)
} }
if (!inKnowledge (know, rd->to)) if (!inKnowledge (know, rd->to))
{ {
wfeError (know, rd, "Unknown reading role.", rd->to, NULL); wfeError (know, rd, "Unknown receiving role.", rd->to, NULL);
return NULL; return NULL;
} }

2
src/xmlout.c
View File

@ -546,7 +546,7 @@ xmlOutEvent (const System sys, Roledef rd, const int run, const int index)
* Currently, choose events are not distinguished yet. TODO * Currently, choose events are not distinguished yet. TODO
*/ */
case READ: case READ:
eprintf ("read"); eprintf ("recv");
break; break;
case SEND: case SEND:
eprintf ("send"); eprintf ("send");