Package software.amazon.smithy.rulesengine.language.evaluation

Interface TypeCheck

All Known Subinterfaces:

Template.Part

All Known Implementing Classes:

AwsPartition, BooleanEquals, BooleanLiteral, Condition, Endpoint, EndpointRule, EndpointRuleSet, ErrorRule, Expression, GetAttr, IntegerLiteral, IsSet, IsValidHostLabel, IsVirtualHostableS3Bucket, LibraryFunction, Literal, Not, ParseArn, ParseUrl, RecordLiteral, Reference, Rule, StringEquals, StringLiteral, Substring, Template.Literal, TreeRule, TupleLiteral, UriEncode

public interface TypeCheck

TypeCheck provides an interface for determining whether the given types within scope satisfy the associated constraints.

Method Summary

Modifier and Type	Method	Description
Type	typeCheck(Scope<Type> scope)	Checks whether the given types within a scope satisfy the constraints.

Method Details

typeCheck

Type typeCheck(Scope<Type> scope)

Checks whether the given types within a scope satisfy the constraints.

Parameters:

scope - the scope to evaluate.

Returns:

the type validated by the scope check.