Package software.amazon.smithy.rulesengine.language.syntax.fn

Class LibraryFunction

java.lang.Object

software.amazon.smithy.rulesengine.language.util.MandatorySourceLocation

software.amazon.smithy.rulesengine.language.syntax.expr.Expression

software.amazon.smithy.rulesengine.language.syntax.fn.Function

software.amazon.smithy.rulesengine.language.syntax.fn.LibraryFunction

All Implemented Interfaces:

FromSourceLocation, ToNode, Into<Condition>, TypeCheck

public class LibraryFunction
extends Function

A function (Function) which is constructed from a FunctionDefinition.

Constructor Summary

Constructors

Constructor	Description
LibraryFunction(FunctionDefinition definition, FunctionNode functionNode)

Method Summary

Modifier and Type	Method	Description
<T> T	accept(ExpressionVisitor<T> visitor)	Invoke the ExpressionVisitor functions for this expression.
static void	checkTypeSignature(java.util.List<Type> expectedArgs, java.util.List<Expression> actualArguments, Scope<Type> scope)
static LibraryFunction	ofExpressions(FunctionDefinition definition, Expression... arguments)	Creates a new LibraryFunction instance with the given arguments.
protected Type	typeCheckLocal(Scope<Type> scope)

Methods inherited from class software.amazon.smithy.rulesengine.language.syntax.fn.Function

condition, condition, equals, expectOneArgument, getArguments, getName, getSourceLocation, hashCode, into, toNode, toString

Methods inherited from class software.amazon.smithy.rulesengine.language.syntax.expr.Expression

equal, equal, fromNode, getAttr, getAttr, isSet, isValidHostLabel, isVirtualHostableS3Bucket, literal, not, of, of, of, parseArn, parseShortform, parseUrl, reference, substring, template, type, typeCheck

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LibraryFunction

public LibraryFunction(FunctionDefinition definition,
                       FunctionNode functionNode)

Method Detail

ofExpressions

public static LibraryFunction ofExpressions(FunctionDefinition definition,
                                            Expression... arguments)

Creates a new LibraryFunction instance with the given arguments.

Parameters:

definition - the function definition.

arguments - the function arguments.

Returns:

the LibraryFunction instance.

checkTypeSignature

public static void checkTypeSignature(java.util.List<Type> expectedArgs,
                                      java.util.List<Expression> actualArguments,
                                      Scope<Type> scope)
                               throws InnerParseError

Throws:

InnerParseError

typeCheckLocal

protected Type typeCheckLocal(Scope<Type> scope)

Specified by:

typeCheckLocal in class Expression

accept

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

Description copied from class: Expression

Invoke the ExpressionVisitor functions for this expression.

Specified by:

accept in class Expression

Type Parameters:

T - the visitor return type.

Parameters:

visitor - the visitor to be invoked.

Returns:

the return value of the visitor.