Package software.amazon.smithy.rulesengine.language.eval

Interface Type

All Known Implementing Classes:

Type.Any, Type.Array, Type.Bool, Type.Empty, Type.Endpoint, Type.Integer, Type.Option, Type.Record, Type.String, Type.Tuple

public interface Type

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final class	Type.Any
static final class	Type.Array
static final class	Type.Bool
static final class	Type.Empty
static final class	Type.Endpoint
static final class	Type.Integer
static final class	Type.Option
static final class	Type.Record
static final class	Type.String
static final class	Type.Tuple

Method Summary

Modifier and Type	Method	Description
static Type.Array	array(Type inner)
static Type.Bool	bool()
static Type	empty()
static Type.Endpoint	endpoint()
default Type.Array	expectArray()
default Type.Bool	expectBool()
default Type.Integer	expectInt()
default Type.Record	expectObject(String message)
default Type.Option	expectOptional()
default Type.String	expectString()
static Type	integer()
default boolean	isA(Type t)
static Type.Option	optional(Type t)
default Type	provenTruthy()	When used in the context of a condition, the condition can only match if the value was truthful.
static Type.Record	record(Map<Identifier,Type> inner)
static Type.String	string()

Method Details

string

static Type.String string()

endpoint

static Type.Endpoint endpoint()

empty

static Type empty()

array

static Type.Array array(Type inner)

record

static Type.Record record(Map<Identifier,Type> inner)

integer

static Type integer()

optional

static Type.Option optional(Type t)

bool

static Type.Bool bool()

expectString

default Type.String expectString()
                          throws InnerParseError

Throws:

InnerParseError

expectObject

default Type.Record expectObject(String message)
                          throws InnerParseError

Throws:

InnerParseError

expectBool

default Type.Bool expectBool()
                      throws InnerParseError

Throws:

InnerParseError

expectInt

default Type.Integer expectInt()
                        throws InnerParseError

Throws:

InnerParseError

expectOptional

default Type.Option expectOptional()
                            throws InnerParseError

Throws:

InnerParseError

expectArray

default Type.Array expectArray()
                        throws InnerParseError

Throws:

InnerParseError

isA

default boolean isA(Type t)

provenTruthy

default Type provenTruthy()

When used in the context of a condition, the condition can only match if the value was truthful. This means that a certain expression can be a different type, for example, Option<T> will become T.

Returns:

The type, given that it has been proven truthy