GitHub Viewer
// vim: ts=4 sw=4 expandtab ft=java
//
// Copyright (C) 2009 The University of Melbourne.
// Copyright (C) 2018 The Mercury team.
// This file is distributed under the terms specified in COPYING.LIB.
//
// 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 MethodPtr14 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,
java.lang.Object arg6,
java.lang.Object arg7,
java.lang.Object arg8,
java.lang.Object arg9,
java.lang.Object arg10,
java.lang.Object arg11,
java.lang.Object arg12,
java.lang.Object arg13,
java.lang.Object arg14);
}