Elide API
Toggle table of contents
1.0.0-beta1
jvm
Platform filter
jvm
Switch theme
Search in API
Elide API
graalvm
/
tools.elide.vfs
/
File
/
Builder
/
getAttributesOrDefault
get
Attributes
Or
Default
open
fun
getAttributesOrDefault
(
key
:
String
,
defaultValue
:
String
)
:
String
Extended attributes for this file.
Content copied to clipboard
map<string, string> attributes = 11;