FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
mercury/java/runtime/MethodPtr.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
/
MethodPtr.java
Copy path
More file actions
More file actions
Latest commit
History
History
History
14 lines (12 loc) · 442 Bytes
Breadcrumbs
mercury
/
java
/
runtime
/
MethodPtr.java
Copy path
File metadata and controls
14 lines (12 loc) · 442 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
// vim: ts=4 sw=4 expandtab ft=java
//
// Copyright (C) 2002 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
MethodPtr
extends
java
.
io
.
Serializable
{
}
Back
|
FazBrowse Home
|
New Git URL