Package gw.internal.gosu.ir.transform

Class AbstractElementTransformer<T extends IParsedElement>

java.lang.Object

gw.internal.gosu.ir.transform.AbstractElementTransformer<T>

Direct Known Subclasses:

AbstractExpressionTransformer, AbstractStatementTransformer, CollectionInitializerExpressionTransformer, FunctionStatementTransformer, GosuClassTransformer, GosuFragmentTransformer, MapInitializerExpressionTransformer, ObjectInitializerExpressionTransformer

public abstract class AbstractElementTransformer<T extends IParsedElement>
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private TopLevelTransformationContext	_cc
private static LocklessLazyVar<Boolean>	_checkedArithmetic
private T	_parsedElement
static final String	CAPTURED_VAR_PREFIX
static final String	CTX_SYMBOL
static final String	CTX_SYMBOL_SUFFIX
static final Map<String,ICustomExpressionRuntime>	CUSTOM_RUNTIMES
static final Class[]	EMPTY_CLASS_ARRAY
static final String	ENHANCEMENT_THIS_REF
static final String	ENHANCEMENT_TYPE_PARAM_PREFIX
static final String	ENUM_PARAM_PREFIX
static final org.objectweb.asm.Type	OBJECT_TYPE
static final String	OUTER_ACCESS
static final String	TYPE_PARAM_PREFIX

Constructor Summary

Constructors

Constructor	Description
AbstractElementTransformer(TopLevelTransformationContext cc, T parsedElem)

Method Summary

Modifier and Type	Method	Description
TopLevelTransformationContext	_cc()
protected void	assignStructuralTypeOwner(IExpression rootExpr, IRExpression irMethodCall)
protected boolean	avoidVerifyError(IType owner, IRType rootType, IRelativeTypeInfo.Accessibility accessibility)
protected IRExpression	booleanLiteral(boolean value)
IRExpression	boxValue(IRType lhsType, IRExpression root)
IRExpression	boxValue(IType lhsType, IRExpression root)
IRExpression	boxValueToType(IType toType, IRExpression root)
protected IRExpression	buildAddition(IRExpression lhs, IRExpression rhs)
protected IRExpression	buildArithmetic(IRExpression lhs, IRExpression rhs, IRArithmeticExpression.Operation operation)
protected IRExpression	buildArrayLength(IRExpression root)
protected IRExpression	buildArrayLoad(IRExpression root, int index, IRType componentType)
protected IRExpression	buildArrayLoad(IRExpression root, IRExpression index, IRType componentType)
protected IRStatement	buildArrayStore(IRExpression lhs, IRExpression index, IRExpression value, IRType componentType)
protected IRAssignmentStatement	buildAssignment(IRSymbol symbol, IRExpression value)
protected IRExpression	buildCast(IRType castType, IRExpression expression)
protected IRCompositeExpression	buildComposite(IRElement... elements)
protected IRCompositeExpression	buildComposite(List<IRElement> elements)
private IRCompositeExpression	buildEnhancementLazyTypeResolverCall(IRMethodStatement method)
protected IREqualityExpression	buildEquals(IRExpression lhs, IRExpression rhs)
protected IRExpression	buildFieldGet(IRType owner, String fieldName, IRType fieldType, IRExpression root)
protected IRStatement	buildFieldSet(IRType owner, String fieldName, IRType fieldType, IRExpression root, IRExpression value)
protected IRRelationalExpression	buildGreaterThan(IRExpression lhs, IRExpression rhs)
protected IRIfStatement	buildIf(IRExpression test, IRStatement ifStatement)
protected IRIfStatement	buildIfElse(IRExpression test, IRStatement ifStatement, IRStatement elseStatement)
protected IRExpression	buildInitializedArray(IRType componentType, List<IRExpression> values)
private IRCompositeExpression	buildInstanceLazyTypeResolverCall(IRMethodStatement method)
private IRCompositeExpression	buildLazyTypeResolverCall(IRMethodStatement method, IGenericTypeVariable[] tvs)
protected IRMethodCallStatement	buildMethodCall(IRExpression methodCall)
protected IRMethodCallExpression	buildMethodCall(IRType ownersType, String name, boolean isInterface, IRType returnType, List<IRType> paramTypes, IRExpression root, List<IRExpression> args)
protected IRMethodCallExpression	buildMethodCall(Class ownersType, String name, Class returnType, Class[] paramTypes, IRExpression root, List<IRExpression> args)
protected IRExpression	buildNegation(IRExpression root)
protected IRNewStatement	buildNewExpression(IRNewExpression newExpression)
protected IRExpression	buildNewExpression(IRType type, List<IRType> parameterTypes, List<IRExpression> args)
protected IRExpression	buildNewExpression(Class type, Class[] parameterTypes, List<IRExpression> args)
protected IREqualityExpression	buildNotEquals(IRExpression lhs, IRExpression rhs)
protected IRExpression	buildNullCheckTernary(IRExpression root, IRExpression ifNull, IRExpression ifNotNull)
protected IRStatement	buildReturn()
private IRCompositeExpression	buildStaticLazyTypeResolverCall(IRMethodStatement method)
protected IRExpression	buildSubtraction(IRExpression lhs, IRExpression rhs)
private IRCompositeExpression	buildSuperCallLazyTypeResolverCall(IRMethodStatement method, IGenericTypeVariable[] tvs)
protected IRExpression	buildTernary(IRExpression test, IRExpression trueValue, IRExpression falseValue, IRType resultType)
protected IRThrowStatement	buildThrow(IRExpression exception)
private IRExpression	callMethod(IRMethod method, IRExpression root, boolean special, IType owner, List<IRExpression> actualArgs)
IRExpression	callMethod(IRMethod method, IRExpression root, List<IRExpression> explicitArgs)
IRExpression	callMethod(IRMethod method, IRExpression root, List<IRExpression> explicitArgs, int[] namedArgOrder)
IRExpression	callMethod(IRMethod method, IRExpression root, List<IRExpression> explicitArgs, int[] namedArgOrder, boolean special)
private IRExpression	callMethod(IRType rootType, IRMethod method, IRExpression root, List<IRExpression> implicitArgs, List<IRExpression> explicitArgs, int[] namedArgOrder, boolean special)
IRExpression	callMethod(IJavaClassInfo cls, String strMethod, Class[] paramTypes, IRExpression root, List<IRExpression> args)
IRExpression	callMethod(Class cls, String strMethod, Class[] paramTypes, IRExpression root, List<IRExpression> args)
private IRMethodCallExpression	callMethodDirectly(IRMethod method, IRExpression root, boolean special, IType owner, List<IRExpression> actualArgs)
private IRExpression	callMethodReflectively(IType owner, String strMethod, IRType returnType, List<IRType> paramTypes, IRExpression root, List<IRExpression> args)
IRExpression	callSpecialMethod(IRType rootType, IRMethod method, IRExpression root, List<IRExpression> explicitArgs)
IRExpression	callSpecialMethod(IRType rootType, IRMethod method, IRExpression root, List<IRExpression> explicitArgs, int[] namedArgOrder)
IRExpression	callSpecialMethod(IRType rootType, IRMethod method, IRExpression root, List<IRExpression> implicitArgs, List<IRExpression> explicitArgs, int[] namedArgOrder)
IRExpression	callStaticMethod(Class cls, String strMethod, Class[] paramTypes, List<IRExpression> args)
protected IRExpression	castResultingTypeIfNecessary(IRType expectedType, IRType actualReturnType, IRExpression root)
protected IRExpression	charLiteral(char c)
protected IRExpression	checkCast(IType type, IRExpression expression)
protected IRExpression	checkCast(IType type, IRExpression expression, boolean bGetConcreteTypeForMetaType)
protected IRExpression	checkCast(Class cls, IRExpression expression)
protected IRExpression	classLiteral(IRType value)
protected IRExpression	classLiteral(IJavaClassInfo value)
protected IRExpression	classLiteral(Class value)	Deprecated.
static void	clearCustomRuntimes()
IRExpression	collectArgsIntoObjArray(List<IRExpression> args)
protected IRExpression	convertBoxedNullToPrimitive(IType boxedType)
protected IRExpression	convertNullToPrimitive(IType primitive)
protected IRAssignmentStatement	convertOperandToBig(IType bigType, Class bigClass, IType operandType, IRExpression operand, IRSymbol tempRet)
protected IRAssignmentStatement	convertOperandToPrimitive(IType primitiveType, IType operandType, IRExpression operand, IRSymbol tempRet)
protected IRAssignmentStatement	convertOperandToRational(IType operandType, IRExpression operand, IRSymbol tempRet)
private boolean	equivalentTypes(IType type1, IType type2)
protected static List<IRExpression>	exprList(IRExpression... expressions)
protected IRExpression	fastStringCoercion(IRExpression expr, IType operandType)
protected final IType	findComparableParamType(IType type)
private IType	findCompareToParamType(IType type)
static IType	findDimensionType(IType type)
protected IGosuVarPropertyInfo	getActualPropertyInfo(IPropertyInfo pi)
protected String	getCapturedSymbolParameterName(ICapturedSymbol sym)
IJavaClassInfo[]	getClassInfos(IType[] parameters)
IType	getConcreteType(IType type)
protected IRType[]	getConstructorParamTypes(IType[] declaredParams, int iTypeParams, IType type)	Parameters are order like so: ctor( [OuterThis,] [This,] [CapturedSymbols,] [TypeParams,] params )
static ICustomExpressionRuntime	getCustomRuntime(String id, IType enclosingClass)
static Field	getDeclaredField(Class cls, String strName)
static Field	getDeclaredFieldImpl(Class cls, String strName)
static IJavaClassMethod	getDeclaredMethod(IJavaClassInfo cls, String strName, Class... params)
static Method	getDeclaredMethod(Class cls, String strName, Class... params)
private static IJavaClassMethod	getDeclaredMethodImpl(IJavaClassInfo cls, String strName, Class... params)
private static Method	getDeclaredMethodImpl(Class cls, String strName, Class... params)
IRExpression	getDefaultConstIns(IType type)
static IRType	getDescriptor(IType type)
static IRType	getDescriptor(IType type, boolean getConcreteTypeForMetaType)
static IRType	getDescriptor(IJavaClassInfo cls)
static IRType	getDescriptor(Class cls)
static IDynamicFunctionSymbol	getEnclosingDFS(ICompilableType gsClass)
protected IRExpression	getField(IRProperty field, IRExpression root)
private IRExpression	getField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility, IRExpression root)
protected IRExpression	getField_new(IRProperty irProp, IRExpression root, IRType expectedType)
private IRExpression	getFieldImpl_new(IRProperty irProp, IRExpression root)
private IRExpression	getFieldReflectively(IType owner, String strField, IRType fieldType, IRExpression root)
private IRExpression	getFieldReflectively_new(IRProperty irProp, IRExpression root)
private IGenericTypeVariable[]	getGenericFunctionTypeVariables(IDynamicFunctionSymbol currentFunction)
ICompilableTypeInternal	getGosuClass()
protected IRExpression	getInstanceField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility, IRExpression root)
protected static List<IRType>	getIRTypes(IJavaClassInfo[] iJavaClassInfos)
protected static List<IRType>	getIRTypes(Class[] classes)
int	getModifiers(Symbol symbol)
private IModule	getModule(IType type)
protected T	getParsedElement()
static IType	getRuntimeEnclosingType(IType type)
private IRExpression	getRuntimeTypeParameter(TypeVariableType type)
protected IRExpression	getStaticField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility)
static IType[]	getTypes(IParameterInfo[] parameters)
protected final String	getTypeVarParamName(IGenericTypeVariable typeVar)
static List<IGenericTypeVariable>	getTypeVarsForDFS(IDynamicFunctionSymbol dfs)
private static IGenericTypeVariable[]	getTypeVarsForEnhancement(IDynamicFunctionSymbol dfs)
protected IRExpression	handleCustomExpressionRuntime(ICustomExpressionRuntime customRuntime, IType expectedType)
List<IRElement>	handleNamedArgs(List<IRExpression> explicitArgs, int[] namedArgOrder)	Facilitates evaluation of named args in lexical order.
protected IRIdentifier	identifier(IRSymbol symbol)
protected IRAssignmentStatement	initLocalVar(Symbol varSym, IRExpression initialValue)
protected IRAssignmentStatement	initLocalVarWithDefault(Symbol varSym)
static Object	initMultiArray(IType componentType, Object instance, int iDimension, int[] sizes)
protected boolean	inStaticContext()
static boolean	isBigType(IType type)
static boolean	isBoxedIntType(IType type)
static boolean	isBytecodeType(IConstructorInfo ci)
static boolean	isBytecodeType(IType type)
private boolean	isCapturedOnEnclosingAnonymousClass(ICapturedSymbol sym, IGosuClassInternal gsClass)
protected boolean	isCheckedArithmeticEnabled()
boolean	isCompilingEnhancement()
static boolean	isEnhancementType(IType type)
protected static boolean	isEvalProgram(IGosuClassInternal gsClass)
static boolean	isExecuteMethod(String name)
protected boolean	isHandledByCustomCoercion(IType operandType)
static boolean	isIntType(IType from)
protected ICompilableTypeInternal	isMemberOnEnclosingType(IReducedSymbol symbol)
protected boolean	isMemberOnEnhancementOfEnclosingType(AbstractDynamicSymbol symbol)
static boolean	isNonBigBoxedNumberType(IType type)
static boolean	isNonStaticInnerClass(IType type)
static boolean	isNumberType(IType type)
protected boolean	isPrimitiveNumberType(IType type)
boolean	isProgram(IType type)
boolean	isProgramOrEnclosedInProgram(IType type)
private boolean	isReadObjectOrWriteObjectMethod(Symbol symbol)
private boolean	isRecursiveTypeParsing(IType type)
private boolean	isSuperCall()
static List<GosuAnnotationInfo>	makeAnnotationInfos(List<IGosuAnnotation> gosuAnnotations, IFeatureInfo fiAnnotated)
protected IRExpression	makeArrayViaTypeInfo(IType atomicType, List<Expression> valueExpressions)
private static String	makeCustomRuntimeKey(IType enclosingClass, int iLineNum, int iColumnNum)
protected IRExpression	makeEmptyArrayViaTypeInfo(IType atomicType, List<Expression> sizeExpressions)
private IRMethodStatement	makeEnhancementLazyTypeMethod(IType type)
private IRMethodStatement	makeInstanceLazyTypeMethod(IType type)
protected IRSymbol	makeIRSymbol(Symbol varSym)
private IRMethodStatement	makeLazyTypeMethod(IType type, IGenericTypeVariable[] tvs)
private IRMethodStatement	makeStaticLazyTypeMethod(IType type)
private IRMethodStatement	makeSuperCallLazyTypeMethod(IType type, IGenericTypeVariable[] tvs)
private IRExpression	maybeGetFromEnclosingFunction(ICompilableType gsClass, TypeVariableType type, String strTypeVarField)	An anonymous class enclosed in a generic function has as a synthetic field the type parameter[s] from the function.
private IRExpression	maybePushFastLazyType(IType type)
IType	maybeUnwrapMetaType(IType rootType)
private static IType	maybeUnwrapProxy(IType type)
protected IRExpression	newArray(IRType atomicType, IRExpression sizeExpression)
IRStatement	nullCheckVar(IRSymbol symbol)
protected IRExpression	nullLiteral()
protected IRExpression	numberConvert(IRType from, IRType to, IRExpression root)
protected IRExpression	numberConvert(IType from, IType to, IRExpression root)
protected IRExpression	numericLiteral(Number value)
protected IRExpression	pushArrayOfDefValueExpr(IExpression[] array)
protected IRExpression	pushArrayOfString(String[] array)
IRExpression	pushArrayOfTypes(IType[] types)
protected void	pushCapturedSymbols(IType type, List<IRExpression> args, boolean ignoreExternalSymbols)
private IRExpression	pushClassLiteral(IRType value, IType type)
protected IRExpression	pushConstant(Object constant)
private int	pushEnclosingFunctionTypeParams(IParsedElement pe, IType type, int iCount, List<IRExpression> args)
private void	pushEnhancementTypeParams(IRMethod irMethod, IType enhancementType, List<IRExpression> args)
protected void	pushEnumSuperConstructorArguments(List<IRExpression> args)
protected IRExpression	pushExternalSymbolsMap()
IRExpression	pushLazyType(IType type)
IRExpression	pushLazyType(IType type, IGenericTypeVariable[] tvs)
private IRExpression	pushLazyTypeByFqn(IType boundingType)
private IRExpression	pushLazyTypeWithInvokeDynamic(IType type, IGenericTypeVariable[] tvs)
protected IRExpression	pushNull()
protected IRExpression	pushOuter()
protected IRExpression	pushOuter(IType outerTarget)
protected IRExpression	pushOuter(IType outerTarget, IType currentOuter, IRExpression root)
protected IRExpression	pushParamTypes(IParameterInfo[] parameters)
IRExpression	pushRuntimeTypeOfTypeVar(IType type)
protected IRExpression	pushString(IExpression expr)
protected IRExpression	pushThis()
protected IRExpression	pushThisOrOuter(IType currentType)
IRExpression	pushType(IType type)
IRExpression	pushType(IType type, boolean bKeepLiteralType)
protected int	pushTypeParametersForConstructor(IExpression expr, IType type, List<IRExpression> args, boolean bSuperCall, boolean genericJavaInterop)
private void	pushTypeParams(IRMethod irMethod, List<IRExpression> args)
static boolean	requiresExternalSymbolCapture(IType type)
static boolean	requiresImplicitEnhancementArg(ReducedDynamicFunctionSymbol dfs)
static boolean	requiresImplicitEnhancementArg(IGosuMethodInfo mi)
protected void	setCc(TopLevelTransformationContext cc)
protected IRStatement	setField(IRProperty field, IRExpression root, IRExpression value)
protected IRStatement	setField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility, IRExpression root, IRExpression value)
private IRStatement	setFieldReflectively(IType owner, String strField, IRExpression root, IRExpression value)
protected IRStatement	setInstanceField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility, IRExpression root, IRExpression value)
protected IRStatement	setStaticField(IType owner, String strField, IRType fieldType, IRelativeTypeInfo.Accessibility accessibility, IRExpression value)
private boolean	shouldAddExternalSymbolsMapToCall(IRMethod method)
protected IRExpression	stringLiteral(String value)
IRExpression	unboxValueFromType(IType boxedType, IRExpression root)
IRExpression	unboxValueToType(IRType lhsType, IRExpression expression)
IRExpression	unboxValueToType(IType lhsType, IRExpression expression)
static Character	valueOf(char c)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

CTX_SYMBOL_SUFFIX

public static final String CTX_SYMBOL_SUFFIX

See Also:

• Constant Field Values

CTX_SYMBOL

public static final String CTX_SYMBOL

See Also:

• Constant Field Values

CUSTOM_RUNTIMES

public static final Map<String,ICustomExpressionRuntime> CUSTOM_RUNTIMES

EMPTY_CLASS_ARRAY

public static final Class[] EMPTY_CLASS_ARRAY

OUTER_ACCESS

public static final String OUTER_ACCESS

See Also:

• Constant Field Values

CAPTURED_VAR_PREFIX

public static final String CAPTURED_VAR_PREFIX

See Also:

• Constant Field Values

ENHANCEMENT_TYPE_PARAM_PREFIX

public static final String ENHANCEMENT_TYPE_PARAM_PREFIX

See Also:

• Constant Field Values

TYPE_PARAM_PREFIX

public static final String TYPE_PARAM_PREFIX

See Also:

• Constant Field Values

ENUM_PARAM_PREFIX

public static final String ENUM_PARAM_PREFIX

See Also:

• Constant Field Values

OBJECT_TYPE

public static final org.objectweb.asm.Type OBJECT_TYPE

ENHANCEMENT_THIS_REF

public static final String ENHANCEMENT_THIS_REF

See Also:

• Constant Field Values

_cc

private TopLevelTransformationContext _cc

_parsedElement

private T extends IParsedElement _parsedElement

_checkedArithmetic

private static LocklessLazyVar<Boolean> _checkedArithmetic

Constructor Details

AbstractElementTransformer

public AbstractElementTransformer(TopLevelTransformationContext cc,
 T parsedElem)

Method Details

clearCustomRuntimes

public static void clearCustomRuntimes()

_cc

public TopLevelTransformationContext _cc()

setCc

protected void setCc(TopLevelTransformationContext cc)

getParsedElement

protected T getParsedElement()

getGosuClass

public ICompilableTypeInternal getGosuClass()

callStaticMethod

public IRExpression callStaticMethod(Class cls,
 String strMethod,
 Class[] paramTypes,
 List<IRExpression> args)

callMethod

public IRExpression callMethod(Class cls,
 String strMethod,
 Class[] paramTypes,
 IRExpression root,
 List<IRExpression> args)

callMethod

public IRExpression callMethod(IJavaClassInfo cls,
 String strMethod,
 Class[] paramTypes,
 IRExpression root,
 List<IRExpression> args)

callMethod

public IRExpression callMethod(IRMethod method,
 IRExpression root,
 List<IRExpression> explicitArgs)

callMethod

public IRExpression callMethod(IRMethod method,
 IRExpression root,
 List<IRExpression> explicitArgs,
 int[] namedArgOrder)

callMethod

public IRExpression callMethod(IRMethod method,
 IRExpression root,
 List<IRExpression> explicitArgs,
 int[] namedArgOrder,
 boolean special)

callSpecialMethod

public IRExpression callSpecialMethod(IRType rootType,
 IRMethod method,
 IRExpression root,
 List<IRExpression> explicitArgs)

callSpecialMethod

public IRExpression callSpecialMethod(IRType rootType,
 IRMethod method,
 IRExpression root,
 List<IRExpression> explicitArgs,
 int[] namedArgOrder)

callSpecialMethod

public IRExpression callSpecialMethod(IRType rootType,
 IRMethod method,
 IRExpression root,
 List<IRExpression> implicitArgs,
 List<IRExpression> explicitArgs,
 int[] namedArgOrder)

callMethod

private IRExpression callMethod(IRType rootType,
 IRMethod method,
 IRExpression root,
 List<IRExpression> implicitArgs,
 List<IRExpression> explicitArgs,
 int[] namedArgOrder,
 boolean special)

handleNamedArgs

public List<IRElement> handleNamedArgs(List<IRExpression> explicitArgs,
 int[] namedArgOrder)

Facilitates evaluation of named args in lexical order. E.g.,

   callMe( :param3 = expr1, :param1 = expr2, :param2 = expr3 )
 

is parsed as:

   callMe( expr2, expr3, expr1 )
 

which is compiled to:

   temp1 = expr1
   temp2 = expr2
   temp3 = expr3
   callMe( temp2, temp3, temp1 )
 

Parameters:

explicitArgs - The arg expressions in proper order for the target call. The expressions are replaced with the temp vars.

namedArgOrder - The lexical ordering of the args

Returns:

The temp var assignments in lexical order

shouldAddExternalSymbolsMapToCall

private boolean shouldAddExternalSymbolsMapToCall(IRMethod method)

isExecuteMethod

public static boolean isExecuteMethod(String name)

callMethod

private IRExpression callMethod(IRMethod method,
 IRExpression root,
 boolean special,
 IType owner,
 List<IRExpression> actualArgs)

callMethodDirectly

private IRMethodCallExpression callMethodDirectly(IRMethod method,
 IRExpression root,
 boolean special,
 IType owner,
 List<IRExpression> actualArgs)

isSuperCall

private boolean isSuperCall()

pushEnhancementTypeParams

private void pushEnhancementTypeParams(IRMethod irMethod,
 IType enhancementType,
 List<IRExpression> args)

callMethodReflectively

private IRExpression callMethodReflectively(IType owner,
 String strMethod,
 IRType returnType,
 List<IRType> paramTypes,
 IRExpression root,
 List<IRExpression> args)

pushTypeParams

private void pushTypeParams(IRMethod irMethod,
 List<IRExpression> args)

nullCheckVar

public IRStatement nullCheckVar(IRSymbol symbol)

pushLazyType

public IRExpression pushLazyType(IType type)

pushLazyType

public IRExpression pushLazyType(IType type,
 IGenericTypeVariable[] tvs)

pushLazyTypeWithInvokeDynamic

private IRExpression pushLazyTypeWithInvokeDynamic(IType type,
 IGenericTypeVariable[] tvs)

maybePushFastLazyType

private IRExpression maybePushFastLazyType(IType type)

buildLazyTypeResolverCall

private IRCompositeExpression buildLazyTypeResolverCall(IRMethodStatement method,
 IGenericTypeVariable[] tvs)

buildStaticLazyTypeResolverCall

private IRCompositeExpression buildStaticLazyTypeResolverCall(IRMethodStatement method)

buildEnhancementLazyTypeResolverCall

private IRCompositeExpression buildEnhancementLazyTypeResolverCall(IRMethodStatement method)

buildInstanceLazyTypeResolverCall

private IRCompositeExpression buildInstanceLazyTypeResolverCall(IRMethodStatement method)

buildSuperCallLazyTypeResolverCall

private IRCompositeExpression buildSuperCallLazyTypeResolverCall(IRMethodStatement method,
 IGenericTypeVariable[] tvs)

makeLazyTypeMethod

private IRMethodStatement makeLazyTypeMethod(IType type,
 IGenericTypeVariable[] tvs)

makeStaticLazyTypeMethod

private IRMethodStatement makeStaticLazyTypeMethod(IType type)

makeEnhancementLazyTypeMethod

private IRMethodStatement makeEnhancementLazyTypeMethod(IType type)

makeSuperCallLazyTypeMethod

private IRMethodStatement makeSuperCallLazyTypeMethod(IType type,
 IGenericTypeVariable[] tvs)

makeInstanceLazyTypeMethod

private IRMethodStatement makeInstanceLazyTypeMethod(IType type)

getGenericFunctionTypeVariables

private IGenericTypeVariable[] getGenericFunctionTypeVariables(IDynamicFunctionSymbol currentFunction)

pushType

public IRExpression pushType(IType type)

pushType

public IRExpression pushType(IType type,
 boolean bKeepLiteralType)

isRecursiveTypeParsing

private boolean isRecursiveTypeParsing(IType type)

pushArrayOfString

protected IRExpression pushArrayOfString(String[] array)

pushArrayOfDefValueExpr

protected IRExpression pushArrayOfDefValueExpr(IExpression[] array)

pushArrayOfTypes

public IRExpression pushArrayOfTypes(IType[] types)

requiresImplicitEnhancementArg

public static boolean requiresImplicitEnhancementArg(ReducedDynamicFunctionSymbol dfs)

requiresImplicitEnhancementArg

public static boolean requiresImplicitEnhancementArg(IGosuMethodInfo mi)

getClassInfos

public IJavaClassInfo[] getClassInfos(IType[] parameters)

getModule

private IModule getModule(IType type)

getConcreteType

public IType getConcreteType(IType type)

getDescriptor

public static IRType getDescriptor(IType type)

getDescriptor

public static IRType getDescriptor(IType type,
 boolean getConcreteTypeForMetaType)

getDescriptor

public static IRType getDescriptor(Class cls)

getDescriptor

public static IRType getDescriptor(IJavaClassInfo cls)

getDefaultConstIns

public IRExpression getDefaultConstIns(IType type)

getModifiers

public int getModifiers(Symbol symbol)

isReadObjectOrWriteObjectMethod

private boolean isReadObjectOrWriteObjectMethod(Symbol symbol)

isCompilingEnhancement

public boolean isCompilingEnhancement()

isProgramOrEnclosedInProgram

public boolean isProgramOrEnclosedInProgram(IType type)

boxValue

public IRExpression boxValue(IType lhsType,
 IRExpression root)

valueOf

public static Character valueOf(char c)

boxValue

public IRExpression boxValue(IRType lhsType,
 IRExpression root)

boxValueToType

public IRExpression boxValueToType(IType toType,
 IRExpression root)

unboxValueToType

public IRExpression unboxValueToType(IType lhsType,
 IRExpression expression)

unboxValueToType

public IRExpression unboxValueToType(IRType lhsType,
 IRExpression expression)

unboxValueFromType

public IRExpression unboxValueFromType(IType boxedType,
 IRExpression root)

isProgram

public boolean isProgram(IType type)

isEnhancementType

public static boolean isEnhancementType(IType type)

isBytecodeType

public static boolean isBytecodeType(IType type)

isBytecodeType

public static boolean isBytecodeType(IConstructorInfo ci)

getTypes

public static IType[] getTypes(IParameterInfo[] parameters)

pushString

protected IRExpression pushString(IExpression expr)

pushParamTypes

protected IRExpression pushParamTypes(IParameterInfo[] parameters)

pushNull

protected IRExpression pushNull()

pushConstant

protected IRExpression pushConstant(Object constant)

convertBoxedNullToPrimitive

protected IRExpression convertBoxedNullToPrimitive(IType boxedType)

convertNullToPrimitive

protected IRExpression convertNullToPrimitive(IType primitive)

checkCast

protected IRExpression checkCast(Class cls,
 IRExpression expression)

checkCast

protected IRExpression checkCast(IType type,
 IRExpression expression)

checkCast

protected IRExpression checkCast(IType type,
 IRExpression expression,
 boolean bGetConcreteTypeForMetaType)

convertOperandToBig

protected IRAssignmentStatement convertOperandToBig(IType bigType,
 Class bigClass,
 IType operandType,
 IRExpression operand,
 IRSymbol tempRet)

convertOperandToRational

protected IRAssignmentStatement convertOperandToRational(IType operandType,
 IRExpression operand,
 IRSymbol tempRet)

convertOperandToPrimitive

protected IRAssignmentStatement convertOperandToPrimitive(IType primitiveType,
 IType operandType,
 IRExpression operand,
 IRSymbol tempRet)

numberConvert

protected IRExpression numberConvert(IType from,
 IType to,
 IRExpression root)

numberConvert

protected IRExpression numberConvert(IRType from,
 IRType to,
 IRExpression root)

isIntType

public static boolean isIntType(IType from)

isPrimitiveNumberType

protected boolean isPrimitiveNumberType(IType type)

isBigType

public static boolean isBigType(IType type)

isNonBigBoxedNumberType

public static boolean isNonBigBoxedNumberType(IType type)

isBoxedIntType

public static boolean isBoxedIntType(IType type)

isNumberType

public static boolean isNumberType(IType type)

isMemberOnEnclosingType

protected ICompilableTypeInternal isMemberOnEnclosingType(IReducedSymbol symbol)

isMemberOnEnhancementOfEnclosingType

protected boolean isMemberOnEnhancementOfEnclosingType(AbstractDynamicSymbol symbol)

maybeUnwrapProxy

private static IType maybeUnwrapProxy(IType type)

pushThis

protected IRExpression pushThis()

pushThisOrOuter

protected IRExpression pushThisOrOuter(IType currentType)

pushOuter

protected IRExpression pushOuter()

pushOuter

protected IRExpression pushOuter(IType outerTarget)

pushOuter

protected IRExpression pushOuter(IType outerTarget,
 IType currentOuter,
 IRExpression root)

getInstanceField

protected IRExpression getInstanceField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility,
 IRExpression root)

getStaticField

protected IRExpression getStaticField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility)

getField

protected IRExpression getField(IRProperty field,
 IRExpression root)

setField

protected IRStatement setField(IRProperty field,
 IRExpression root,
 IRExpression value)

setInstanceField

protected IRStatement setInstanceField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility,
 IRExpression root,
 IRExpression value)

setStaticField

protected IRStatement setStaticField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility,
 IRExpression value)

getField

private IRExpression getField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility,
 IRExpression root)

avoidVerifyError

protected boolean avoidVerifyError(IType owner,
 IRType rootType,
 IRelativeTypeInfo.Accessibility accessibility)

getFieldReflectively

private IRExpression getFieldReflectively(IType owner,
 String strField,
 IRType fieldType,
 IRExpression root)

setField

protected IRStatement setField(IType owner,
 String strField,
 IRType fieldType,
 IRelativeTypeInfo.Accessibility accessibility,
 IRExpression root,
 IRExpression value)

setFieldReflectively

private IRStatement setFieldReflectively(IType owner,
 String strField,
 IRExpression root,
 IRExpression value)

isEvalProgram

protected static boolean isEvalProgram(IGosuClassInternal gsClass)

getDeclaredField

public static Field getDeclaredField(Class cls,
 String strName)

getDeclaredFieldImpl

public static Field getDeclaredFieldImpl(Class cls,
 String strName)

getDeclaredMethod

public static Method getDeclaredMethod(Class cls,
 String strName,
 Class... params)

getDeclaredMethod

public static IJavaClassMethod getDeclaredMethod(IJavaClassInfo cls,
 String strName,
 Class... params)

getDeclaredMethodImpl

private static Method getDeclaredMethodImpl(Class cls,
 String strName,
 Class... params)

getDeclaredMethodImpl

private static IJavaClassMethod getDeclaredMethodImpl(IJavaClassInfo cls,
 String strName,
 Class... params)

newArray

protected IRExpression newArray(IRType atomicType,
 IRExpression sizeExpression)

makeArrayViaTypeInfo

protected IRExpression makeArrayViaTypeInfo(IType atomicType,
 List<Expression> valueExpressions)

makeEmptyArrayViaTypeInfo

protected IRExpression makeEmptyArrayViaTypeInfo(IType atomicType,
 List<Expression> sizeExpressions)

initMultiArray

public static Object initMultiArray(IType componentType,
 Object instance,
 int iDimension,
 int[] sizes)

pushRuntimeTypeOfTypeVar

public IRExpression pushRuntimeTypeOfTypeVar(IType type)

getRuntimeTypeParameter

private IRExpression getRuntimeTypeParameter(TypeVariableType type)

pushLazyTypeByFqn

private IRExpression pushLazyTypeByFqn(IType boundingType)

equivalentTypes

private boolean equivalentTypes(IType type1,
 IType type2)

maybeGetFromEnclosingFunction

private IRExpression maybeGetFromEnclosingFunction(ICompilableType gsClass,
 TypeVariableType type,
 String strTypeVarField)

An anonymous class enclosed in a generic function has as a synthetic field the type parameter[s] from the function.

getEnclosingDFS

public static IDynamicFunctionSymbol getEnclosingDFS(ICompilableType gsClass)

getTypeVarsForDFS

public static List<IGenericTypeVariable> getTypeVarsForDFS(IDynamicFunctionSymbol dfs)

getTypeVarsForEnhancement

private static IGenericTypeVariable[] getTypeVarsForEnhancement(IDynamicFunctionSymbol dfs)

getConstructorParamTypes

protected IRType[] getConstructorParamTypes(IType[] declaredParams,
 int iTypeParams,
 IType type)

Parameters are order like so: ctor( [OuterThis,] [This,] [CapturedSymbols,] [TypeParams,] params )

pushTypeParametersForConstructor

protected int pushTypeParametersForConstructor(IExpression expr,
 IType type,
 List<IRExpression> args,
 boolean bSuperCall,
 boolean genericJavaInterop)

pushEnumSuperConstructorArguments

protected void pushEnumSuperConstructorArguments(List<IRExpression> args)

pushEnclosingFunctionTypeParams

private int pushEnclosingFunctionTypeParams(IParsedElement pe,
 IType type,
 int iCount,
 List<IRExpression> args)

initLocalVarWithDefault

protected IRAssignmentStatement initLocalVarWithDefault(Symbol varSym)

initLocalVar

protected IRAssignmentStatement initLocalVar(Symbol varSym,
 IRExpression initialValue)

makeIRSymbol

protected IRSymbol makeIRSymbol(Symbol varSym)

pushCapturedSymbols

protected void pushCapturedSymbols(IType type,
 List<IRExpression> args,
 boolean ignoreExternalSymbols)

isCapturedOnEnclosingAnonymousClass

private boolean isCapturedOnEnclosingAnonymousClass(ICapturedSymbol sym,
 IGosuClassInternal gsClass)

collectArgsIntoObjArray

public IRExpression collectArgsIntoObjArray(List<IRExpression> args)

getActualPropertyInfo

protected IGosuVarPropertyInfo getActualPropertyInfo(IPropertyInfo pi)

castResultingTypeIfNecessary

protected IRExpression castResultingTypeIfNecessary(IRType expectedType,
 IRType actualReturnType,
 IRExpression root)

getRuntimeEnclosingType

public static IType getRuntimeEnclosingType(IType type)

Parameters:

type -

Returns:

the actual runtime enclosing type of this type (handles the case of enhancements, when the "enclosing type" at runtime will be the enhanced object, rather than the acutal enclosing type)

maybeUnwrapMetaType

public IType maybeUnwrapMetaType(IType rootType)

classLiteral

@Deprecated
protected IRExpression classLiteral(Class value)

Deprecated.

classLiteral

protected IRExpression classLiteral(IJavaClassInfo value)

classLiteral

protected IRExpression classLiteral(IRType value)

pushClassLiteral

private IRExpression pushClassLiteral(IRType value,
 IType type)

getCustomRuntime

public static ICustomExpressionRuntime getCustomRuntime(String id,
 IType enclosingClass)

handleCustomExpressionRuntime

protected IRExpression handleCustomExpressionRuntime(ICustomExpressionRuntime customRuntime,
 IType expectedType)

makeCustomRuntimeKey

private static String makeCustomRuntimeKey(IType enclosingClass,
 int iLineNum,
 int iColumnNum)

pushExternalSymbolsMap

protected IRExpression pushExternalSymbolsMap()

requiresExternalSymbolCapture

public static boolean requiresExternalSymbolCapture(IType type)

buildMethodCall

protected IRMethodCallExpression buildMethodCall(IRType ownersType,
 String name,
 boolean isInterface,
 IRType returnType,
 List<IRType> paramTypes,
 IRExpression root,
 List<IRExpression> args)

buildMethodCall

protected IRMethodCallExpression buildMethodCall(Class ownersType,
 String name,
 Class returnType,
 Class[] paramTypes,
 IRExpression root,
 List<IRExpression> args)

buildCast

protected IRExpression buildCast(IRType castType,
 IRExpression expression)

numericLiteral

protected IRExpression numericLiteral(Number value)

charLiteral

protected IRExpression charLiteral(char c)

booleanLiteral

protected IRExpression booleanLiteral(boolean value)

nullLiteral

protected IRExpression nullLiteral()

stringLiteral

protected IRExpression stringLiteral(String value)

buildArrayLoad

protected IRExpression buildArrayLoad(IRExpression root,
 int index,
 IRType componentType)

buildArrayLoad

protected IRExpression buildArrayLoad(IRExpression root,
 IRExpression index,
 IRType componentType)

buildFieldGet

protected IRExpression buildFieldGet(IRType owner,
 String fieldName,
 IRType fieldType,
 IRExpression root)

buildFieldSet

protected IRStatement buildFieldSet(IRType owner,
 String fieldName,
 IRType fieldType,
 IRExpression root,
 IRExpression value)

buildAssignment

protected IRAssignmentStatement buildAssignment(IRSymbol symbol,
 IRExpression value)

identifier

protected IRIdentifier identifier(IRSymbol symbol)

buildArrayStore

protected IRStatement buildArrayStore(IRExpression lhs,
 IRExpression index,
 IRExpression value,
 IRType componentType)

buildInitializedArray

protected IRExpression buildInitializedArray(IRType componentType,
 List<IRExpression> values)

buildNewExpression

protected IRExpression buildNewExpression(IRType type,
 List<IRType> parameterTypes,
 List<IRExpression> args)

buildNewExpression

protected IRExpression buildNewExpression(Class type,
 Class[] parameterTypes,
 List<IRExpression> args)

getTypeVarParamName

protected final String getTypeVarParamName(IGenericTypeVariable typeVar)

getCapturedSymbolParameterName

protected String getCapturedSymbolParameterName(ICapturedSymbol sym)

exprList

protected static List<IRExpression> exprList(IRExpression... expressions)

getIRTypes

protected static List<IRType> getIRTypes(Class[] classes)

getIRTypes

protected static List<IRType> getIRTypes(IJavaClassInfo[] iJavaClassInfos)

buildNullCheckTernary

protected IRExpression buildNullCheckTernary(IRExpression root,
 IRExpression ifNull,
 IRExpression ifNotNull)

buildThrow

protected IRThrowStatement buildThrow(IRExpression exception)

buildIf

protected IRIfStatement buildIf(IRExpression test,
 IRStatement ifStatement)

buildIfElse

protected IRIfStatement buildIfElse(IRExpression test,
 IRStatement ifStatement,
 IRStatement elseStatement)

buildComposite

protected IRCompositeExpression buildComposite(IRElement... elements)

buildComposite

protected IRCompositeExpression buildComposite(List<IRElement> elements)

buildMethodCall

protected IRMethodCallStatement buildMethodCall(IRExpression methodCall)

buildNewExpression

protected IRNewStatement buildNewExpression(IRNewExpression newExpression)

buildReturn

protected IRStatement buildReturn()

buildEquals

protected IREqualityExpression buildEquals(IRExpression lhs,
 IRExpression rhs)

buildNotEquals

protected IREqualityExpression buildNotEquals(IRExpression lhs,
 IRExpression rhs)

buildGreaterThan

protected IRRelationalExpression buildGreaterThan(IRExpression lhs,
 IRExpression rhs)

buildTernary

protected IRExpression buildTernary(IRExpression test,
 IRExpression trueValue,
 IRExpression falseValue,
 IRType resultType)

buildAddition

protected IRExpression buildAddition(IRExpression lhs,
 IRExpression rhs)

buildSubtraction

protected IRExpression buildSubtraction(IRExpression lhs,
 IRExpression rhs)

buildArithmetic

protected IRExpression buildArithmetic(IRExpression lhs,
 IRExpression rhs,
 IRArithmeticExpression.Operation operation)

buildNegation

protected IRExpression buildNegation(IRExpression root)

buildArrayLength

protected IRExpression buildArrayLength(IRExpression root)

inStaticContext

protected boolean inStaticContext()

makeAnnotationInfos

public static List<GosuAnnotationInfo> makeAnnotationInfos(List<IGosuAnnotation> gosuAnnotations,
 IFeatureInfo fiAnnotated)

isCheckedArithmeticEnabled

protected boolean isCheckedArithmeticEnabled()

isNonStaticInnerClass

public static boolean isNonStaticInnerClass(IType type)

getField_new

protected IRExpression getField_new(IRProperty irProp,
 IRExpression root,
 IRType expectedType)

getFieldImpl_new

private IRExpression getFieldImpl_new(IRProperty irProp,
 IRExpression root)

getFieldReflectively_new

private IRExpression getFieldReflectively_new(IRProperty irProp,
 IRExpression root)

assignStructuralTypeOwner

protected void assignStructuralTypeOwner(IExpression rootExpr,
 IRExpression irMethodCall)

fastStringCoercion

protected IRExpression fastStringCoercion(IRExpression expr,
 IType operandType)

isHandledByCustomCoercion

protected boolean isHandledByCustomCoercion(IType operandType)

findDimensionType

public static IType findDimensionType(IType type)

findComparableParamType

protected final IType findComparableParamType(IType type)

findCompareToParamType

private IType findCompareToParamType(IType type)