Package gw.internal.gosu.parser.expressions

Class FeatureLiteral

java.lang.Object

gw.internal.gosu.parser.ParsedElement

gw.internal.gosu.parser.Expression

gw.internal.gosu.parser.expressions.FeatureLiteral

All Implemented Interfaces:

IFeatureLiteralExpression, ILiteralExpression, IExpression, IHasType, IParsedElement, Cloneable

public class FeatureLiteral
extends Expression
implements IFeatureLiteralExpression

Represents a feature literal expression as defined in the Gosu grammar.

See Also:

• IGosuParser

Field Summary

Fields

Modifier and Type	Field	Description
private IBlockType	_blockType
private List<IExpression>	_boundArgs
(package private) IFeatureInfo	_feature
private IType[]	_parameterTypes
private IExpression	_root
private static final int	MAX_BLOCK_ARGS

Fields inherited from class gw.internal.gosu.parser.Expression

_type

Fields inherited from class gw.internal.gosu.parser.ParsedElement

_tokens, UNDEF_FILE, UNDEF_FUNCTION, UNDEF_MODULE

Fields inherited from interface gw.lang.parser.IExpression

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor	Description
FeatureLiteral(Expression rootExpr)

Method Summary

Modifier and Type	Method	Description
private IType[]	adjustParametersForFeature(IHasParameterInfos feature, IType[] params)
private List<String>	argNames(IHasParameterInfos hasParams)
private IType[]	boundGenericFunctionTypeVariables(IHasParameterInfos methodInfo, IType[] parametersTypes)
private <T extends IHasParameterInfos> T	ensureExactMatch(T methodInfo, IType[] argTypes)
private String	featureRepresentation()
List<IExpression>	getBoundArgs()
private List<? extends IInvocableType>	getConstructorTypes()
IFeatureInfo	getFeature()
private IType	getFeatureReturnType()
IExpression	getFinalRoot()
IType	getFinalRootType()
List<? extends IInvocableType>	getFunctionTypes(String name)
private List<IType>	getFunctionTypeVarsToBound(IHasParameterInfos methodInfo)
String	getMethodName()
private List<? extends IInvocableType>	getMethodTypes(String name)
IType[]	getParameterTypes()
private IType[]	getParameterTypes(IHasParameterInfos hasParameterInfos)
String	getPropertyName()
IExpression	getRoot()
IType	getRootType()
private IType	getRootTypeToResolveFeaturesAgainst()
private IConstructorInfo	getSingleConsructor(IType typeToResolveAgainst, ITypeInfo typeInfo)
private IMethodInfo	getSingleMethodWithName(String methodName, IType typeToResolveAgainst, ITypeInfo typeInfo)
private boolean	hasBoundArgs(IHasParameterInfos feature)
private boolean	hasImplicitFirstArg()
boolean	isBound()
boolean	isConstructorLiteral()
boolean	isMethodLiteral()
boolean	isPropertyLiteral()
boolean	isStaticish()
private IBlockType	makeBlockType(IType returnType, IType[] params, List<String> argNames)
boolean	resolveConstructor(List<IType> typesList)
private IType	resolveConstructorLiteralType(IConstructorInfo constructorInfo)
private void	resolveExpressionType()
boolean	resolveMethod(String methodName, List<IType> typesList)
private IType	resolveMethodLiteralType(IMethodInfo methodInfo)
boolean	resolveProperty(String propName)
private IType	resolvePropertyLiteralType(IPropertyInfo propertyInfo)
void	setFeature(IHasParameterInfos feature, List<IExpression> arguments)
String	toString()	Subclasses should return a String representing the parsed expression.

Methods inherited from class gw.internal.gosu.parser.Expression

evaluate, evaluate, getContextType, getReturnType, getType, getTypeImpl, isNullSafe, isUnchecked, setType

Methods inherited from class gw.internal.gosu.parser.ParsedElement

addExceptionsFrom, addParseException, addParseException, addParseException, addParseExceptions, addParseIssues, addParseWarning, addParseWarning, addParseWarnings, addToken, adjustColumn, adjustLineNum, assignTokens, clearParseExceptions, clearParseTreeInformation, clearParseWarnings, compactParseTree, findAncestorParsedElementByType, findDeclaringStatement, findLineNumberOfDeclaration, findRootParsedElement, getAnnotations, getColumn, getContainedParsedElementsByType, getContainedParsedElementsByTypes, getContainedParsedElementsByTypesWithIgnoreSet, getEnclosingFeatureInfo, getFunctionName, getGosuClass, getGosuProgram, getImmediateParseIssue, getImmediateParseIssues, getLineNum, getLocation, getModule, getParent, getParseExceptions, getParseIssues, getParseWarnings, getQualifyingEnclosingTypeInfo, getTokens, hasImmediateParseIssue, hasImmediateParseWarning, hasImmediateParseWarnings, hasParseException, hasParseExceptions, hasParseIssue, hasParseIssues, hasParseWarning, hasParseWarnings, initEmptyParseTree, initLocation, isCompileTimeConstant, isSuppressed, isSuppressed, isSynthetic, makeDoubleValue, makeFloatValue, makeInteger, makeLong, removeParseException, removeParseWarning, removeParseWarningRecursively, setGosuProgram, setLineNum, setLocation, setParent, setSynthetic, shouldClearParseInfo, visit

Methods inherited from class java.lang.Object

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

Methods inherited from interface gw.lang.parser.IExpression

evaluate, evaluate, getContextType, isNullSafe, isUnchecked

Methods inherited from interface gw.lang.parser.IHasType

getType

Methods inherited from interface gw.lang.parser.IParsedElement

addExceptionsFrom, addParseException, addParseException, addParseWarning, addParseWarning, clearParseExceptions, clearParseTreeInformation, clearParseWarnings, findAncestorParsedElementByType, findDeclaringStatement, findRootParsedElement, getColumn, getContainedParsedElementsByType, getContainedParsedElementsByTypes, getContainedParsedElementsByTypesWithIgnoreSet, getFunctionName, getGosuClass, getGosuProgram, getImmediateParseIssue, getImmediateParseIssues, getLineNum, getLocation, getModule, getParent, getParseExceptions, getParseIssues, getParseWarnings, getReturnType, getTokens, hasImmediateParseIssue, hasImmediateParseWarnings, hasParseException, hasParseExceptions, hasParseIssue, hasParseIssues, hasParseWarning, hasParseWarnings, isCompileTimeConstant, isSuppressed, isSynthetic, setLocation, setParent, visit

Field Details

MAX_BLOCK_ARGS

private static final int MAX_BLOCK_ARGS

See Also:

• Constant Field Values

_root

private IExpression _root

_feature

IFeatureInfo _feature

_parameterTypes

private IType[] _parameterTypes

_boundArgs

private List<IExpression> _boundArgs

_blockType

private IBlockType _blockType

Constructor Details

FeatureLiteral

public FeatureLiteral(Expression rootExpr)

Method Details

resolveProperty

public boolean resolveProperty(String propName)

resolveMethod

public boolean resolveMethod(String methodName,
 List<IType> typesList)

resolveConstructor

public boolean resolveConstructor(List<IType> typesList)

setFeature

public void setFeature(IHasParameterInfos feature,
 List<IExpression> arguments)

toString

public String toString()

Description copied from class: Expression

Subclasses should return a String representing the parsed expression.

Specified by:

toString in class Expression

isConstructorLiteral

public boolean isConstructorLiteral()

isMethodLiteral

public boolean isMethodLiteral()

isPropertyLiteral

public boolean isPropertyLiteral()

getRoot

public IExpression getRoot()

getFinalRoot

public IExpression getFinalRoot()

Specified by:

getFinalRoot in interface IFeatureLiteralExpression

Returns:

the final root expression of the feature literal

getFinalRootType

public IType getFinalRootType()

Specified by:

getFinalRootType in interface IFeatureLiteralExpression

Returns:

the root type of the entire literal chain (if one exists)

getRootType

public IType getRootType()

Specified by:

getRootType in interface IFeatureLiteralExpression

Returns:

the type that the feature that this literal refers to is on

getPropertyName

public String getPropertyName()

getMethodName

public String getMethodName()

getBoundArgs

public List<IExpression> getBoundArgs()

Specified by:

getBoundArgs in interface IFeatureLiteralExpression

Returns:

bound args of this feature, or null if there are no bound args

isBound

public boolean isBound()

Specified by:

isBound in interface IFeatureLiteralExpression

Returns:

true if this literal is bound at its root

getParameterTypes

public IType[] getParameterTypes()

isStaticish

public boolean isStaticish()

getFeature

public IFeatureInfo getFeature()

Specified by:

getFeature in interface IFeatureLiteralExpression

Returns:

the feature associated with this literal

getFunctionTypes

public List<? extends IInvocableType> getFunctionTypes(String name)

getSingleMethodWithName

private IMethodInfo getSingleMethodWithName(String methodName,
 IType typeToResolveAgainst,
 ITypeInfo typeInfo)

getSingleConsructor

private IConstructorInfo getSingleConsructor(IType typeToResolveAgainst,
 ITypeInfo typeInfo)

ensureExactMatch

private <T extends IHasParameterInfos> T ensureExactMatch(T methodInfo,
 IType[] argTypes)

boundGenericFunctionTypeVariables

private IType[] boundGenericFunctionTypeVariables(IHasParameterInfos methodInfo,
 IType[] parametersTypes)

getFunctionTypeVarsToBound

private List<IType> getFunctionTypeVarsToBound(IHasParameterInfos methodInfo)

makeBlockType

private IBlockType makeBlockType(IType returnType,
 IType[] params,
 List<String> argNames)

getMethodTypes

private List<? extends IInvocableType> getMethodTypes(String name)

getConstructorTypes

private List<? extends IInvocableType> getConstructorTypes()

resolveExpressionType

private void resolveExpressionType()

resolvePropertyLiteralType

private IType resolvePropertyLiteralType(IPropertyInfo propertyInfo)

resolveMethodLiteralType

private IType resolveMethodLiteralType(IMethodInfo methodInfo)

resolveConstructorLiteralType

private IType resolveConstructorLiteralType(IConstructorInfo constructorInfo)

argNames

private List<String> argNames(IHasParameterInfos hasParams)

adjustParametersForFeature

private IType[] adjustParametersForFeature(IHasParameterInfos feature,
 IType[] params)

hasBoundArgs

private boolean hasBoundArgs(IHasParameterInfos feature)

hasImplicitFirstArg

private boolean hasImplicitFirstArg()

getParameterTypes

private IType[] getParameterTypes(IHasParameterInfos hasParameterInfos)

featureRepresentation

private String featureRepresentation()

getRootTypeToResolveFeaturesAgainst

private IType getRootTypeToResolveFeaturesAgainst()

getFeatureReturnType

private IType getFeatureReturnType()