Lines Matching defs:VersionInfo
243 if (versionInfo != VersionInfo.NULL_VERSION_INFO) {
521 this.versionInfo = VersionInfo.getInstance(spectitle, specversion,
529 this.versionInfo = VersionInfo.NULL_VERSION_INFO;
535 static class VersionInfo {
536 static final VersionInfo NULL_VERSION_INFO
537 = new VersionInfo(null, null, null, null, null, null, null);
547 static VersionInfo getInstance(String spectitle, String specversion,
556 return new VersionInfo(spectitle, specversion, specvendor,
561 private VersionInfo(String spectitle, String specversion,
576 private final VersionInfo versionInfo;