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
;