[Nice-commit] Nice/web visitor.html,1.3,1.4 safety.xml,1.7,1.8

[<bo...@us...>]

Update of /cvsroot/nice/Nice/web
In directory sc8-pr-cvs1:/tmp/cvs-serv13018

Modified Files:
	visitor.html safety.xml 
Log Message:
Update by Isaac to the new dispatch syntax.


Index: visitor.html
===================================================================
RCS file: /cvsroot/nice/Nice/web/visitor.html,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** visitor.html	5 Jun 2003 09:11:51 -0000	1.3
--- visitor.html	16 Jan 2004 16:48:48 -0000	1.4
***************
*** 160,169 ****
  <FONT COLOR="#b7860b">void</FONT> <FONT COLOR="#cd0000">prettyPrint</FONT>(<FONT COLOR="#b7860b">Expression </FONT>e); 
  
! <FONT COLOR="#cd0000">prettyPrint</FONT>(e<FONT COLOR="#0000ee">@</FONT><FONT COLOR="#b7860b">IntExp</FONT>) 
  { 
    <FONT COLOR="#b7860b">System</FONT>.out.print(e.value); 
  } 
  
! <FONT COLOR="#cd0000">prettyPrint</FONT>(e<FONT COLOR="#0000ee">@</FONT><FONT COLOR="#b7860b">AddExp</FONT>) 
  { 
    prettyPrint(e.e1); 
--- 160,169 ----
  <FONT COLOR="#b7860b">void</FONT> <FONT COLOR="#cd0000">prettyPrint</FONT>(<FONT COLOR="#b7860b">Expression </FONT>e); 
  
! <FONT COLOR="#cd0000">prettyPrint</FONT>(<FONT COLOR="#b7860b">IntExp</FONT> e) 
  { 
    <FONT COLOR="#b7860b">System</FONT>.out.print(e.value); 
  } 
  
! <FONT COLOR="#cd0000">prettyPrint</FONT>(<FONT COLOR="#b7860b">AddExp</FONT> e) 
  { 
    prettyPrint(e.e1); 

Index: safety.xml
===================================================================
RCS file: /cvsroot/nice/Nice/web/safety.xml,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** safety.xml	19 Nov 2003 23:17:43 -0000	1.7
--- safety.xml	16 Jan 2004 16:48:55 -0000	1.8
***************
*** 278,282 ****
    int age;
  
!   boolean equals(that@Person)
    {
      return 
--- 278,282 ----
    int age;
  
!   boolean equals(Person that)
    {
      return 
***************
*** 329,334 ****
  private ?List&lt;Component> children(Component);
  
! children(c@Component) = null;
! children(c@ContainerComponent) = c.getChildren();
  </programlisting>
  </para>
--- 329,334 ----
  private ?List&lt;Component> children(Component);
  
! children(Component c) = null;
! children(ContainerComponent c) = c.getChildren();
  </programlisting>
  </para>