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 java.lang.Object

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

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
RecordType	expectRecordType(java.lang.String message)
java.util.Optional<Type>	get(Identifier name)	Gets the type for the specified identifier.
java.util.Map<Identifier,Type>	getShape()	Gets the map of identifiers to their types.
int	hashCode()
java.lang.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 Detail

get

public java.util.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 java.util.Map<Identifier,Type> getShape()

Gets the map of identifiers to their types.

Returns:

the map of identifiers to their types.

expectRecordType

public RecordType expectRecordType(java.lang.String message)

equals

public boolean equals(java.lang.Object obj)

hashCode

public int hashCode()

toString

public java.lang.String toString()