#include <SkSLExpression.h>

Inheritance diagram for SkSL::Expression:

Public Types
enum class	ComparisonResult { kUnknown = -1 , kNotEqual , kEqual }

using	Kind = ExpressionKind

Public Member Functions
	Expression (Position pos, Kind kind, const Type *type)

Kind	kind () const

virtual const Type &	type () const

bool	isAnyConstructor () const

bool	isIntLiteral () const

bool	isFloatLiteral () const

bool	isBoolLiteral () const

AnyConstructor &	asAnyConstructor ()

const AnyConstructor &	asAnyConstructor () const

bool	isIncomplete (const Context &context) const

virtual ComparisonResult	compareConstant (const Expression &other) const

CoercionCost	coercionCost (const Type &target) const

virtual bool	supportsConstantValues () const

virtual std::optional< double >	getConstantValue (int n) const

virtual std::unique_ptr< Expression >	clone (Position pos) const =0

std::unique_ptr< Expression >	clone () const

std::string	description () const final

virtual std::string	description (OperatorPrecedence parentPrecedence) const =0

Public Member Functions inherited from SkSL::IRNode
virtual	~IRNode ()

	IRNode (const IRNode &)=delete

IRNode &	operator= (const IRNode &)=delete

Position	position () const

void	setPosition (Position p)

template<typename T >
bool	is () const

template<typename T >
const T &	as () const

template<typename T >
T &	as ()

Additional Inherited Members
Static Public Member Functions inherited from SkSL::Poolable
static void *	operator new (const size_t size)

static void	operator delete (void *ptr)

Public Attributes inherited from SkSL::IRNode
Position	fPosition

Protected Member Functions inherited from SkSL::IRNode
	IRNode (Position position, int kind)

Protected Attributes inherited from SkSL::IRNode
int	fKind

Detailed Description

Abstract supertype of all expressions.

Definition at line 30 of file SkSLExpression.h.

Member Typedef Documentation

◆ Kind

using SkSL::Expression::Kind = ExpressionKind

Definition at line 32 of file SkSLExpression.h.

Member Enumeration Documentation

◆ ComparisonResult

enum class SkSL::Expression::ComparisonResult

strong

Compares this constant expression against another constant expression. Returns kUnknown if we aren't able to deduce a result (an expression isn't actually constant, the types are mismatched, etc).

Enumerator
kUnknown
kNotEqual
kEqual

Definition at line 81 of file SkSLExpression.h.

                                {
        kUnknown = -1,
        kNotEqual,
        kEqual
    };

Constructor & Destructor Documentation

◆ Expression()

SkSL::Expression::Expression	(	Position	pos,
		Kind	kind,
		const Type *	type
	)

inline

Definition at line 34 of file SkSLExpression.h.

        : INHERITED(pos, (int) kind)
        , fType(type) {
        SkASSERT(kind >= Kind::kFirst && kind <= Kind::kLast);
    }

Member Function Documentation

◆ asAnyConstructor() [1/2]

AnyConstructor & SkSL::Expression::asAnyConstructor ( )

Definition at line 218 of file SkSLConstructor.cpp.

                                             {
    SkASSERT(this->isAnyConstructor());
    return static_cast<AnyConstructor&>(*this);
}

◆ asAnyConstructor() [2/2]

const AnyConstructor & SkSL::Expression::asAnyConstructor ( ) const

Definition at line 223 of file SkSLConstructor.cpp.

                                                         {
    SkASSERT(this->isAnyConstructor());
    return static_cast<const AnyConstructor&>(*this);
}

◆ clone() [1/2]

std::unique_ptr< Expression > SkSL::Expression::clone ( ) const

inline

Returns a clone at the same position.

Definition at line 126 of file SkSLExpression.h.

126{ return this->clone(fPosition); }

SkSL::Expression::clone

std::unique_ptr< Expression > clone() const

Definition SkSLExpression.h:126

SkSL::IRNode::fPosition

Position fPosition

Definition SkSLIRNode.h:109

◆ clone() [2/2]

virtual std::unique_ptr< Expression > SkSL::Expression::clone ( Position pos ) const

pure virtual

◆ coercionCost()

CoercionCost SkSL::Expression::coercionCost ( const Type & target ) const

inline

Definition at line 90 of file SkSLExpression.h.

                                                        {
        return this->type().coercionCost(target);
    }

◆ compareConstant()

virtual ComparisonResult SkSL::Expression::compareConstant ( const Expression & other ) const

inlinevirtual

Reimplemented in SkSL::AnyConstructor, and SkSL::Literal.

Definition at line 86 of file SkSLExpression.h.

                                                                            {
        return ComparisonResult::kUnknown;
    }

◆ description() [1/2]

std::string SkSL::Expression::description ( ) const

finalvirtual

Returns a description of the expression.

Implements SkSL::IRNode.

Definition at line 17 of file SkSLExpression.cpp.

                                        {
    return this->description(OperatorPrecedence::kExpression);
}

◆ description() [2/2]

virtual std::string SkSL::Expression::description ( OperatorPrecedence parentPrecedence ) const

pure virtual

Implemented in SkSL::BinaryExpression, SkSL::PostfixExpression, SkSL::PrefixExpression, SkSL::TernaryExpression, SkSL::ChildCall, SkSL::AnyConstructor, SkSL::EmptyExpression, SkSL::FieldAccess, SkSL::FunctionCall, SkSL::FunctionReference, SkSL::IndexExpression, SkSL::Literal, SkSL::MethodReference, SkSL::Poison, SkSL::Setting, SkSL::Swizzle, SkSL::TypeReference, and SkSL::VariableReference.

◆ getConstantValue()

virtual std::optional< double > SkSL::Expression::getConstantValue ( int n ) const

inlinevirtual

Returns the n'th compile-time constant value within a literal or constructor. Use Type::slotCount to determine the number of slots within an expression. Slots which do not contain compile-time constant values will return nullopt. vec4(1, vec2(2), 3) contains four compile-time constants: (1, 2, 2, 3) mat2(f) contains four slots, and two are constant: (nullopt, 0, 0, nullopt) All classes which override this function must also implement supportsConstantValues.

Reimplemented in SkSL::AnyConstructor, SkSL::ConstructorDiagonalMatrix, SkSL::ConstructorMatrixResize, SkSL::ConstructorSplat, and SkSL::Literal.

Definition at line 116 of file SkSLExpression.h.

                                                              {
        SkASSERT(!this->supportsConstantValues());
        return std::nullopt;
    }

◆ isAnyConstructor()

bool SkSL::Expression::isAnyConstructor ( ) const

inline

Definition at line 48 of file SkSLExpression.h.

                                  {
        static_assert((int)Kind::kConstructorArray - 1 == (int)Kind::kChildCall);
        static_assert((int)Kind::kConstructorStruct + 1 == (int)Kind::kEmpty);
        return this->kind() >= Kind::kConstructorArray && this->kind() <= Kind::kConstructorStruct;
    }

◆ isBoolLiteral()

bool SkSL::Expression::isBoolLiteral ( ) const

inline

Definition at line 62 of file SkSLExpression.h.

                               {
        return this->kind() == Kind::kLiteral && this->type().isBoolean();
    }

◆ isFloatLiteral()

bool SkSL::Expression::isFloatLiteral ( ) const

inline

Definition at line 58 of file SkSLExpression.h.

                                {
        return this->kind() == Kind::kLiteral && this->type().isFloat();
    }

◆ isIncomplete()

bool SkSL::Expression::isIncomplete ( const Context & context ) const

Returns true if this expression is incomplete. Specifically, dangling function/method-call references that were never invoked, or type references that were never constructed, are considered incomplete expressions and should result in an error.

Definition at line 21 of file SkSLExpression.cpp.

                                                          {
    switch (this->kind()) {
        case Kind::kFunctionReference:
            context.fErrors->error(fPosition.after(), "expected '(' to begin function call");
            return true;
 
        case Kind::kMethodReference:
            context.fErrors->error(fPosition.after(), "expected '(' to begin method call");
            return true;
 
        case Kind::kTypeReference:
            context.fErrors->error(fPosition.after(),
                                   "expected '(' to begin constructor invocation");
            return true;
 
        default:
            return false;
    }
}

◆ isIntLiteral()

bool SkSL::Expression::isIntLiteral ( ) const

inline

Definition at line 54 of file SkSLExpression.h.

                              {
        return this->kind() == Kind::kLiteral && this->type().isInteger();
    }

◆ kind()

Kind SkSL::Expression::kind ( ) const

inline

Definition at line 40 of file SkSLExpression.h.

                      {
        return (Kind)fKind;
    }

◆ supportsConstantValues()

virtual bool SkSL::Expression::supportsConstantValues ( ) const

inlinevirtual

Returns true if this expression type supports getConstantValue. (This particular expression may or may not actually contain a constant value.) It's harmless to call getConstantValue on expressions which don't support constant values or don't contain any constant values, but if supportsConstantValues returns false, you can assume that getConstantValue will return nullopt for every slot of this expression. This allows for early-out opportunities in some cases. (Some expressions have tons of slots but never hold a constant value; e.g. a variable holding a very large array.)

Reimplemented in SkSL::AnyConstructor, SkSL::ConstructorDiagonalMatrix, SkSL::ConstructorMatrixResize, SkSL::ConstructorSplat, and SkSL::Literal.

Definition at line 103 of file SkSLExpression.h.

                                                {
        return false;
    }

◆ type()

virtual const Type & SkSL::Expression::type ( ) const

inlinevirtual

Definition at line 44 of file SkSLExpression.h.

                                     {
        return *fType;
    }

The documentation for this class was generated from the following files:

third_party/skia/src/sksl/ir/SkSLExpression.h
third_party/skia/src/sksl/ir/SkSLConstructor.cpp
third_party/skia/src/sksl/ir/SkSLExpression.cpp

Public Types

Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ Kind

Member Enumeration Documentation

◆ ComparisonResult

Constructor & Destructor Documentation

◆ Expression()

Member Function Documentation

◆ asAnyConstructor() [1/2]

◆ asAnyConstructor() [2/2]

◆ clone() [1/2]

◆ clone() [2/2]

◆ coercionCost()

◆ compareConstant()

◆ description() [1/2]

◆ description() [2/2]

◆ getConstantValue()

◆ isAnyConstructor()

◆ isBoolLiteral()

◆ isFloatLiteral()

◆ isIncomplete()

◆ isIntLiteral()

◆ kind()

◆ supportsConstantValues()

◆ type()