VirtualTransform (AwsCryptographyDbEncryptionSdkDynamoDb 3.1.1 API)

java.lang.Object
- software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.VirtualTransform

Direct Known Subclasses:

VirtualTransform_insert, VirtualTransform_lower, VirtualTransform_prefix, VirtualTransform_segment, VirtualTransform_segments, VirtualTransform_substring, VirtualTransform_suffix, VirtualTransform_upper
```
public abstract class VirtualTransform
extends java.lang.Object
```

Constructor Summary

Constructors
Constructor and Description

VirtualTransform()

Constructors
Constructor and Description
`VirtualTransform()`

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<VirtualTransform>`	`_typeDescriptor()`
`static VirtualTransform`	`create_insert(Insert insert)`
`static VirtualTransform`	`create_lower(Lower lower)`
`static VirtualTransform`	`create_prefix(GetPrefix prefix)`
`static VirtualTransform`	`create_segment(GetSegment segment)`
`static VirtualTransform`	`create_segments(GetSegments segments)`
`static VirtualTransform`	`create_substring(GetSubstring substring)`
`static VirtualTransform`	`create_suffix(GetSuffix suffix)`
`static VirtualTransform`	`create_upper(Upper upper)`
`static VirtualTransform`	`Default()`
`Insert`	`dtor_insert()`
`Lower`	`dtor_lower()`
`GetPrefix`	`dtor_prefix()`
`GetSegment`	`dtor_segment()`
`GetSegments`	`dtor_segments()`
`GetSubstring`	`dtor_substring()`
`GetSuffix`	`dtor_suffix()`
`Upper`	`dtor_upper()`
`boolean`	`is_insert()`
`boolean`	`is_lower()`
`boolean`	`is_prefix()`
`boolean`	`is_segment()`
`boolean`	`is_segments()`
`boolean`	`is_substring()`
`boolean`	`is_suffix()`
`boolean`	`is_upper()`

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

Constructor Detail
- VirtualTransform
```
public VirtualTransform()
```

Method Detail

Default

public static VirtualTransform Default()

_typeDescriptor

public static dafny.TypeDescriptor<VirtualTransform> _typeDescriptor()

create_upper

public static VirtualTransform create_upper(Upper upper)

create_lower

public static VirtualTransform create_lower(Lower lower)

create_insert

public static VirtualTransform create_insert(Insert insert)

create_prefix

public static VirtualTransform create_prefix(GetPrefix prefix)

create_suffix

public static VirtualTransform create_suffix(GetSuffix suffix)

create_substring

public static VirtualTransform create_substring(GetSubstring substring)

create_segment

public static VirtualTransform create_segment(GetSegment segment)

create_segments

public static VirtualTransform create_segments(GetSegments segments)

is_upper
```
public boolean is_upper()
```

is_lower
```
public boolean is_lower()
```

is_insert
```
public boolean is_insert()
```

is_prefix
```
public boolean is_prefix()
```

is_suffix
```
public boolean is_suffix()
```

is_substring
```
public boolean is_substring()
```

is_segment
```
public boolean is_segment()
```

is_segments
```
public boolean is_segments()
```

dtor_upper
```
public Upper dtor_upper()
```

dtor_lower
```
public Lower dtor_lower()
```

dtor_insert
```
public Insert dtor_insert()
```

dtor_prefix
```
public GetPrefix dtor_prefix()
```

dtor_suffix
```
public GetSuffix dtor_suffix()
```

dtor_substring
```
public GetSubstring dtor_substring()
```

dtor_segment
```
public GetSegment dtor_segment()
```

dtor_segments
```
public GetSegments dtor_segments()
```

Class VirtualTransform

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Constructor Detail

VirtualTransform

Method Detail

Default

_typeDescriptor

create_upper

create_lower

create_insert

create_prefix

create_suffix

create_substring

create_segment

create_segments

is_upper

is_lower

is_insert

is_prefix

is_suffix

is_substring

is_segment

is_segments

dtor_upper

dtor_lower

dtor_insert

dtor_prefix

dtor_suffix

dtor_substring

dtor_segment

dtor_segments