[Nice-commit] Nice/web manual.xml,1.44,1.45

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

Update of /cvsroot/nice/Nice/web
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv30795/web

Modified Files:
	manual.xml 
Log Message:
Cleanups.


Index: manual.xml
===================================================================
RCS file: /cvsroot/nice/Nice/web/manual.xml,v
retrieving revision 1.44
retrieving revision 1.45
diff -C2 -d -r1.44 -r1.45
*** manual.xml	28 Dec 2004 16:48:49 -0000	1.44
--- manual.xml	8 Feb 2005 13:01:25 -0000	1.45
***************
*** 780,786 ****
  	<programlisting lang="nice"><![CDATA[
  String digitToString(int digit, String language)
!   requires digit < 10 && digit >= 0;
  
! digitToString(digit, language) { throw new Exception("Couldn't convert " + digit + " to language " + language); }
  
  digitToString(1, "english") = "one";
--- 780,789 ----
  	<programlisting lang="nice"><![CDATA[
  String digitToString(int digit, String language)
!   requires 0 <= digit < 10;
  
! digitToString(digit, language)
! {
!   throw new Exception("Couldn't convert "digit" to language "language);
! }
  
  digitToString(1, "english") = "one";
***************
*** 825,834 ****
  let Person BOB = new Person();
  
! void greet(Person p) 
  {
    println("Hello, anonymous person!");
  }
  
! greet(BOB) 
  {
    println("Hi Bob!");
--- 828,837 ----
  let Person BOB = new Person();
  
! void greet(Person p)
  {
    println("Hello, anonymous person!");
  }
  
! greet(BOB)
  {
    println("Hi Bob!");