Spinroot

KeesPronk

Member

Registered: 2011-01-04

Posts: 12

assignment to _pid

In the manual page on _pid it is stated:

  _pid - a predefined, local, read-only variable ....
and
  It is an error to attempt to assign a new value to this variable,

However, spin will happily accept the following program:

active proctype(){
  _pid = _pid + 3;
}

init{
  _pid = _pid * 2;
}

When I print the value of _pid before/after the assignment, I notice that the value has not changed which is OK semantically.
But that seems a bit different from "It is an error" ?

spinroot

forum

Registered: 2010-11-18

Posts: 700

Website

Re: assignment to _pid

Very good observation.
I'll see if I can fix this.
Thanks!