testplugins/org.eclipse.objectteams.otdt.ui.tests.dom/workspace/DOM_AST/src/bindings/teampkg/T1.java

package bindings.teampkg;

public team class T1 extends T0
{
	public class R1 playedBy bindings.basepkg.C1 
	{
        
        m1 -> m1;

        String m2(Integer x) -> String m2(Integer val)
            with
            {
                x -> val,
                result <- result
            }

        Integer m3(String y) -> Integer m3(String s)
            with
            {
                y -> s,
                result <- result
            }
    
        Integer m5(Integer val) <- after Integer m5(Integer val);
        
        
        public abstract void m1();
        
        public Integer m5(Integer val)
        {
            return val;
        }
        
    }
}