Package org.openzen.zenscript.codemodel.expression

Class Expression

java.lang.Object

org.openzen.zenscript.codemodel.expression.Expression

All Implemented Interfaces:

IPartialExpression

Direct Known Subclasses:

AndAndExpression, ArrayExpression, CallExpression, CallStaticExpression, CapturedExpression, CastExpression, CheckNullExpression, CoalesceExpression, CompareExpression, ConditionalExpression, ConstantBoolExpression, ConstantByteExpression, ConstantCharExpression, ConstantDoubleExpression, ConstantFloatExpression, ConstantIntExpression, ConstantLongExpression, ConstantSByteExpression, ConstantShortExpression, ConstantStringExpression, ConstantUIntExpression, ConstantULongExpression, ConstantUShortExpression, ConstantUSizeExpression, ConstExpression, ConstructorSuperCallExpression, ConstructorThisCallExpression, DummyExpression, EnumConstantExpression, FunctionExpression, GetFieldExpression, GetFunctionParameterExpression, GetLocalVariableExpression, GetMatchingVariantField, GetStaticFieldExpression, GetterExpression, GlobalCallExpression, GlobalExpression, InterfaceCastExpression, InvalidAssignExpression, InvalidExpression, IsExpression, JavaFunctionInterfaceCastExpression, MakeConstExpression, MapExpression, MatchExpression, NewExpression, NullExpression, OrOrExpression, PanicExpression, PostCallExpression, RangeExpression, SameObjectExpression, SetFieldExpression, SetFunctionParameterExpression, SetLocalVariableExpression, SetStaticFieldExpression, SetterExpression, StaticGetterExpression, StaticSetterExpression, SubtypeCastExpression, SupertypeCastExpression, ThisExpression, ThrowExpression, TryConvertExpression, TryRethrowAsExceptionExpression, TryRethrowAsResultExpression, VariantValueExpression, WrapOptionalExpression

public abstract class Expression
extends Object
implements IPartialExpression

Field Summary

Fields

Modifier and Type	Field	Description
static final Expression[]	NONE
final CodePosition	position
final TypeID	thrownType
final TypeID	type

Constructor Summary

Constructors

Constructor	Description
Expression(CodePosition position, TypeID type, TypeID thrownType)

Method Summary

Modifier and Type	Method	Description
boolean	aborts()	Determines if this expression aborts execution; that is, it is either a throw or a panic expression.
abstract <C, R> R	accept(C context, ExpressionVisitorWithContext<C,R> visitor)
abstract <T> T	accept(ExpressionVisitor<T> visitor)
static TypeID	binaryThrow(CodePosition position, TypeID left, TypeID right)
Expression	call(CodePosition position, TypeScope scope, List<TypeID> hints, CallArguments arguments)
Expression	castExplicit(CodePosition position, TypeScope scope, TypeID asType, boolean optional)
Expression	castImplicit(CodePosition position, TypeScope scope, TypeID asType)
Expression	eval()
EnumConstantMember	evaluateEnumConstant()
String	evaluateStringConstant()
void	forEachStatement(Consumer<Statement> consumer)
List<TypeID>	getAssignHints()
IPartialExpression	getMember(CodePosition position, TypeScope scope, List<TypeID> hints, GenericName name)
List<FunctionHeader>	getPossibleFunctionHeaders(TypeScope scope, List<TypeID> hints, int arguments)
TypeID[]	getTypeArguments()
static TypeID	multiThrow(CodePosition position, Expression[] expressions)
abstract Expression	normalize(TypeScope scope)
List<TypeID>[]	predictCallTypes(CodePosition position, TypeScope scope, List<TypeID> hints, int arguments)
static Expression[]	transform(Expression[] expressions, ExpressionTransformer transformer)
abstract Expression	transform(ExpressionTransformer transformer)
final Expression	transform(StatementTransformer transformer)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.openzen.zenscript.codemodel.partial.IPartialExpression

assign, capture, getMember

Field Details

NONE

public static final Expression[] NONE

position

public final CodePosition position

type

public final TypeID type

thrownType

public final TypeID thrownType

Constructor Details

Expression

public Expression(CodePosition position,
 TypeID type,
 TypeID thrownType)

Method Details

binaryThrow

public static TypeID binaryThrow(CodePosition position,
 TypeID left,
 TypeID right)

multiThrow

public static TypeID multiThrow(CodePosition position,
 Expression[] expressions)

transform

public static Expression[] transform(Expression[] expressions,
 ExpressionTransformer transformer)

accept

public abstract <T> T accept(ExpressionVisitor<T> visitor)

accept

public abstract <C,
R> R accept(C context,
 ExpressionVisitorWithContext<C,R> visitor)

transform

public abstract Expression transform(ExpressionTransformer transformer)

transform

public final Expression transform(StatementTransformer transformer)

normalize

public abstract Expression normalize(TypeScope scope)

getAssignHints

public List<TypeID> getAssignHints()

Specified by:

getAssignHints in interface IPartialExpression

eval

public Expression eval()

Specified by:

eval in interface IPartialExpression

castExplicit

public Expression castExplicit(CodePosition position,
 TypeScope scope,
 TypeID asType,
 boolean optional)

castImplicit

public Expression castImplicit(CodePosition position,
 TypeScope scope,
 TypeID asType)

aborts

public boolean aborts()

Determines if this expression aborts execution; that is, it is either a throw or a panic expression.

Returns:

abort flag

predictCallTypes

public List<TypeID>[] predictCallTypes(CodePosition position,
 TypeScope scope,
 List<TypeID> hints,
 int arguments)

Specified by:

predictCallTypes in interface IPartialExpression

getPossibleFunctionHeaders

public List<FunctionHeader> getPossibleFunctionHeaders(TypeScope scope,
 List<TypeID> hints,
 int arguments)

Specified by:

getPossibleFunctionHeaders in interface IPartialExpression

call

public Expression call(CodePosition position,
 TypeScope scope,
 List<TypeID> hints,
 CallArguments arguments)
                throws CompileException

Specified by:

call in interface IPartialExpression

Throws:

CompileException

getMember

public IPartialExpression getMember(CodePosition position,
 TypeScope scope,
 List<TypeID> hints,
 GenericName name)
                             throws CompileException

Specified by:

getMember in interface IPartialExpression

Throws:

CompileException

getTypeArguments

public TypeID[] getTypeArguments()

Specified by:

getTypeArguments in interface IPartialExpression

forEachStatement

public void forEachStatement(Consumer<Statement> consumer)

evaluateStringConstant

public String evaluateStringConstant()

evaluateEnumConstant

public EnumConstantMember evaluateEnumConstant()