[Nice-commit] Nice/src/bossa/syntax analyse.nice,1.102,1.103

[Arjan B. <ar...@us...>]

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2995/F:/nice/src/bossa/syntax

Modified Files:
	analyse.nice 
Log Message:
Preciser typings for analyse methods.

Index: analyse.nice
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/analyse.nice,v
retrieving revision 1.102
retrieving revision 1.103
diff -C2 -d -r1.102 -r1.103
*** analyse.nice	27 Jun 2004 23:37:24 -0000	1.102
--- analyse.nice	22 Jul 2004 12:42:54 -0000	1.103
***************
*** 23,27 ****
  
  Statement analyse(Statement, VarScope, TypeScope, boolean mustReturnAValue);
! ?Expression analyse(Expression, VarScope, TypeScope);
  
  TypeMaper typeMaper(SymbolTable<TypeSymbol>,TypeScope) = 
--- 23,27 ----
  
  Statement analyse(Statement, VarScope, TypeScope, boolean mustReturnAValue);
! Expression analyse(Expression, VarScope, TypeScope);
  
  TypeMaper typeMaper(SymbolTable<TypeSymbol>,TypeScope) = 
***************
*** 228,232 ****
  }
  
! ?Expression analyse(?Expression, Info);
  void analyse(?Statement, Info);
  
--- 228,234 ----
  }
  
! ?Expression analyse(?Expression, Info) = null;
! override Expression analyse(Expression, Info);
! 
  void analyse(?Statement, Info);
  
***************
*** 236,240 ****
  
  analyse(e@Expression, i) = e;
- analyse(null(Expression), info) = null;
  
  void setInitialized (Block.LocalVariable.Symbol v, Info info, 
--- 238,241 ----
***************
*** 414,418 ****
  }
  
! ?Expression analyse(Expression e, Info info, boolean noEscape) =
    analyse(e, info);
  
--- 415,419 ----
  }
  
! Expression analyse(Expression e, Info info, boolean noEscape) =
    analyse(e, info);