Package gw.internal.gosu.ir.transform.expression

Class NewExpressionTransformer

java.lang.Object

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

gw.internal.gosu.ir.transform.expression.AbstractExpressionTransformer<NewExpression>

gw.internal.gosu.ir.transform.expression.NewExpressionTransformer

public class NewExpressionTransformer
extends AbstractExpressionTransformer<NewExpression>

Field Summary

Fields inherited from class gw.internal.gosu.ir.transform.AbstractElementTransformer

CAPTURED_VAR_PREFIX, CTX_SYMBOL, CTX_SYMBOL_SUFFIX, CUSTOM_RUNTIMES, EMPTY_CLASS_ARRAY, ENHANCEMENT_THIS_REF, ENHANCEMENT_TYPE_PARAM_PREFIX, ENUM_PARAM_PREFIX, OBJECT_TYPE, OUTER_ACCESS, TYPE_PARAM_PREFIX

Constructor Summary

Constructors

Modifier	Constructor	Description
private	NewExpressionTransformer(TopLevelTransformationContext cc, NewExpression expr)

Method Summary

Modifier and Type	Method	Description
private IRExpression	callConstructorInfo(IType rootType, IConstructorInfo ci, java.util.List<IRExpression> explicitArgs)
private IRExpression	callTypeVarConstructorInfo(IType rootType, java.util.List<IRExpression> ctorArgs)
static IRExpression	compile(TopLevelTransformationContext cc, NewExpression expr)
protected IRExpression	compile_impl()
private IRExpression	compileArrayConstruction()
private IRExpression	compileArrayInitialization()
private IRExpression	compileConstructorCall(IConstructorInfo ci)
private IRExpression	compileTypeVarConstructorCall()
private boolean	hasExpansionExpressionInArguments()	Sadly, the JVM verifier does not like the loops (backward jumps) between a NEW call on a type and the call for its ctor.
private boolean	isInThisNew(IParsedElement expr)
private IRExpression	makeConstructorCallDirectly(IConstructorInfo ci)
private IRExpression	makeConstructorCallReflectively(IConstructorInfo ci)
private void	pushArgumentsDirectly(IExpression[] args, java.util.List<IRExpression> irArgs)

Methods inherited from class gw.internal.gosu.ir.transform.expression.AbstractExpressionTransformer

_expr, compile, getIRParameters, pushArgumentsNoCasting, pushArgumentsWithCasting, shortCircuitValue

Methods inherited from class gw.internal.gosu.ir.transform.AbstractElementTransformer

_cc, assignStructuralTypeOwner, avoidVerifyError, booleanLiteral, boxValue, boxValue, boxValueToType, buildAddition, buildArithmetic, buildArrayLength, buildArrayLoad, buildArrayLoad, buildArrayStore, buildAssignment, buildCast, buildComposite, buildComposite, buildEquals, buildFieldGet, buildFieldSet, buildGreaterThan, buildIf, buildIfElse, buildInitializedArray, buildMethodCall, buildMethodCall, buildMethodCall, buildNegation, buildNewExpression, buildNewExpression, buildNewExpression, buildNotEquals, buildNullCheckTernary, buildReturn, buildSubtraction, buildTernary, buildThrow, callMethod, callMethod, callMethod, callMethod, callMethod, callSpecialMethod, callSpecialMethod, callSpecialMethod, callStaticMethod, castResultingTypeIfNecessary, charLiteral, checkCast, checkCast, checkCast, classLiteral, classLiteral, classLiteral, clearCustomRuntimes, collectArgsIntoObjArray, convertBoxedNullToPrimitive, convertNullToPrimitive, convertOperandToBig, convertOperandToPrimitive, convertOperandToRational, exprList, fastStringCoercion, findComparableParamType, findDimensionType, getActualPropertyInfo, getCapturedSymbolParameterName, getClassInfos, getConcreteType, getConstructorParamTypes, getCustomRuntime, getDeclaredField, getDeclaredFieldImpl, getDeclaredMethod, getDeclaredMethod, getDefaultConstIns, getDescriptor, getDescriptor, getDescriptor, getDescriptor, getEnclosingDFS, getField, getField_new, getGosuClass, getInstanceField, getIRTypes, getIRTypes, getModifiers, getParsedElement, getRuntimeEnclosingType, getStaticField, getTypes, getTypeVarParamName, getTypeVarsForDFS, handleCustomExpressionRuntime, handleNamedArgs, identifier, initLocalVar, initLocalVarWithDefault, initMultiArray, inStaticContext, isBigType, isBoxedIntType, isBytecodeType, isBytecodeType, isCheckedArithmeticEnabled, isCompilingEnhancement, isEnhancementType, isEvalProgram, isExecuteMethod, isHandledByCustomCoercion, isIntType, isMemberOnEnclosingType, isMemberOnEnhancementOfEnclosingType, isNonBigBoxedNumberType, isNonStaticInnerClass, isNumberType, isPrimitiveNumberType, isProgram, isProgramOrEnclosedInProgram, makeAnnotationInfos, makeArrayViaTypeInfo, makeEmptyArrayViaTypeInfo, makeIRSymbol, maybeUnwrapMetaType, newArray, nullCheckVar, nullLiteral, numberConvert, numberConvert, numericLiteral, pushArrayOfDefValueExpr, pushArrayOfString, pushArrayOfTypes, pushCapturedSymbols, pushConstant, pushEnumSuperConstructorArguments, pushExternalSymbolsMap, pushLazyType, pushLazyType, pushNull, pushOuter, pushOuter, pushOuter, pushParamTypes, pushRuntimeTypeOfTypeVar, pushString, pushThis, pushThisOrOuter, pushType, pushType, pushTypeParametersForConstructor, requiresExternalSymbolCapture, requiresImplicitEnhancementArg, requiresImplicitEnhancementArg, setCc, setField, setField, setInstanceField, setStaticField, stringLiteral, unboxValueFromType, unboxValueToType, unboxValueToType, valueOf

Methods inherited from class java.lang.Object

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

Constructor Detail

NewExpressionTransformer

private NewExpressionTransformer(TopLevelTransformationContext cc,
                                 NewExpression expr)

Method Detail

compile

public static IRExpression compile(TopLevelTransformationContext cc,
                                   NewExpression expr)

compile_impl

protected IRExpression compile_impl()

Specified by:

compile_impl in class AbstractExpressionTransformer<NewExpression>

compileArrayConstruction

private IRExpression compileArrayConstruction()

compileArrayInitialization

private IRExpression compileArrayInitialization()

compileConstructorCall

private IRExpression compileConstructorCall(IConstructorInfo ci)

makeConstructorCallReflectively

private IRExpression makeConstructorCallReflectively(IConstructorInfo ci)

makeConstructorCallDirectly

private IRExpression makeConstructorCallDirectly(IConstructorInfo ci)

hasExpansionExpressionInArguments

private boolean hasExpansionExpressionInArguments()

Sadly, the JVM verifier does not like the loops (backward jumps) between a NEW call on a type and the call for its ctor. Otherwise this results in "java.lang.VerifyError: Uninitialized object exists on backward branch". So we opt to just call the ctor reflectively instead of making up some other bullshit.

isInThisNew

private boolean isInThisNew(IParsedElement expr)

compileTypeVarConstructorCall

private IRExpression compileTypeVarConstructorCall()

pushArgumentsDirectly

private void pushArgumentsDirectly(IExpression[] args,
                                   java.util.List<IRExpression> irArgs)

callConstructorInfo

private IRExpression callConstructorInfo(IType rootType,
                                         IConstructorInfo ci,
                                         java.util.List<IRExpression> explicitArgs)

callTypeVarConstructorInfo

private IRExpression callTypeVarConstructorInfo(IType rootType,
                                                java.util.List<IRExpression> ctorArgs)