Examples with SubConstraint com.vaticle.typedb.core.pattern.constraint.type.SubConstraint used on opensource projects

Example 1 with SubConstraint

use of com.vaticle.typedb.core.pattern.constraint.type.SubConstraint in project grakn by graknlabs.

the class Undefiner method undefineSub.

private void undefineSub(ThingType thingType, SubConstraint subConstraint) {
    try (ThreadTrace ignored = traceOnThread(TRACE_PREFIX + "undefine_sub")) {
        if (thingType.isRoleType()) {
            throw TypeDBException.of(ROLE_DEFINED_OUTSIDE_OF_RELATION, thingType.getLabel());
        }
        ThingType supertype = getThingType(subConstraint.type().label().get());
        if (supertype == null) {
            throw TypeDBException.of(TYPE_NOT_FOUND, subConstraint.type().label().get());
        } else if (thingType.getSupertypes().noneMatch(t -> t.equals(supertype))) {
            throw TypeDBException.of(INVALID_UNDEFINE_SUB, thingType.getLabel(), supertype.getLabel());
        }
        if (thingType.isRelationType()) {
            variables.stream().filter(v -> v.label().isPresent() && v.label().get().scope().isPresent() && v.label().get().scope().get().equals(thingType.getLabel().name())).forEach(undefined::add);
        }
        thingType.delete();
    }
}

Example 2 with SubConstraint

use of com.vaticle.typedb.core.pattern.constraint.type.SubConstraint in project grakn by graknlabs.

the class TypeVariable method sub.

public SubConstraint sub(TypeVariable type, boolean isExplicit) {
    SubConstraint subConstraint = new SubConstraint(this, type, isExplicit);
    constrain(subConstraint);
    return subConstraint;
}