mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 18:03:36 +00:00
1b648d0ac2
Branches: main
Put all Mercury-generated Java classes into the package `jmercury' and
runtime classes into `jmercury.runtime'. The Mercury module hierarchy is
not reflected in the package name. We name sub-module classes using
their fully-qualified module names with `__' between components, e.g.
`bit_buffer.read' produces `class bit_buffer__read'.
As all generated Java code is in the same package we don't need to package
qualify identifiers, and we don't need the hack to avoid clashing package
and class names. It also makes it easier to write Java foreign code because
generated Java class names are easier to predict from Mercury module names.
The package names are not `mercury' and `mercury.runtime' because on
case-insensitive file systems we may end up with a `mercury' directory
that could be confused with the `Mercury' directory.
compiler/java_names.m:
Delete code related to mangling package names.
Remove the extra `mercury' prefix added to standard library module
names, as it is redundant with `jmercury'.
Change runtime package name.
compiler/mlds_to_java.m:
Make generated code follow the new packaging scheme.
Don't automatically import all runtime classes. It doesn't seem
necessary.
Update for new packaging scheme.
compiler/file_names.m:
Fix Java file paths for the new packaging scheme.
compiler/module_cmds.m:
compiler/rtti.m:
library/array.m:
library/backjump.m:
library/benchmarking.m:
library/bitmap.m:
library/builtin.m:
library/exception.m:
library/io.m:
library/library.m:
library/mutvar.m:
library/private_builtin.m:
library/rtti_implementation.m:
library/store.m:
library/string.m:
library/time.m:
library/type_desc.m:
java/runtime/*.java:
Rename package names.
Delete unnecessary package qualification.
compiler/mlds.m:
Add some XXXs to be fixed later.
library/Mmakefile:
Update for new packaging scheme.
Let mmake --use-mmc-make work in this directory.
39 lines
1.3 KiB
Java
39 lines
1.3 KiB
Java
//
|
|
// Copyright (C) 2001-2004 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 jmercury.runtime;
|
|
|
|
// A PseudoTypeInfo represents a possibly non-ground type.
|
|
// There are three possible cases:
|
|
//
|
|
// - Unbound type variables are represented by directly constructing
|
|
// a PseudoTypeInfo with the variable number.
|
|
//
|
|
// - Ground types with arity zero may be represented as TypeCtorInfo_Struct,
|
|
// which extends PseudoTypeInfo, and uses the protected constructor
|
|
// which sets variable_number to -1. This is a slightly optimized
|
|
// version of the case below.
|
|
//
|
|
// - Any other types are represented as TypeInfo_Struct,
|
|
// which extends PseudoTypeInfo, and uses the protected constructor
|
|
// which sets variable_number to -1.
|
|
//
|
|
public class PseudoTypeInfo {
|
|
public int variable_number;
|
|
public PseudoTypeInfo(int n) { variable_number = n; }
|
|
protected PseudoTypeInfo() { variable_number = -1; }
|
|
|
|
// XXX This should be renamed `equals'
|
|
public boolean unify(PseudoTypeInfo ti) {
|
|
if (this.getClass() == TypeInfo_Struct.class &&
|
|
ti.getClass() == TypeInfo_Struct.class) {
|
|
return ((TypeInfo_Struct) this).unify(
|
|
(TypeInfo_Struct) ti);
|
|
}
|
|
return variable_number == ti.variable_number;
|
|
}
|
|
}
|