• Home
• org.xowl.infra
• xowl-lang
• 1.0-beta9
• source code
• ObjectIntersectionOf.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.ObjectIntersectionOf Maven / Gradle / Ivy

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

public class ObjectIntersectionOf implements org.xowl.infra.lang.owl2.ClassExpression, org.xowl.infra.lang.owl2.DisjointClasses_OR_DisjointUnion_OR_EquivalentClasses_OR_ObjectIntersectionOf_OR_ObjectUnionOf {
    // 
    private static class classSeq_impl implements org.xowl.infra.lang.owl2.DisjointClasses_OR_DisjointUnion_OR_EquivalentClasses_OR_ObjectIntersectionOf_OR_ObjectUnionOf.classSeq {
        private org.xowl.infra.lang.owl2.ObjectIntersectionOf domain;
        private org.xowl.infra.lang.owl2.ClassSequenceExpression data;
        public org.xowl.infra.lang.owl2.ClassSequenceExpression get_raw() { return data; }
        public org.xowl.infra.lang.owl2.ClassSequenceExpression 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.ClassSequenceExpression elem) { return (data == elem); }
        public boolean simple_check_add(org.xowl.infra.lang.owl2.ClassSequenceExpression 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.ClassSequenceExpression 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.ClassSequenceExpression oldElem, org.xowl.infra.lang.owl2.ClassSequenceExpression  newElem) {
            if (check_contains(newElem)) return false;
            if (!check_contains(oldElem)) return false;
            return true;
        }
        public void simple_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            data = elem;
        }
        public void simple_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            data = null;
        }
        private boolean tree_check_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            if (!simple_check_add(elem)) return false;
            return true;
        }
        private boolean tree_check_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            if (!simple_check_remove(elem)) return false;
            return true;
        }
        private boolean tree_check_replace(org.xowl.infra.lang.owl2.ClassSequenceExpression oldElem, org.xowl.infra.lang.owl2.ClassSequenceExpression  newElem) {
            if (!simple_check_replace(oldElem, newElem)) return false;
            return true;
        }
        private void tree_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            simple_add(elem);
        }
        private void tree_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            simple_remove(elem);
        }
        @Override public boolean user_check_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            return tree_check_add(elem);
        }
        @Override public boolean user_check_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            return tree_check_remove(elem);
        }
        @Override public boolean user_check_replace(org.xowl.infra.lang.owl2.ClassSequenceExpression oldElem, org.xowl.infra.lang.owl2.ClassSequenceExpression  newElem) {
            return tree_check_replace(oldElem, newElem);
        }
        @Override public void user_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            tree_add(elem);
        }
        @Override public void user_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            tree_remove(elem);
        }
        @Override public boolean inverse_check_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            return tree_check_add(elem);
        }
        @Override public boolean inverse_check_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            return tree_check_remove(elem);
        }
        @Override public boolean inverse_check_replace(org.xowl.infra.lang.owl2.ClassSequenceExpression oldElem, org.xowl.infra.lang.owl2.ClassSequenceExpression  newElem) {
            return tree_check_replace(oldElem, newElem);
        }
        @Override public void inverse_add(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            tree_add(elem);
        }
        @Override public void inverse_remove(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
            tree_remove(elem);
        }
        public classSeq_impl(org.xowl.infra.lang.owl2.ObjectIntersectionOf domain) {
            this.domain = domain;
        }
    }
    private classSeq_impl dataClassSeq;
    public org.xowl.infra.lang.owl2.DisjointClasses_OR_DisjointUnion_OR_EquivalentClasses_OR_ObjectIntersectionOf_OR_ObjectUnionOf.classSeq __getImplOfclassSeq() { return dataClassSeq; }
    public boolean setClassSeq(org.xowl.infra.lang.owl2.ClassSequenceExpression elem) {
        if (dataClassSeq.get() != null) {
            if (elem == null) {
                if (!dataClassSeq.user_check_remove(dataClassSeq.get())) return false;
                dataClassSeq.user_remove(dataClassSeq.get());
            } else {
                if (!dataClassSeq.user_check_replace(dataClassSeq.get(), elem)) return false;
                dataClassSeq.user_remove(dataClassSeq.get());
                dataClassSeq.user_add(elem);
            }
        } else {
            if (elem == null) return true;
            if (!dataClassSeq.user_check_add(elem)) return false;
            dataClassSeq.user_add(elem);
        }
        return true;
    }
    public org.xowl.infra.lang.owl2.ClassSequenceExpression getClassSeq() { return dataClassSeq.get(); }
    // 

    public ObjectIntersectionOf() {
        dataClassSeq = new classSeq_impl(this);
    }

}