TypeCheck (Smithy API 1.47.0)

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

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

- Method Detail
  - 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.