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

Class Not

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.Not

All Implemented Interfaces:

FromSourceLocation, ToNode, Into<Condition>, TypeCheck

public final class Not
extends Function

Field Summary

Fields

Modifier and Type	Field	Description
static final String	ID

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

functionNode

Constructor Summary

Constructors

Constructor	Description
Not(FunctionNode functionNode)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(ExpressionVisitor<R> visitor)	Invoke the ExpressionVisitor functions for this expression.
Expression	getTarget()	Returns the expression argument to Not.
static Not	ofExpression(Expression expression)	Constructs a Not function with the given expression as argument.
protected Type	typeCheckArgument(Scope<Type> scope, Type.Bool arg)
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

Field Details

ID

public static final String ID

See Also:

• Constant Field Values

Constructor Details

Not

public Not(FunctionNode functionNode)

Method Details

ofExpression

public static Not ofExpression(Expression expression)

Constructs a Not function with the given expression as argument.

Parameters:

expression - the expression to pass to Not.

Returns:

the Not function.

getTarget

public Expression getTarget()

Returns the expression argument to Not.

Returns:

the expression argument.

accept

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

Description copied from class: Expression

Invoke the ExpressionVisitor functions for this expression.

Specified by:

accept in class Expression

Type Parameters:

R - the visitor return type.

Parameters:

visitor - the visitor to be invoked.

Returns:

the return value of the visitor.

typeCheckLocal

public Type typeCheckLocal(Scope<Type> scope)

typeCheckArgument

protected Type typeCheckArgument(Scope<Type> scope,
 Type.Bool arg)