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

Class RecordType

java.lang.Object

software.amazon.smithy.rulesengine.language.evaluation.type.RecordType

All Implemented Interfaces:

Type

public final class RecordType
extends Object

The "record" type, a map of identifiers to other types.

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
RecordType	expectRecordType(String message)
Optional<Type>	get(Identifier name)	Gets the type for the specified identifier.
Map<Identifier,Type>	getShape()	Gets the map of identifiers to their types.
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface software.amazon.smithy.rulesengine.language.evaluation.type.Type

expectAnyType, expectArrayType, expectBooleanType, expectEmptyType, expectEndpointType, expectIntegerType, expectOptionalType, expectStringType, expectTupleType, isA, provenTruthy

Method Details

get

public Optional<Type> get(Identifier name)

Gets the type for the specified identifier.

Parameters:

name - the identifier to get the type of.

Returns:

the type of the specified identifier.

getShape

public Map<Identifier,Type> getShape()

Gets the map of identifiers to their types.

Returns:

the map of identifiers to their types.

expectRecordType

public RecordType expectRecordType(String message)

equals

public boolean equals(Object obj)

hashCode

public int hashCode()

toString

public String toString()