mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 01:43:35 +00:00
Branches: main
java/runtime/ForeignEnumFunctorDesc.java:
java/runtime/TypeCtorInfo_Struct.java:
java/runtime/TypeFunctors.java:
library/backjump.m:
library/builtin.m:
library/io.m:
library/math.m:
library/mutvar.m:
library/par_builtin.m:
library/private_builtin.m:
library/region_builtin.m:
library/rtti_implementation.m:
library/store.m:
library/string.m:
library/thread.semaphore.m:
library/time.m:
library/type_desc.m:
Assorted library fixes and stubs for the Java backend.
21 lines
603 B
Java
21 lines
603 B
Java
//
|
|
// Copyright (C) 2007 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.
|
|
//
|
|
|
|
package mercury.runtime;
|
|
|
|
public class ForeignEnumFunctorDesc {
|
|
|
|
public java.lang.String foreign_enum_functor_name;
|
|
public int foreign_enum_functor_ordinal;
|
|
public int foreign_enum_functor_value;
|
|
|
|
public ForeignEnumFunctorDesc(String name, int ordinal, int value) {
|
|
foreign_enum_functor_name = name;
|
|
foreign_enum_functor_ordinal = ordinal;
|
|
foreign_enum_functor_value = value;
|
|
}
|
|
}
|