public abstract class AuthenticateSchemaContent
extends java.lang.Object
| Constructor and Description |
|---|
AuthenticateSchemaContent() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<AuthenticateSchemaContent> |
_typeDescriptor() |
static AuthenticateSchemaContent |
create_Action(AuthenticateAction Action) |
static AuthenticateSchemaContent |
create_SchemaList(dafny.DafnySequence<? extends AuthenticateSchema> SchemaList) |
static AuthenticateSchemaContent |
create_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap) |
static AuthenticateSchemaContent |
Default() |
AuthenticateAction |
dtor_Action() |
dafny.DafnySequence<? extends AuthenticateSchema> |
dtor_SchemaList() |
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> |
dtor_SchemaMap() |
boolean |
is_Action() |
boolean |
is_SchemaList() |
boolean |
is_SchemaMap() |
public static AuthenticateSchemaContent Default()
public static dafny.TypeDescriptor<AuthenticateSchemaContent> _typeDescriptor()
public static AuthenticateSchemaContent create_Action(AuthenticateAction Action)
public static AuthenticateSchemaContent create_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap)
public static AuthenticateSchemaContent create_SchemaList(dafny.DafnySequence<? extends AuthenticateSchema> SchemaList)
public boolean is_Action()
public boolean is_SchemaMap()
public boolean is_SchemaList()
public AuthenticateAction dtor_Action()
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> dtor_SchemaMap()
public dafny.DafnySequence<? extends AuthenticateSchema> dtor_SchemaList()