DDBKeystoreOperations_Compile

Class ConditionExpression

java.lang.Object

DDBKeystoreOperations_Compile.ConditionExpression

Direct Known Subclasses:

ConditionExpression_BRANCH__KEY__EXISTS, ConditionExpression_BRANCH__KEY__NOT__EXIST

public abstract class ConditionExpression
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
ConditionExpression()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<ConditionExpression>	_typeDescriptor()
static java.util.ArrayList<ConditionExpression>	AllSingletonConstructors()
static ConditionExpression	create_BRANCH__KEY__EXISTS()
static ConditionExpression	create_BRANCH__KEY__NOT__EXIST()
static ConditionExpression	Default()
boolean	is_BRANCH__KEY__EXISTS()
boolean	is_BRANCH__KEY__NOT__EXIST()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConditionExpression

public ConditionExpression()

Method Detail

Default

public static ConditionExpression Default()

_typeDescriptor

public static dafny.TypeDescriptor<ConditionExpression> _typeDescriptor()

create_BRANCH__KEY__NOT__EXIST

public static ConditionExpression create_BRANCH__KEY__NOT__EXIST()

create_BRANCH__KEY__EXISTS

public static ConditionExpression create_BRANCH__KEY__EXISTS()

is_BRANCH__KEY__NOT__EXIST

public boolean is_BRANCH__KEY__NOT__EXIST()

is_BRANCH__KEY__EXISTS

public boolean is_BRANCH__KEY__EXISTS()

AllSingletonConstructors

public static java.util.ArrayList<ConditionExpression> AllSingletonConstructors()