testplugins/org.eclipse.objectteams.otdt.tests/workspace/AnonymousInnerclass/rolelevelinternal/rolelevelinternal/teampkg/Test7_TeamB.java

package rolelevelinternal.teampkg;

import rolelevelinternal.basepkg.SampleBase;

/**
 * $Id: Test7_TeamB.java 5955 2005-06-21 16:04:55Z haebor $
 * 
 * testcase:
 * a role class (defined insight the file of its team class) with an attribut
 * attribut assignment with instantiation of an anonymous class
 * the anonymous class is a team class with method with declared lifting
 */
public team class Test7_TeamB
{
    public class SampleRole
    {
	    Test78_TeamA rolelevelAttr = new Test78_TeamA()
	        {
	             public void method(SampleBase as RoleClass paraObj) {}
	        };
    }
}