• Home
• org.xowl.infra
• xowl-lang
• 1.0-beta9
• source code
• ObjectOneOf.java

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.xowl.infra.lang.owl2.ObjectOneOf Maven / Gradle / Ivy

/* This file has been generated by:
   xOWL Code Generator
*/
package org.xowl.infra.lang.owl2;

public class ObjectOneOf implements org.xowl.infra.lang.owl2.ClassExpression, org.xowl.infra.lang.owl2.DifferentIndividuals_OR_ObjectOneOf_OR_SameIndividual {
    // 
    private static class individualSeq_impl implements org.xowl.infra.lang.owl2.DifferentIndividuals_OR_ObjectOneOf_OR_SameIndividual.individualSeq {
        private org.xowl.infra.lang.owl2.ObjectOneOf domain;
        private org.xowl.infra.lang.owl2.IndividualSequenceExpression data;
        public org.xowl.infra.lang.owl2.IndividualSequenceExpression get_raw() { return data; }
        public org.xowl.infra.lang.owl2.IndividualSequenceExpression get() { return data; }
        private boolean check_card(int modifier) {
            int card = modifier + 0;
            if (data != null) card++;
            return (card >= 0 && card <= 1);
        }
        @Override public boolean check_contains(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) { return (data == elem); }
        public boolean simple_check_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            if (check_contains(elem)) return false;
            if (!check_card(1)) return false;
            return true;
        }
        public boolean simple_check_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            if (!check_contains(elem)) return false;
            if (!check_card(-1)) return false;
            return true;
        }
        public boolean simple_check_replace(org.xowl.infra.lang.owl2.IndividualSequenceExpression oldElem, org.xowl.infra.lang.owl2.IndividualSequenceExpression  newElem) {
            if (check_contains(newElem)) return false;
            if (!check_contains(oldElem)) return false;
            return true;
        }
        public void simple_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            data = elem;
        }
        public void simple_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            data = null;
        }
        private boolean tree_check_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            if (!simple_check_add(elem)) return false;
            return true;
        }
        private boolean tree_check_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            if (!simple_check_remove(elem)) return false;
            return true;
        }
        private boolean tree_check_replace(org.xowl.infra.lang.owl2.IndividualSequenceExpression oldElem, org.xowl.infra.lang.owl2.IndividualSequenceExpression  newElem) {
            if (!simple_check_replace(oldElem, newElem)) return false;
            return true;
        }
        private void tree_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            simple_add(elem);
        }
        private void tree_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            simple_remove(elem);
        }
        @Override public boolean user_check_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            return tree_check_add(elem);
        }
        @Override public boolean user_check_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            return tree_check_remove(elem);
        }
        @Override public boolean user_check_replace(org.xowl.infra.lang.owl2.IndividualSequenceExpression oldElem, org.xowl.infra.lang.owl2.IndividualSequenceExpression  newElem) {
            return tree_check_replace(oldElem, newElem);
        }
        @Override public void user_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            tree_add(elem);
        }
        @Override public void user_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            tree_remove(elem);
        }
        @Override public boolean inverse_check_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            return tree_check_add(elem);
        }
        @Override public boolean inverse_check_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            return tree_check_remove(elem);
        }
        @Override public boolean inverse_check_replace(org.xowl.infra.lang.owl2.IndividualSequenceExpression oldElem, org.xowl.infra.lang.owl2.IndividualSequenceExpression  newElem) {
            return tree_check_replace(oldElem, newElem);
        }
        @Override public void inverse_add(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            tree_add(elem);
        }
        @Override public void inverse_remove(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
            tree_remove(elem);
        }
        public individualSeq_impl(org.xowl.infra.lang.owl2.ObjectOneOf domain) {
            this.domain = domain;
        }
    }
    private individualSeq_impl dataIndividualSeq;
    public org.xowl.infra.lang.owl2.DifferentIndividuals_OR_ObjectOneOf_OR_SameIndividual.individualSeq __getImplOfindividualSeq() { return dataIndividualSeq; }
    public boolean setIndividualSeq(org.xowl.infra.lang.owl2.IndividualSequenceExpression elem) {
        if (dataIndividualSeq.get() != null) {
            if (elem == null) {
                if (!dataIndividualSeq.user_check_remove(dataIndividualSeq.get())) return false;
                dataIndividualSeq.user_remove(dataIndividualSeq.get());
            } else {
                if (!dataIndividualSeq.user_check_replace(dataIndividualSeq.get(), elem)) return false;
                dataIndividualSeq.user_remove(dataIndividualSeq.get());
                dataIndividualSeq.user_add(elem);
            }
        } else {
            if (elem == null) return true;
            if (!dataIndividualSeq.user_check_add(elem)) return false;
            dataIndividualSeq.user_add(elem);
        }
        return true;
    }
    public org.xowl.infra.lang.owl2.IndividualSequenceExpression getIndividualSeq() { return dataIndividualSeq.get(); }
    // 

    public ObjectOneOf() {
        dataIndividualSeq = new individualSeq_impl(this);
    }

}