public OWLAPIProjectType getType(ProjectId projectId) throws UnknownProjectException { try { READ_LOCK.lock(); String defaultProjectTypeName = OWLAPIProjectType.getDefaultProjectType().getProjectTypeName(); String projectType = getPropertyValue(projectId, PROJECT_TYPE_PROPERTY_NAME, defaultProjectTypeName); if (projectType.equals(OWLAPIProjectType.getOBOProjectType().getProjectTypeName())) { return OWLAPIProjectType.getOBOProjectType(); } else { return OWLAPIProjectType.getDefaultProjectType(); } } finally { READ_LOCK.unlock(); } }
public void setProjectType(ProjectId projectId, OWLAPIProjectType projectType) throws UnknownProjectException { setPropertyValue(projectId, PROJECT_TYPE_PROPERTY_NAME, projectType.getProjectTypeName()); }