define-simple-class fields with ConstantValue attribute?

define-simple-class fields with ConstantValue attribute?

[Jamison Hope]

Is there a field initialization syntax for define-simple-class which
will cause the field to have a ConstantValue attribute set?

For example, if Test.java contains:

public class Test {
  public static final int X = 3;
}

then Test.class will have:

Field name: X public static final Signature: int
Attribute "ConstantValue", length:2, value: Integer 3

However, the equivalent (I believe) Kawa:

(define-simple-class Test () (X ::int allocation: 'static access:
'final init-form: 3))

produces:

Field name: X public static final Signature: int

without the ConstantValue attribute, and instead fills in the value
via code in clinit:

Method name:"<clinit>" public static Signature: ()void
Attribute "Code", length:29, max_stack:1, max_locals:0, code_length:5
  0: iconst_3
  1: putstatic <Field Test.X int>
  4: return

I also tried init: and init-value: and they didn't make a difference.

Thanks,

-- 
Jamison Hope

Re: define-simple-class fields with ConstantValue attribute?

[Per Bothner]

On 6/1/20 11:16 AM, Jamison Hope wrote:
> Is there a field initialization syntax for define-simple-class which
> will cause the field to have a ConstantValue attribute set?

I got this sort-of-working (with some testsuite failures,
that are probably fixable), by hacking object.java (which is used
to "syntax-expand" define-simple-class).

However, I think it might be more general and less fragile
to change this at bytecode-generating time, in SetExp.java.
(A minor downside is you might get a useless empty <clinit>
method, but that's acceptable, I think.)

I'll look into this approach shortly, perhaps in the morning.

-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/