public default PropertyType getPropertyType(final ATerm r) { final Role role = getProperty(r); return role == null ? PropertyType.UNTYPED : role.getType(); }
public default PropertyType getPropertyType(final ATerm r) { final Role role = getProperty(r); return role == null ? PropertyType.UNTYPED : role.getType(); }
public Taxonomy<ATermAppl> classify() { if (_logger.isLoggable(Level.FINE)) _logger.fine("Properties: " + _properties.size()); for (final Role r : _properties) { if (_propertyType != r.getType()) continue; classify(r); } return _taxonomyImpl; }
public Taxonomy<ATermAppl> classify() { if (_logger.isLoggable(Level.FINE)) _logger.fine("Properties: " + _properties.size()); for (final Role r : _properties) { if (_propertyType != r.getType()) continue; classify(r); } return _taxonomyImpl; }
default Role addAnnotationRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.ANNOTATION); getRoles().put(r, role); } else switch (role.getType()) { case ANNOTATION: break; case OBJECT: role = null; break; default: role.setType(PropertyType.ANNOTATION); break; } return role; }
default Role addAnnotationRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.ANNOTATION); getRoles().put(r, role); } else switch (role.getType()) { case ANNOTATION: break; case OBJECT: role = null; break; default: role.setType(PropertyType.ANNOTATION); break; } return role; }
default Role addDatatypeRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.DATATYPE); getRoles().put(r, role); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); } else switch (role.getType()) { case DATATYPE: break; case OBJECT: role = null; break; default: role.setType(PropertyType.DATATYPE); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
default Role addDatatypeRole(final ATermAppl r) { Role role = getRole(r); if (role == null) { role = new RoleImpl(r, PropertyType.DATATYPE); getRoles().put(r, role); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); } else switch (role.getType()) { case DATATYPE: break; case OBJECT: role = null; break; default: role.setType(PropertyType.DATATYPE); addSubRole(ATermUtils.BOTTOM_DATA_PROPERTY, role.getName(), DependencySet.INDEPENDENT); addSubRole(role.getName(), ATermUtils.TOP_DATA_PROPERTY, DependencySet.INDEPENDENT); break; } return role; }
default Role addObjectRole(final ATermAppl r) final PropertyType roleType = role == null ? PropertyType.UNTYPED : role.getType();
default Role addObjectRole(final ATermAppl r) final PropertyType roleType = role == null ? PropertyType.UNTYPED : role.getType();
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())
final Set<Role> roles = SetUtils.union(r.getSubRoles(), r.getSuperRoles()); for (final Role sub : roles) switch (sub.getType())
final PropertyType type = role == null ? PropertyType.UNTYPED : role.getType();