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
All Methods Instance Methods Concrete Methods 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()
-
-