ConstructorPart (AwsCryptographyDbEncryptionSdkDynamoDb 3.9.0 API)

public class ConstructorPart
extends java.lang.Object

Fields
Modifier and Type	Field and Description
`BeaconPart`	`_part`
`boolean`	`_required`

Constructors
Constructor and Description
`ConstructorPart(BeaconPart part, boolean required)`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<ConstructorPart>`	`_typeDescriptor()`
`static ConstructorPart`	`create_ConstructorPart(BeaconPart part, boolean required)`
`static ConstructorPart`	`create(BeaconPart part, boolean required)`
`static ConstructorPart`	`Default()`
`BeaconPart`	`dtor_part()`
`boolean`	`dtor_required()`
`boolean`	`equals(java.lang.Object other)`
`int`	`hashCode()`
`boolean`	`is_ConstructorPart()`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

public ConstructorPart(BeaconPart part,
                       boolean required)

public boolean equals(java.lang.Object other)

public static dafny.TypeDescriptor<ConstructorPart> _typeDescriptor()

public static ConstructorPart Default()

public static ConstructorPart create(BeaconPart part,
                                     boolean required)

public static ConstructorPart create_ConstructorPart(BeaconPart part,
                                                     boolean required)

Class ConstructorPart