SkSL::AnyConstructor Class Reference

#include <SkSLConstructor.h>

Inheritance diagram for SkSL::AnyConstructor:

Public Member Functions
	AnyConstructor (Position pos, Kind kind, const Type *type)
virtual SkSpan< std::unique_ptr< Expression > >	argumentSpan ()=0
virtual SkSpan< const std::unique_ptr< Expression > >	argumentSpan () const =0
std::string	description (OperatorPrecedence) const override
const Type &	componentType () const
bool	supportsConstantValues () const override
std::optional< double >	getConstantValue (int n) const override
ComparisonResult	compareConstant (const Expression &other) const override
Public Member Functions inherited from SkSL::Expression
	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
CoercionCost	coercionCost (const Type &target) const
virtual std::unique_ptr< Expression >	clone (Position pos) const =0
std::unique_ptr< Expression >	clone () const
std::string	description () const final
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
Public Types inherited from SkSL::Expression
enum class	ComparisonResult { kUnknown = -1 , kNotEqual , kEqual }
using	Kind = ExpressionKind
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

Base class representing a constructor with unknown arguments.

Definition at line 31 of file SkSLConstructor.h.

Constructor & Destructor Documentation

AnyConstructor()

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

inline

Definition at line 33 of file SkSLConstructor.h.

            : INHERITED(pos, kind, type) {}

Member Function Documentation

argumentSpan() [1/2]

virtual SkSpan< const std::unique_ptr< Expression > > SkSL::AnyConstructor::argumentSpan ( ) const

pure virtual

Implemented in SkSL::SingleArgumentConstructor, and SkSL::MultiArgumentConstructor.

argumentSpan() [2/2]

virtual SkSpan< std::unique_ptr< Expression > > SkSL::AnyConstructor::argumentSpan ( )

pure virtual

Implemented in SkSL::SingleArgumentConstructor, and SkSL::MultiArgumentConstructor.

compareConstant()

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

overridevirtual

Reimplemented from SkSL::Expression.

Definition at line 192 of file SkSLConstructor.cpp.

                                                                                        {
    SkASSERT(this->type().slotCount() == other.type().slotCount());
 
    if (!other.supportsConstantValues()) {
        return ComparisonResult::kUnknown;
    }
 
    int exprs = this->type().slotCount();
    for (int n = 0; n < exprs; ++n) {
        // Get the n'th subexpression from each side. If either one is null, return "unknown."
        std::optional<double> left = this->getConstantValue(n);
        if (!left.has_value()) {
            return ComparisonResult::kUnknown;
        }
        std::optional<double> right = other.getConstantValue(n);
        if (!right.has_value()) {
            return ComparisonResult::kUnknown;
        }
        // Both sides are known and can be compared for equality directly.
        if (*left != *right) {
            return ComparisonResult::kNotEqual;
        }
    }
    return ComparisonResult::kEqual;
}

componentType()

const Type & SkSL::AnyConstructor::componentType ( ) const

inline

Definition at line 41 of file SkSLConstructor.h.

                                      {
        return this->type().componentType();
    }

description()

std::string SkSL::AnyConstructor::description ( OperatorPrecedence  ) const

overridevirtual

Implements SkSL::Expression.

Definition at line 228 of file SkSLConstructor.cpp.

                                                              {
    std::string result = this->type().description() + "(";
    auto separator = SkSL::String::Separator();
    for (const std::unique_ptr<Expression>& arg : this->argumentSpan()) {
        result += separator();
        result += arg->description(OperatorPrecedence::kSequence);
    }
    result.push_back(')');
    return result;
}

getConstantValue()

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

overridevirtual

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 from SkSL::Expression.

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

Definition at line 178 of file SkSLConstructor.cpp.

                                                                {
    SkASSERT(n >= 0 && n < (int)this->type().slotCount());
    for (const std::unique_ptr<Expression>& arg : this->argumentSpan()) {
        int argSlots = arg->type().slotCount();
        if (n < argSlots) {
            return arg->getConstantValue(n);
        }
        n -= argSlots;
    }
 
    SkDEBUGFAIL("argument-list slot count doesn't match constructor-type slot count");
    return std::nullopt;
}

supportsConstantValues()

bool SkSL::AnyConstructor::supportsConstantValues ( ) const

inlineoverridevirtual

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 from SkSL::Expression.

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

Definition at line 45 of file SkSLConstructor.h.

{ return true; }

---

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

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