101 |
private ErrorReporter reporter; |
private ErrorReporter reporter; |
102 |
|
|
103 |
/** |
/** |
104 |
|
* Cache for version string from resource /version.properties |
105 |
|
*/ |
106 |
|
private String gjdocVersion; |
107 |
|
|
108 |
|
/** |
109 |
* <code>false</code> during Phase I: preparation of the documentation data. |
* <code>false</code> during Phase I: preparation of the documentation data. |
110 |
* <code>true</code> during Phase II: documentation output by doclet. |
* <code>true</code> during Phase II: documentation output by doclet. |
111 |
*/ |
*/ |
1530 |
|
|
1531 |
public String getGjdocVersion() |
public String getGjdocVersion() |
1532 |
{ |
{ |
1533 |
return "0.7.1-cvs"; |
if (null == gjdocVersion) { |
1534 |
|
try { |
1535 |
|
Properties versionProperties = new Properties(); |
1536 |
|
versionProperties.load(getClass().getResourceAsStream("/version.properties")); |
1537 |
|
gjdocVersion = versionProperties.getProperty("gjdoc.version"); |
1538 |
|
} |
1539 |
|
catch (IOException ignore) { |
1540 |
|
} |
1541 |
|
if (null == gjdocVersion) { |
1542 |
|
gjdocVersion = "unknown"; |
1543 |
|
} |
1544 |
|
} |
1545 |
|
return gjdocVersion; |
1546 |
} |
} |
1547 |
} |
} |