Peter Wang b573e83761 Mark Java RTTI classes as implementing java.io.Serializable to ...

Branches: main

Mark Java RTTI classes as implementing java.io.Serializable to
enable serialization of existentially typed values.

java/runtime/DuExistInfo.java:
java/runtime/DuExistLocn.java:
java/runtime/DuFunctorDesc.java:
java/runtime/DuPtagLayout.java:
java/runtime/EnumFunctorDesc.java:
java/runtime/ForeignEnumFunctorDesc.java:
java/runtime/MethodPtr.java:
java/runtime/NotagFunctorDesc.java:
java/runtime/PseudoTypeInfo.java:
java/runtime/ReservedAddrFunctorDesc.java:
java/runtime/Sectag_Locn.java:
java/runtime/TypeClassConstraint.java:
java/runtime/TypeClassDeclStruct.java:
java/runtime/TypeClassId.java:
java/runtime/TypeClassMethod.java:
java/runtime/TypeCtorInfo_Struct.java:
java/runtime/TypeCtorRep.java:
java/runtime/TypeFunctors.java:
java/runtime/TypeInfo_Struct.java:
java/runtime/TypeLayout.java:
        As above.

        TypeCtorInfo_Struct.unify() cannot rely on the uniqueness of
        TypeCtorInfo_Struct instances, as deserialisation will create new
        copies.

2009-09-07 03:10:02 +00:00

..

.cvsignore

Make cvs ignore *.so *.pic_o files in this directory.

2004-09-28 07:20:53 +00:00

.nocopyright

…

Commit.java

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

Constants.java.in

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

DuExistInfo.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

DuExistLocn.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

DuFunctorDesc.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

DuPtagLayout.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

EnumFunctorDesc.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

Exception.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

ForeignEnumFunctorDesc.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

JavaInternal.java

Support `thread_local' mutables on Java backend.

2009-09-02 07:12:26 +00:00

MaybeResAddrFunctorDesc.java

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

MaybeResFunctorDesc.java

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

MercuryEnum.java

Make Java classes corresponding to Mercury types automatically serialisable.

2009-07-09 05:18:08 +00:00

MercuryType.java

Make Java classes corresponding to Mercury types automatically serialisable.

2009-07-09 05:18:08 +00:00

MethodPtr1.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr2.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr3.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr4.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr5.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr6.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr7.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr8.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr9.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr10.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr11.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr12.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr13.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr14.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr15.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

MethodPtr.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

MethodPtrN.java

On the Java backend, use specialised MethodPtr interfaces so that when calling

2009-09-03 05:04:16 +00:00

Mmakefile

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

Native.c

Make the Java backend not use native code to implement any standard library

2009-08-14 06:34:03 +00:00

Native.java.in

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

NotagFunctorDesc.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

PredFunc.java

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00

PseudoTypeInfo.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

ReservedAddrFunctorDesc.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

Sectag_Locn.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeClassConstraint.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeClassDeclStruct.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeClassId.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeClassMethod.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeCtorInfo_Struct.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeCtorRep.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeFunctors.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeInfo_Struct.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

TypeLayout.java

Mark Java RTTI classes as implementing java.io.Serializable to

2009-09-07 03:10:02 +00:00

UnreachableDefault.java

Put all Mercury-generated Java classes into the package `jmercury' and

2009-06-17 07:48:16 +00:00