org.xowl.infra.lang.owl2.IndividualElement Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of xowl-lang Show documentation
Show all versions of xowl-lang Show documentation
Java implementation of the xOWL language concepts
/* This file has been generated by:
xOWL Code Generator
*/
package org.xowl.infra.lang.owl2;
public class IndividualElement implements org.xowl.infra.lang.owl2.SequenceElement, org.xowl.infra.lang.owl2.ClassAssertion_OR_DataPropertyAssertion_OR_IndividualElement_OR_NegativeDataPropertyAssertion_OR_Ne1 {
//
private static class index_impl implements org.xowl.infra.lang.owl2.SequenceElement.index {
private org.xowl.infra.lang.owl2.IndividualElement domain;
private java.lang.Integer data;
public java.lang.Integer get_raw() { return data; }
public java.lang.Integer 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(java.lang.Integer elem) { return data.equals(elem); }
public boolean simple_check_add(java.lang.Integer elem) {
if (check_contains(elem)) return false;
if (!check_card(1)) return false;
return true;
}
public boolean simple_check_remove(java.lang.Integer elem) {
if (!check_contains(elem)) return false;
if (!check_card(-1)) return false;
return true;
}
public boolean simple_check_replace(java.lang.Integer oldElem, java.lang.Integer newElem) {
if (check_contains(newElem)) return false;
if (!check_contains(oldElem)) return false;
return true;
}
public void simple_add(java.lang.Integer elem) {
data = elem;
}
public void simple_remove(java.lang.Integer elem) {
data = null;
}
private boolean tree_check_add(java.lang.Integer elem) {
if (!simple_check_add(elem)) return false;
return true;
}
private boolean tree_check_remove(java.lang.Integer elem) {
if (!simple_check_remove(elem)) return false;
return true;
}
private boolean tree_check_replace(java.lang.Integer oldElem, java.lang.Integer newElem) {
if (!simple_check_replace(oldElem, newElem)) return false;
return true;
}
private void tree_add(java.lang.Integer elem) {
simple_add(elem);
}
private void tree_remove(java.lang.Integer elem) {
simple_remove(elem);
}
@Override public boolean user_check_add(java.lang.Integer elem) {
return tree_check_add(elem);
}
@Override public boolean user_check_remove(java.lang.Integer elem) {
return tree_check_remove(elem);
}
@Override public boolean user_check_replace(java.lang.Integer oldElem, java.lang.Integer newElem) {
return tree_check_replace(oldElem, newElem);
}
@Override public void user_add(java.lang.Integer elem) {
tree_add(elem);
}
@Override public void user_remove(java.lang.Integer elem) {
tree_remove(elem);
}
@Override public boolean inverse_check_add(java.lang.Integer elem) {
return tree_check_add(elem);
}
@Override public boolean inverse_check_remove(java.lang.Integer elem) {
return tree_check_remove(elem);
}
@Override public boolean inverse_check_replace(java.lang.Integer oldElem, java.lang.Integer newElem) {
return tree_check_replace(oldElem, newElem);
}
@Override public void inverse_add(java.lang.Integer elem) {
tree_add(elem);
}
@Override public void inverse_remove(java.lang.Integer elem) {
tree_remove(elem);
}
public index_impl(org.xowl.infra.lang.owl2.IndividualElement domain) {
this.domain = domain;
}
}
private index_impl dataIndex;
public org.xowl.infra.lang.owl2.SequenceElement.index __getImplOfindex() { return dataIndex; }
public boolean setIndex(java.lang.Integer elem) {
dataIndex.simple_add(elem);
return true;
}
public java.lang.Integer getIndex() { return dataIndex.get(); }
//
//
private static class individual_impl implements org.xowl.infra.lang.owl2.ClassAssertion_OR_DataPropertyAssertion_OR_IndividualElement_OR_NegativeDataPropertyAssertion_OR_Ne1.individual {
private org.xowl.infra.lang.owl2.IndividualElement domain;
private org.xowl.infra.lang.owl2.IndividualExpression data;
public org.xowl.infra.lang.owl2.IndividualExpression get_raw() { return data; }
public org.xowl.infra.lang.owl2.IndividualExpression 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.IndividualExpression elem) { return (data == elem); }
public boolean simple_check_add(org.xowl.infra.lang.owl2.IndividualExpression 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.IndividualExpression 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.IndividualExpression oldElem, org.xowl.infra.lang.owl2.IndividualExpression newElem) {
if (check_contains(newElem)) return false;
if (!check_contains(oldElem)) return false;
return true;
}
public void simple_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
data = elem;
}
public void simple_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
data = null;
}
private boolean tree_check_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
if (!simple_check_add(elem)) return false;
return true;
}
private boolean tree_check_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
if (!simple_check_remove(elem)) return false;
return true;
}
private boolean tree_check_replace(org.xowl.infra.lang.owl2.IndividualExpression oldElem, org.xowl.infra.lang.owl2.IndividualExpression newElem) {
if (!simple_check_replace(oldElem, newElem)) return false;
return true;
}
private void tree_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
simple_add(elem);
}
private void tree_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
simple_remove(elem);
}
@Override public boolean user_check_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
return tree_check_add(elem);
}
@Override public boolean user_check_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
return tree_check_remove(elem);
}
@Override public boolean user_check_replace(org.xowl.infra.lang.owl2.IndividualExpression oldElem, org.xowl.infra.lang.owl2.IndividualExpression newElem) {
return tree_check_replace(oldElem, newElem);
}
@Override public void user_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
tree_add(elem);
}
@Override public void user_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
tree_remove(elem);
}
@Override public boolean inverse_check_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
return tree_check_add(elem);
}
@Override public boolean inverse_check_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
return tree_check_remove(elem);
}
@Override public boolean inverse_check_replace(org.xowl.infra.lang.owl2.IndividualExpression oldElem, org.xowl.infra.lang.owl2.IndividualExpression newElem) {
return tree_check_replace(oldElem, newElem);
}
@Override public void inverse_add(org.xowl.infra.lang.owl2.IndividualExpression elem) {
tree_add(elem);
}
@Override public void inverse_remove(org.xowl.infra.lang.owl2.IndividualExpression elem) {
tree_remove(elem);
}
public individual_impl(org.xowl.infra.lang.owl2.IndividualElement domain) {
this.domain = domain;
}
}
private individual_impl dataIndividual;
public org.xowl.infra.lang.owl2.ClassAssertion_OR_DataPropertyAssertion_OR_IndividualElement_OR_NegativeDataPropertyAssertion_OR_Ne1.individual __getImplOfindividual() { return dataIndividual; }
public boolean setIndividual(org.xowl.infra.lang.owl2.IndividualExpression elem) {
if (dataIndividual.get() != null) {
if (elem == null) {
if (!dataIndividual.user_check_remove(dataIndividual.get())) return false;
dataIndividual.user_remove(dataIndividual.get());
} else {
if (!dataIndividual.user_check_replace(dataIndividual.get(), elem)) return false;
dataIndividual.user_remove(dataIndividual.get());
dataIndividual.user_add(elem);
}
} else {
if (elem == null) return true;
if (!dataIndividual.user_check_add(elem)) return false;
dataIndividual.user_add(elem);
}
return true;
}
public org.xowl.infra.lang.owl2.IndividualExpression getIndividual() { return dataIndividual.get(); }
//
public IndividualElement() {
dataIndex = new index_impl(this);
dataIndividual = new individual_impl(this);
}
}