public class AuthenticateSchemaContent_SchemaMap extends AuthenticateSchemaContent
| Modifier and Type | Field and Description |
|---|---|
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> |
_SchemaMap |
| Constructor and Description |
|---|
AuthenticateSchemaContent_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
java.lang.String |
toString() |
_typeDescriptor, create_Action, create_SchemaList, create_SchemaMap, Default, dtor_Action, dtor_SchemaList, dtor_SchemaMap, is_Action, is_SchemaList, is_SchemaMappublic dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> _SchemaMap
public AuthenticateSchemaContent_SchemaMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends AuthenticateSchema> SchemaMap)