af7d272cb5
2004/08/05 15:13:26 sb 1.2.16.2: #i32158# Using an unsigned integer type as a type argument is now an error. 2004/08/05 13:21:38 sb 1.2.16.1: #i31370# Better detect recursive uses of polymorphic struct types.
264 lines
7.2 KiB
Text
264 lines
7.2 KiB
Text
#*************************************************************************
|
|
#
|
|
# $RCSfile: polystruct.tests,v $
|
|
#
|
|
# $Revision: 1.3 $
|
|
#
|
|
# last change: $Author: rt $ $Date: 2004-08-20 09:20:54 $
|
|
#
|
|
# The Contents of this file are made available subject to the terms of
|
|
# either of the following licenses
|
|
#
|
|
# - GNU Lesser General Public License Version 2.1
|
|
# - Sun Industry Standards Source License Version 1.1
|
|
#
|
|
# Sun Microsystems Inc., October, 2000
|
|
#
|
|
# GNU Lesser General Public License Version 2.1
|
|
# =============================================
|
|
# Copyright 2000 by Sun Microsystems, Inc.
|
|
# 901 San Antonio Road, Palo Alto, CA 94303, USA
|
|
#
|
|
# This library is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU Lesser General Public
|
|
# License version 2.1, as published by the Free Software Foundation.
|
|
#
|
|
# This library is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
# Lesser General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU Lesser General Public
|
|
# License along with this library; if not, write to the Free Software
|
|
# Foundation, Inc., 59 Temple Place, Suite 330, Boston,
|
|
# MA 02111-1307 USA
|
|
#
|
|
#
|
|
# Sun Industry Standards Source License Version 1.1
|
|
# =================================================
|
|
# The contents of this file are subject to the Sun Industry Standards
|
|
# Source License Version 1.1 (the "License"); You may not use this file
|
|
# except in compliance with the License. You may obtain a copy of the
|
|
# License at http://www.openoffice.org/license.html.
|
|
#
|
|
# Software provided under this License is provided on an "AS IS" basis,
|
|
# WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
|
|
# WITHOUT LIMITATION, WARRANTIES THAT THE SOFTWARE IS FREE OF DEFECTS,
|
|
# MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE, OR NON-INFRINGING.
|
|
# See the License for the specific provisions governing your rights and
|
|
# obligations concerning the Software.
|
|
#
|
|
# The Initial Developer of the Original Code is: Sun Microsystems, Inc.
|
|
#
|
|
# Copyright: 2000 by Sun Microsystems, Inc.
|
|
#
|
|
# All Rights Reserved.
|
|
#
|
|
# Contributor(s): _______________________________________
|
|
#
|
|
#
|
|
#*************************************************************************
|
|
|
|
EXPECT SUCCESS "polystruct.tests 1":
|
|
struct Struct<T> { T member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 2":
|
|
struct Struct<T,U,T,V> { long member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 3":
|
|
struct Struct<T> { long member; };
|
|
typedef Struct Typedef;
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 4":
|
|
struct Struct<T> { long member; };
|
|
typedef Struct<long> Typedef;
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 5":
|
|
struct Struct<T> { long member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 6":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<long> member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 7":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<Struct1<string> > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 8":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<int> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 9":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<long,long> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 10":
|
|
struct Struct2 { Struct1<long> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 11":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 12":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<void> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 13":
|
|
exception Exception {};
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2 { Struct1<Exception> member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 14":
|
|
struct Struct<T> { T T; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 15":
|
|
struct Struct<Struct> { Struct member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 16":
|
|
struct Struct<Struct> { Struct<long> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 17":
|
|
struct Struct<Struct> { ::Struct member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 18":
|
|
struct Struct<Struct> { ::Struct<long> member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 19":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2<Struct1> { Struct1 member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 20":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2<Struct1> { Struct1<long> member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 21":
|
|
struct Struct1<T> { T member; };
|
|
struct Struct2<Struct1> { ::Struct1<long> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 22":
|
|
struct Struct1 { long member1; };
|
|
struct Struct2<T>: Struct1 { long member2; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 23":
|
|
struct Struct1<T> { long member1; };
|
|
struct Struct2: Struct1<long> { long member2; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 24":
|
|
struct Struct1<T> { long member1; };
|
|
struct Struct2<T>: Struct1<long> { long member2; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 25":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { Struct1<Struct2> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 26":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2<T> { long member; };
|
|
struct Struct3 { Struct1<Struct2<Struct3> > member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 27":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { Struct1<sequence<Struct2> > member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 28":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { Struct1<sequence<sequence<Struct2> > > member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 29":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { sequence<Struct1<Struct2> > member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 30":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { sequence<Struct1<sequence<Struct2> > > member; };
|
|
|
|
|
|
EXPECT SUCCESS "polystruct.tests 31":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { sequence<sequence<Struct1<Struct2> > > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 32":
|
|
struct Struct<T> { Struct member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 33":
|
|
struct Struct<T> { Struct<long> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 34":
|
|
struct Struct<T> { Struct<Struct> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 35":
|
|
struct Struct<T> { Struct<Struct<long> > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 36":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2<T> { Struct1<Struct2> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 37":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2<T> { long member; };
|
|
struct Struct3<T> { Struct1<Struct2<Struct3> > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 38":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2<T> { Struct1<Struct2<long> > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 39":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2<T> { long member; };
|
|
struct Struct3<T> { Struct1<Struct2<Struct3<long> > > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 40":
|
|
struct Struct1<T> { long member; };
|
|
struct Struct2 { Struct1<unsigned short> member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 41":
|
|
struct Struct1<T, U> { long member; };
|
|
struct Struct2<T> { long member; };
|
|
struct Struct3 { Struct2<Struct1<long, unsigned long> > member; };
|
|
|
|
|
|
EXPECT FAILURE "polystruct.tests 42":
|
|
module com { module sun { module star { module uno {
|
|
interface XInterface {};
|
|
}; }; }; };
|
|
struct Struct<T> { long member; };
|
|
interface X { void f([in] Struct<unsigned hyper> p); };
|