FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
mercury/java/runtime/MethodPtr15.java at master · Mercury-Language/mercury · GitHub
Mercury-Language
/
mercury
Public
Notifications
You must be signed in to change notification settings
Fork
71
Star
1.1k
Code
Issues
13
Pull requests
8
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Expand file tree
Breadcrumbs
mercury
/
java
/
runtime
/
MethodPtr15.java
Copy path
More file actions
More file actions
Latest commit
History
History
History
30 lines (28 loc) · 954 Bytes
Breadcrumbs
mercury
/
java
/
runtime
/
MethodPtr15.java
Copy path
File metadata and controls
30 lines (28 loc) · 954 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
// 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
MethodPtr15
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
,
java
.
lang
.
Object
arg15
);
}
Back
|
FazBrowse Home
|
New Git URL