Modifier and Type	Class and Description
private static class	LambdaFormEditor.Transform A description of a cached transform, possibly associated with the result of the transform.
private static class	LambdaFormEditor.TransformKey Used as a lookup key to find existing Transforms

Modifier and Type	Field and Description
private static final byte	ADD_ARG
private static final byte	BIND_ARG
private static final byte	COLLECT_ARGS
private static final byte	COLLECT_ARGS_TO_VOID
private static final byte	DUP_ARG
private static final byte	FILTER_ARG
private static final byte	FILTER_RETURN
private static final byte	FILTER_SELECT_ARGS
private static final byte	FOLD_ARGS
private static final byte	FOLD_ARGS_TO_VOID
private static final byte	FOLD_SELECT_ARGS
pack-priv final LambdaForm	lambdaForm
private static final byte	LOCAL_TYPES
private static final int	MAX_CACHE_ARRAY_SIZE Arbitrary but reasonable limits on Transform[] size for cache.
private static final int	MIN_CACHE_ARRAY_SIZE Arbitrary but reasonable limits on Transform[] size for cache.
private static final byte	PERMUTE_ARGS
private static final byte	REPEAT_FILTER_ARGS
private static final byte	SPREAD_ARGS

Access	Constructor and Description
private	LambdaFormEditor(LambdaForm lambdaForm)

Method Summary

Modifier and Type	Method and Description
pack-priv LambdaForm	addArgumentForm(int pos, LambdaForm.BasicType type)
pack-priv BoundMethodHandle	bindArgumentD(BoundMethodHandle mh, int pos, double value)
pack-priv BoundMethodHandle	bindArgumentF(BoundMethodHandle mh, int pos, float value)
pack-priv LambdaForm	bindArgumentForm(int pos)
pack-priv BoundMethodHandle	bindArgumentI(BoundMethodHandle mh, int pos, int value)
pack-priv BoundMethodHandle	bindArgumentJ(BoundMethodHandle mh, int pos, long value)
pack-priv BoundMethodHandle	bindArgumentL(BoundMethodHandle mh, int pos, Object value)
private MethodType	bindArgumentType(BoundMethodHandle mh, int pos, LambdaForm.BasicType bt)
private LambdaFormBuffer	buffer()
pack-priv LambdaForm	collectArgumentsForm(int pos, MethodType collectorType)
pack-priv LambdaForm	collectReturnValueForm(MethodType combinerType)
pack-priv LambdaForm	dupArgumentForm(int srcPos, int dstPos)
pack-priv LambdaForm	filterArgumentForm(int pos, LambdaForm.BasicType newType)
pack-priv LambdaForm	filterArgumentsForm(int filterPos, MethodType combinerType, int... argPositions)
pack-priv LambdaForm	filterRepeatedArgumentForm(LambdaForm.BasicType newType, int... argPositions) This creates a LF that will repeatedly invoke some unary filter function at each of the given positions.
pack-priv LambdaForm	filterReturnForm(LambdaForm.BasicType newType, boolean constantZero)
pack-priv LambdaForm	foldArgumentsForm(int foldPos, boolean dropResult, MethodType combinerType)
pack-priv LambdaForm	foldArgumentsForm(int foldPos, boolean dropResult, MethodType combinerType, int... argPositions)
private boolean	formParametersMatch(LambdaForm form, LambdaForm.BasicType newType, int... argPositions)
private LambdaForm	getInCache(LambdaFormEditor.TransformKey key) Find a previously cached transform equivalent to the given one, and return its result.
pack-priv static LambdaFormEditor	lambdaFormEditor(LambdaForm lambdaForm)
private LambdaForm	makeArgumentCombinationForm(int pos, MethodType combinerType, boolean keepArguments, boolean dropResult)
private LambdaForm	makeArgumentCombinationForm(int pos, MethodType combinerType, int[] argPositions, boolean keepArguments, boolean dropResult)
private LambdaForm	makeRepeatedFilterForm(MethodType combinerType, int... positions)
private BoundMethodHandle.SpeciesData	newSpeciesData(LambdaForm.BasicType type)
pack-priv LambdaForm	noteLoopLocalTypesForm(int pos, LambdaForm.BasicType[] localTypes)
private BoundMethodHandle.SpeciesData	oldSpeciesData()
pack-priv LambdaForm	permuteArgumentsForm(int skip, int[] reorder)
pack-priv static boolean	permutedTypesMatch(int[] reorder, LambdaForm.BasicType[] types, LambdaForm.Name[] names, int skip)
private LambdaForm	putInCache(LambdaFormEditor.TransformKey key, LambdaForm form) Cache a transform with its result, and return that result.
pack-priv LambdaForm	spreadArgumentsForm(int pos, Class<?> arrayType, int arrayLength)

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

ADD_ARG	back to summary
private static final byte ADD_ARG

BIND_ARG	back to summary
private static final byte BIND_ARG

COLLECT_ARGS	back to summary
private static final byte COLLECT_ARGS

COLLECT_ARGS_TO_VOID	back to summary
private static final byte COLLECT_ARGS_TO_VOID

DUP_ARG	back to summary
private static final byte DUP_ARG

FILTER_ARG	back to summary
private static final byte FILTER_ARG

FILTER_RETURN	back to summary
private static final byte FILTER_RETURN

FILTER_SELECT_ARGS	back to summary
private static final byte FILTER_SELECT_ARGS

FOLD_ARGS	back to summary
private static final byte FOLD_ARGS

FOLD_ARGS_TO_VOID	back to summary
private static final byte FOLD_ARGS_TO_VOID

FOLD_SELECT_ARGS	back to summary
private static final byte FOLD_SELECT_ARGS

lambdaForm	back to summary
pack-priv final LambdaForm lambdaForm

LOCAL_TYPES	back to summary
private static final byte LOCAL_TYPES

MAX_CACHE_ARRAY_SIZE	back to summary
private static final int MAX_CACHE_ARRAY_SIZE Arbitrary but reasonable limits on Transform[] size for cache.

MIN_CACHE_ARRAY_SIZE	back to summary
private static final int MIN_CACHE_ARRAY_SIZE Arbitrary but reasonable limits on Transform[] size for cache.

PERMUTE_ARGS	back to summary
private static final byte PERMUTE_ARGS

REPEAT_FILTER_ARGS	back to summary
private static final byte REPEAT_FILTER_ARGS

SPREAD_ARGS	back to summary
private static final byte SPREAD_ARGS

Constructor Detail

LambdaFormEditor	back to summary
private LambdaFormEditor(LambdaForm lambdaForm)

Method Detail

addArgumentForm	back to summary
pack-priv LambdaForm addArgumentForm(int pos, LambdaForm.BasicType type)

bindArgumentD	back to summary
pack-priv BoundMethodHandle bindArgumentD(BoundMethodHandle mh, int pos, double value)

bindArgumentF	back to summary
pack-priv BoundMethodHandle bindArgumentF(BoundMethodHandle mh, int pos, float value)

bindArgumentForm	back to summary
pack-priv LambdaForm bindArgumentForm(int pos)

bindArgumentI	back to summary
pack-priv BoundMethodHandle bindArgumentI(BoundMethodHandle mh, int pos, int value)

bindArgumentJ	back to summary
pack-priv BoundMethodHandle bindArgumentJ(BoundMethodHandle mh, int pos, long value)

bindArgumentL	back to summary
pack-priv BoundMethodHandle bindArgumentL(BoundMethodHandle mh, int pos, Object value)

bindArgumentType	back to summary
private MethodType bindArgumentType(BoundMethodHandle mh, int pos, LambdaForm.BasicType bt)

buffer	back to summary
private LambdaFormBuffer buffer()

collectArgumentsForm	back to summary
pack-priv LambdaForm collectArgumentsForm(int pos, MethodType collectorType)

collectReturnValueForm	back to summary
pack-priv LambdaForm collectReturnValueForm(MethodType combinerType)

dupArgumentForm	back to summary
pack-priv LambdaForm dupArgumentForm(int srcPos, int dstPos)

filterArgumentForm	back to summary
pack-priv LambdaForm filterArgumentForm(int pos, LambdaForm.BasicType newType)

filterArgumentsForm	back to summary
pack-priv LambdaForm filterArgumentsForm(int filterPos, MethodType combinerType, int... argPositions)

filterRepeatedArgumentForm back to summary

filterRepeatedArgumentForm	back to summary
pack-priv LambdaForm filterRepeatedArgumentForm(LambdaForm.BasicType newType, int... argPositions) This creates a LF that will repeatedly invoke some unary filter function at each of the given positions. This allows fewer LFs and BMH species classes to be generated in typical cases compared to building up the form by reapplying of `filterArgumentForm(int,BasicType)`, and should do no worse in the worst case.

pack-priv LambdaForm filterRepeatedArgumentForm(LambdaForm.BasicType newType, int... argPositions)

This creates a LF that will repeatedly invoke some unary filter function at each of the given positions. This allows fewer LFs and BMH species classes to be generated in typical cases compared to building up the form by reapplying of filterArgumentForm(int,BasicType), and should do no worse in the worst case.

filterReturnForm	back to summary
pack-priv LambdaForm filterReturnForm(LambdaForm.BasicType newType, boolean constantZero)

foldArgumentsForm	back to summary
pack-priv LambdaForm foldArgumentsForm(int foldPos, boolean dropResult, MethodType combinerType)

foldArgumentsForm	back to summary
pack-priv LambdaForm foldArgumentsForm(int foldPos, boolean dropResult, MethodType combinerType, int... argPositions)

formParametersMatch	back to summary
private boolean formParametersMatch(LambdaForm form, LambdaForm.BasicType newType, int... argPositions)

getInCache	back to summary
private LambdaForm getInCache(LambdaFormEditor.TransformKey key) Find a previously cached transform equivalent to the given one, and return its result.

lambdaFormEditor	back to summary
pack-priv static LambdaFormEditor lambdaFormEditor(LambdaForm lambdaForm)

makeArgumentCombinationForm	back to summary
private LambdaForm makeArgumentCombinationForm(int pos, MethodType combinerType, boolean keepArguments, boolean dropResult)

makeArgumentCombinationForm	back to summary
private LambdaForm makeArgumentCombinationForm(int pos, MethodType combinerType, int[] argPositions, boolean keepArguments, boolean dropResult)

makeRepeatedFilterForm	back to summary
private LambdaForm makeRepeatedFilterForm(MethodType combinerType, int... positions)

newSpeciesData	back to summary
private BoundMethodHandle.SpeciesData newSpeciesData(LambdaForm.BasicType type)

noteLoopLocalTypesForm	back to summary
pack-priv LambdaForm noteLoopLocalTypesForm(int pos, LambdaForm.BasicType[] localTypes)

oldSpeciesData	back to summary
private BoundMethodHandle.SpeciesData oldSpeciesData()

permuteArgumentsForm	back to summary
pack-priv LambdaForm permuteArgumentsForm(int skip, int[] reorder)

permutedTypesMatch	back to summary
pack-priv static boolean permutedTypesMatch(int[] reorder, LambdaForm.BasicType[] types, LambdaForm.Name[] names, int skip)

putInCache	back to summary
private LambdaForm putInCache(LambdaFormEditor.TransformKey key, LambdaForm form) Cache a transform with its result, and return that result. But if an equivalent transform has already been cached, return its result instead.

spreadArgumentsForm	back to summary
pack-priv LambdaForm spreadArgumentsForm(int pos, Class<?> arrayType, int arrayLength)

java.lang.invoke back to summary

private final Class LambdaFormEditor.Transform

Class Inheritance

extends SoftReference<LambdaForm>

java.lang.Object
java.lang.ref.Reference
java.lang.ref.SoftReference
java.lang.invoke.LambdaFormEditor.Transform

A description of a cached transform, possibly associated with the result of the transform. The logical content is a sequence of byte values, starting with a kind value. The sequence is unterminated, ending with an indefinite number of zero bytes. Sequences that are simple (short enough and with small enough values) pack into a 64-bit long. Tightly coupled with the TransformKey class, which is used to lookup existing Transforms.

Field Summary

Modifier and Type	Field and Description
pack-priv final byte[]	fullBytes
pack-priv final long	packedBytes

Constructor Summary

Access	Constructor and Description
private	Transform(long packedBytes, byte[] fullBytes, LambdaForm result)

Method Summary

Modifier and Type	Method and Description
public boolean	equals(Object the reference object with which to compare. obj) Overrides java.lang.Object.equals. Indicates whether some other object is "equal to" this one.
private boolean	equals(LambdaFormEditor.TransformKey that)
private boolean	equals(LambdaFormEditor.Transform that)
public int	hashCode() Overrides java.lang.Object.hashCode. Returns a hash code value for this object.
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.

Inherited from java.lang.ref.SoftReference:: get

Field Detail

fullBytes	back to summary
pack-priv final byte[] fullBytes

packedBytes	back to summary
pack-priv final long packedBytes

Constructor Detail

Transform	back to summary
private Transform(long packedBytes, byte[] fullBytes, LambdaForm result)

Method Detail

equals back to summary

public boolean equals(Object obj)

Overrides java.lang.Object.equals.

Doc from java.lang.Object.equals.

Indicates whether some other object is "equal to" this one.

The equals method implements an equivalence relation on non-null object references:

It is reflexive: for any non-null reference value x, x.equals(x) should return true.
It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
For any non-null reference value x, x.equals(null) should return false.

An equivalence relation partitions the elements it operates on into equivalence classes; all the members of an equivalence class are equal to each other. Members of an equivalence class are substitutable for each other, at least for some purposes.

Parameters

obj:Object: the reference object with which to compare.

Returns:boolean

true if this object is the same as the obj argument; false otherwise.

Annotations

@Override

equals	back to summary
private boolean equals(LambdaFormEditor.TransformKey that)

equals	back to summary
private boolean equals(LambdaFormEditor.Transform that)

hashCode back to summary

public int hashCode()

Overrides java.lang.Object.hashCode.

Doc from java.lang.Object.hashCode.

Returns a hash code value for this object. This method is supported for the benefit of hash tables such as those provided by java.util.HashMap.

The general contract of hashCode is:

Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
If two objects are equal according to the equals method, then calling the hashCode method on each of the two objects must produce the same integer result.
It is not required that if two objects are unequal according to the equals method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.

Returns:int

a hash code value for this object

Annotations

@Override

toString back to summary

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Returns:String

a string representation of the object

Annotations

@Override

java.lang.invoke back to summary

private final Class LambdaFormEditor.TransformKey

Class Inheritance

extends Object

java.lang.Object
java.lang.invoke.LambdaFormEditor.TransformKey

Used as a lookup key to find existing Transforms

Field Summary

Modifier and Type	Field and Description
pack-priv final byte[]	fullBytes
private static final int	PACKED_BYTE_MASK
private static final int	PACKED_BYTE_MAX_LENGTH
private static final int	PACKED_BYTE_SIZE
pack-priv final long	packedBytes
private static final boolean	STRESS_TEST

Constructor Summary

Access	Constructor and Description
private	TransformKey(long packedBytes)
private	TransformKey(byte[] fullBytes)
private	TransformKey(long packedBytes, byte[] fullBytes)

Method Summary

Modifier and Type	Method and Description
private static byte	bval(int b)
public boolean	equals(Object the reference object with which to compare. obj) Overrides java.lang.Object.equals. Indicates whether some other object is "equal to" this one.
private boolean	equals(LambdaFormEditor.TransformKey that)
private boolean	equals(LambdaFormEditor.Transform that)
private static byte[]	fullBytes(int... byteValues)
public int	hashCode() Overrides java.lang.Object.hashCode. Returns a hash code value for this object.
private static boolean	inRange(int bitset)
private static int	ival(int b)
pack-priv static LambdaFormEditor.TransformKey	of(byte k, int b1)
pack-priv static LambdaFormEditor.TransformKey	of(byte b0, int b1, int b2)
pack-priv static LambdaFormEditor.TransformKey	of(byte b0, int b1, int b2, int b3)
pack-priv static LambdaFormEditor.TransformKey	of(byte kind, int... b123)
pack-priv static LambdaFormEditor.TransformKey	of(byte kind, int b1, int... b234)
pack-priv static LambdaFormEditor.TransformKey	of(byte kind, int b1, int b2, int... b345)
private static long	packedBytes(byte b0, int b1, int b2, int[] b345)
private static long	packedBytes(byte b0, int b1, int[] b234)
private static long	packedBytes(byte b0, int[] b123)
private static long	packedBytes(byte[] bytes)
private static long	packedBytes(int b0, int b1)
private static long	packedBytes(int b0, int b1, int b2)
private static long	packedBytes(int b0, int b1, int b2, int b3)
public String	toString() Overrides java.lang.Object.toString. Returns a string representation of the object.
pack-priv LambdaFormEditor.Transform	withResult(LambdaForm result)

Inherited from java.lang.Object:: clone finalize getClass notify notifyAll wait wait wait

Field Detail

fullBytes	back to summary
pack-priv final byte[] fullBytes

PACKED_BYTE_MASK	back to summary
private static final int PACKED_BYTE_MASK

PACKED_BYTE_MAX_LENGTH	back to summary
private static final int PACKED_BYTE_MAX_LENGTH

PACKED_BYTE_SIZE	back to summary
private static final int PACKED_BYTE_SIZE

packedBytes	back to summary
pack-priv final long packedBytes

STRESS_TEST	back to summary
private static final boolean STRESS_TEST

Constructor Detail

TransformKey	back to summary
private TransformKey(long packedBytes)

TransformKey	back to summary
private TransformKey(byte[] fullBytes)

TransformKey	back to summary
private TransformKey(long packedBytes, byte[] fullBytes)

Method Detail

bval	back to summary
private static byte bval(int b)

equals back to summary

public boolean equals(Object obj)

Overrides java.lang.Object.equals.

Doc from java.lang.Object.equals.

Indicates whether some other object is "equal to" this one.

The equals method implements an equivalence relation on non-null object references:

It is reflexive: for any non-null reference value x, x.equals(x) should return true.
It is symmetric: for any non-null reference values x and y, x.equals(y) should return true if and only if y.equals(x) returns true.
It is transitive: for any non-null reference values x, y, and z, if x.equals(y) returns true and y.equals(z) returns true, then x.equals(z) should return true.
It is consistent: for any non-null reference values x and y, multiple invocations of x.equals(y) consistently return true or consistently return false, provided no information used in equals comparisons on the objects is modified.
For any non-null reference value x, x.equals(null) should return false.

Parameters

obj:Object: the reference object with which to compare.

Returns:boolean

true if this object is the same as the obj argument; false otherwise.

Annotations

@Override

equals	back to summary
private boolean equals(LambdaFormEditor.TransformKey that)

equals	back to summary
private boolean equals(LambdaFormEditor.Transform that)

fullBytes	back to summary
private static byte[] fullBytes(int... byteValues)

hashCode back to summary

public int hashCode()

Overrides java.lang.Object.hashCode.

Doc from java.lang.Object.hashCode.

Returns a hash code value for this object. This method is supported for the benefit of hash tables such as those provided by java.util.HashMap.

The general contract of hashCode is:

Whenever it is invoked on the same object more than once during an execution of a Java application, the hashCode method must consistently return the same integer, provided no information used in equals comparisons on the object is modified. This integer need not remain consistent from one execution of an application to another execution of the same application.
If two objects are equal according to the equals method, then calling the hashCode method on each of the two objects must produce the same integer result.
It is not required that if two objects are unequal according to the equals method, then calling the hashCode method on each of the two objects must produce distinct integer results. However, the programmer should be aware that producing distinct integer results for unequal objects may improve the performance of hash tables.

Returns:int

a hash code value for this object

Annotations

@Override

inRange	back to summary
private static boolean inRange(int bitset)

ival	back to summary
private static int ival(int b)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte k, int b1)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte b0, int b1, int b2)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte b0, int b1, int b2, int b3)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte kind, int... b123)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte kind, int b1, int... b234)

of	back to summary
pack-priv static LambdaFormEditor.TransformKey of(byte kind, int b1, int b2, int... b345)

packedBytes	back to summary
private static long packedBytes(byte b0, int b1, int b2, int[] b345)

packedBytes	back to summary
private static long packedBytes(byte b0, int b1, int[] b234)

packedBytes	back to summary
private static long packedBytes(byte b0, int[] b123)

packedBytes	back to summary
private static long packedBytes(byte[] bytes)

packedBytes	back to summary
private static long packedBytes(int b0, int b1)

packedBytes	back to summary
private static long packedBytes(int b0, int b1, int b2)

packedBytes	back to summary
private static long packedBytes(int b0, int b1, int b2, int b3)

toString back to summary

public String toString()

Overrides java.lang.Object.toString.

Doc from java.lang.Object.toString.

Returns a string representation of the object. Satisfying this method's contract implies a non-null result must be returned.

Returns:String

a string representation of the object

Annotations

@Override

withResult	back to summary
pack-priv LambdaFormEditor.Transform withResult(LambdaForm result)

pack-priv Class LambdaFormEditor

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

private final Class LambdaFormEditor.Transform

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

private final Class LambdaFormEditor.TransformKey

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail