mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-20 00:15:27 +00:00
Branches: main The Java 5 compiler warns about a method with an array argument: m1(Object[] args) overriding a method declared with varargs: m1(Object... args) The Java 6 compiler accepts it, though I don't know if that was intended. java/runtime/MethodPtr.java: Don't use varargs syntax for MethodPtr.call___0_0. library/rtti_implementation.m: Explicitly create the Object[] arrays in foreign_procs.
16 lines
488 B
Java
16 lines
488 B
Java
//
|
|
// Copyright (C) 2002 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 mercury.runtime;
|
|
|
|
public interface MethodPtr {
|
|
public abstract java.lang.Object call___0_0(java.lang.Object[] args);
|
|
}
|
|
|