File tree Expand file tree Collapse file tree 2 files changed +4
-8
lines changed Expand file tree Collapse file tree 2 files changed +4
-8
lines changed Original file line number Diff line number Diff line change @@ -11,11 +11,8 @@ import definitions
11
11
12
12
external string selectedSourceFile ( ) ;
13
13
14
- cached File getEncodedFile ( string name ) {
15
- result .getAbsolutePath ( ) .replaceAll ( ":" , "_" ) = name
16
- }
17
-
18
-
14
+ cached
15
+ File getEncodedFile ( string name ) { result .getAbsolutePath ( ) .replaceAll ( ":" , "_" ) = name }
19
16
20
17
from Top e , Top def , string kind
21
18
where def = definitionOf ( e , kind ) and e .getFile ( ) = getEncodedFile ( selectedSourceFile ( ) )
Original file line number Diff line number Diff line change @@ -11,9 +11,8 @@ import definitions
11
11
12
12
external string selectedSourceFile ( ) ;
13
13
14
- cached File getEncodedFile ( string name ) {
15
- result .getAbsolutePath ( ) .replaceAll ( ":" , "_" ) = name
16
- }
14
+ cached
15
+ File getEncodedFile ( string name ) { result .getAbsolutePath ( ) .replaceAll ( ":" , "_" ) = name }
17
16
18
17
from Top e , Top def , string kind
19
18
where def = definitionOf ( e , kind ) and def .getFile ( ) = getEncodedFile ( selectedSourceFile ( ) )
You can’t perform that action at this time.
0 commit comments