1 | void setExtdirs(Path extDirs) {↵ | | 1 | void setExtdirs(Path extdirs) {↵
|
2 | if (this.extDirs == null) {↵ | | 2 | if (this.extdirs == null) {↵
|
3 | this.extDirs = extDirs;↵ | | 3 | this.extdirs = extdirs;↵
|
4 | } else {↵ | | 4 | } else {↵
|
5 | this.extDirs.append(extDirs);↵ | | 5 | this.extdirs.append(extdirs);↵
|
6 | }↵ | | 6 | }↵
|
7 | }↵ | | 7 | }↵
|
|
8 | /**↵ | | 8 | /**↵
|
9 | * Maybe creates a nested extdirs element↵ | | 9 | * Gets the extension directories that will be used during the↵
|
10 | .↵ | | 10 | * compilation.↵
|
11 | * @return path object to be configured with the extension directories↵ | | 11 | * @return the extension directories as a path↵
|
| | | 12 | */↵
|
| | | 13 | public Path getExtdirs() {↵
|
| | | 14 | return extdirs;↵
|
| | | 15 | }↵
|
|
| | | 16 | /**↵
|
| | | 17 | * Adds a path to extdirs.↵
|
| | | 18 | * @return a path to be configured↵
|
12 | */↵ | | 19 | */↵
|
13 | public Path createExtdirs() {↵ | | 20 | public Path createExtdirs() {↵
|
14 | if (extDirs == null) {↵ | | 21 | if (extdirs == null) {↵
|
15 | extDirs = new Path(getProject());↵ | | 22 | extdirs = new Path(getProject());↵
|
16 | }↵ | | 23 | }↵
|
17 | return extDirs.createPath();↵ | | 24 | return extdirs.createPath();↵
|
18 | | | 25 |
|