Overrides java.lang.invoke.ClassSpecializer.SpeciesData.deriveClassName.

Doc from java.lang.invoke.ClassSpecializer.SpeciesData.deriveClassName.

Given a key, generate the name of the class which implements the species for that key. This algorithm must be stable.

Returns:String

class name, which by default is outer().topClass().getName() + "$Species_" + deriveTypeString(key)

Annotations

@Override

Implements abstract java.lang.invoke.ClassSpecializer.SpeciesData.deriveFieldTypes.

Doc from java.lang.invoke.ClassSpecializer.SpeciesData.deriveFieldTypes.

Given a key, derive the list of field types, which all instances of this species must store.

Annotations

@Override

Implements abstract java.lang.invoke.ClassSpecializer.SpeciesData.deriveTransformHelper.

Doc from java.lang.invoke.ClassSpecializer.SpeciesData.deriveTransformHelper.

Given the index of a method in the transforms list, supply a factory method that takes the arguments of the transform, plus the local fields, and produce a value of the required type. You can override this to return null or throw if there are no transforms. This method exists so that the transforms can be "grown" lazily. This is necessary if the transform *adds* a field to an instance, which sometimes requires the creation, on the fly, of an extended species. This method is only called once for any particular parameter. The species caches the result in a private array.

Parameters

transform:MemberName

the transform being implemented

whichtm:int

the index of that transform in the original list of transforms

Returns:MethodHandle

the method handle which creates a new result from a mix of transform arguments and field values

Annotations

@Override

Implements abstract java.lang.invoke.ClassSpecializer.SpeciesData.deriveTransformHelperArguments.

Doc from java.lang.invoke.ClassSpecializer.SpeciesData.deriveTransformHelperArguments.

During code generation, this method is called once per transform to determine what is the mix of arguments to hand to the transform-helper. The bytecode which marshals these arguments is open-coded in the species-specific transform. The two lists are of opaque objects, which you shouldn't do anything with besides reordering them into the output list. (They are both mutable, to make editing easier.) The imputed types of the args correspond to the transform's parameter list, while the imputed types of the fields correspond to the species field types. After code generation, this method may be called occasionally by error-checking code.

Parameters

<X>

the common element type of the various lists

transform:MemberName

the transform being implemented

whichtm:int

the index of that transform in the original list of transforms

args:List<X>

a list of opaque objects representing the incoming transform arguments

fields:List<X>

a list of opaque objects representing the field values of the receiver

Returns:List<X>

a new list

Annotations

@Override

Overrides java.lang.invoke.ClassSpecializer.SpeciesData.deriveTypeString.

Doc from java.lang.invoke.ClassSpecializer.SpeciesData.deriveTypeString.

Default implementation collects basic type characters, plus possibly type names, if some types don't correspond to basic types.

Returns:String

a string suitable for use in a class name

Annotations

@Override