defaultRealmName property
      
      String
      get
      defaultRealmName
      
    
    
The default realm filename to be used.
Implementation
static String get defaultRealmName => _path.basename(defaultRealmPath);
      
      set
      defaultRealmName
      (String name) 
      
    
    
    
Implementation
static set defaultRealmName(String name) => defaultRealmPath = _path.join(_path.dirname(defaultRealmPath), _path.basename(name));