bigloo.exit.write C# (CSharp) Method

        public void write( output_port  p )
        {
            p.write( "<exit" );

              for( exit i= this ; i != null ; i= i.prev )
              {
            p.write( " " );
            p.write( i.stamp );
              }

              p.write(">");
        }