[Nice-commit] Nice/src/bossa/syntax AbstractInterfaceImplementation.java,1.3,1.4

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

Update of /cvsroot/nice/Nice/src/bossa/syntax
In directory sc8-pr-cvs1:/tmp/cvs-serv22551/F:/nice/src/bossa/syntax

Modified Files:
	AbstractInterfaceImplementation.java 
Log Message:
Implemented the difference between classes and interface when implementing an abstract interface.

Index: AbstractInterfaceImplementation.java
===================================================================
RCS file: /cvsroot/nice/Nice/src/bossa/syntax/AbstractInterfaceImplementation.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** AbstractInterfaceImplementation.java	17 Feb 2003 15:42:03 -0000	1.3
--- AbstractInterfaceImplementation.java	15 Sep 2003 22:29:21 -0000	1.4
***************
*** 30,36 ****
    final LocatedString interfaceName;
    final boolean _finally;
  
    public AbstractInterfaceImplementation
!     (LocatedString className, LocatedString interfaceName, boolean _finally)
    {
      super(className, Node.none);
--- 30,38 ----
    final LocatedString interfaceName;
    final boolean _finally;
+   final boolean _interface;
  
    public AbstractInterfaceImplementation
!     (LocatedString className, LocatedString interfaceName, boolean _finally,
! 		boolean _interface)
    {
      super(className, Node.none);
***************
*** 39,42 ****
--- 41,45 ----
      this.interfaceName = interfaceName;
      this._finally = _finally;
+     this._interface = _interface;
    }
  
***************
*** 47,50 ****
--- 50,63 ----
    {
      classTC = new TypeIdent(className).resolveToTC(typeScope);
+ 
+     if (TypeConstructors.isInterface(classTC))
+       {
+         if (!_interface) User.error(this, ""+classTC+" is not an class");
+       }
+     else
+       {
+         if (_interface) User.error(this, ""+classTC+" is not an interface");
+       }
+ 
      TypeIdent ident = new TypeIdent
        (new LocatedString(module.getName() + '.' + interfaceName.content, 
***************
*** 71,75 ****
    public void printInterface(java.io.PrintWriter w)
    {
!     w.print("class ");
      w.print(classTC);
      w.print(" implements ");
--- 84,92 ----
    public void printInterface(java.io.PrintWriter w)
    {
!     if (_interface)
!       w.print("interface ");
!     else 
!       w.print("class ");
! 
      w.print(classTC);
      w.print(" implements ");