//
// Copyright (C) 2009 The University of Melbourne.
// This file may only be copied under the terms of the GNU Library General
// Public License - see the file COPYING.LIB in the Mercury distribution.
//
// This interface is implemented by wrapper classes which are automatically
// generated by the Java back-end to implement method pointers in Java.
//

package jmercury.runtime;

public interface MethodPtr5 extends MethodPtr {
    public abstract java.lang.Object call___0_0(
        java.lang.Object arg1,
        java.lang.Object arg2,
        java.lang.Object arg3,
        java.lang.Object arg4,
        java.lang.Object arg5);
}
