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

Class Type.Option

java.lang.Object

software.amazon.smithy.rulesengine.language.eval.Type.Option

All Implemented Interfaces:

Type

Enclosing interface:

Type

public static final class Type.Option
extends Object
implements Type

Nested Class Summary

Nested classes/interfaces inherited from interface software.amazon.smithy.rulesengine.language.eval.Type

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

Constructor Summary

Constructors

Constructor	Description
Option(Type inner)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
Type.Bool	expectBool()
Type.Option	expectOptional()
Type.String	expectString()
int	hashCode()
Type	inner()
boolean	isA(Type t)
Type	provenTruthy()	When used in the context of a condition, the condition can only match if the value was truthful.
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.eval.Type

expectArray, expectInt, expectObject

Constructor Details

Option

public Option(Type inner)

Method Details

expectString

public Type.String expectString()
                         throws InnerParseError

Specified by:

expectString in interface Type

Throws:

InnerParseError

expectBool

public Type.Bool expectBool()
                     throws InnerParseError

Specified by:

expectBool in interface Type

Throws:

InnerParseError

expectOptional

public Type.Option expectOptional()
                           throws InnerParseError

Specified by:

expectOptional in interface Type

Throws:

InnerParseError

isA

public boolean isA(Type t)

Specified by:

isA in interface Type

provenTruthy

public Type provenTruthy()

Description copied from interface: Type

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.

Specified by:

provenTruthy in interface Type

Returns:

The type, given that it has been proven truthy

inner

public Type inner()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object