org.xowl.infra.lang.owl2.Axiom 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

Java implementation of the xOWL language concepts

There is a newer version: 2.3.4

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

public interface Axiom extends org.xowl.infra.lang.owl2.Annotation_OR_Axiom_OR_Ontology {
    // 
    public static interface file {
        boolean check_contains(java.lang.String elem);
        boolean user_check_add(java.lang.String elem);
        boolean user_check_remove(java.lang.String elem);
        boolean user_check_replace(java.lang.String oldElem, java.lang.String  newElem);
        void user_add(java.lang.String elem);
        void user_remove(java.lang.String elem);
        boolean inverse_check_add(java.lang.String elem);
        boolean inverse_check_remove(java.lang.String elem);
        boolean inverse_check_replace(java.lang.String oldElem, java.lang.String  newElem);
        void inverse_add(java.lang.String elem);
        void inverse_remove(java.lang.String elem);
    }
    file __getImplOffile();
    boolean setFile(java.lang.String elem);
    java.lang.String getFile();
    // 
    // 
    public static interface line {
        boolean check_contains(java.lang.Integer elem);
        boolean user_check_add(java.lang.Integer elem);
        boolean user_check_remove(java.lang.Integer elem);
        boolean user_check_replace(java.lang.Integer oldElem, java.lang.Integer  newElem);
        void user_add(java.lang.Integer elem);
        void user_remove(java.lang.Integer elem);
        boolean inverse_check_add(java.lang.Integer elem);
        boolean inverse_check_remove(java.lang.Integer elem);
        boolean inverse_check_replace(java.lang.Integer oldElem, java.lang.Integer  newElem);
        void inverse_add(java.lang.Integer elem);
        void inverse_remove(java.lang.Integer elem);
    }
    line __getImplOfline();
    boolean setLine(java.lang.Integer elem);
    java.lang.Integer getLine();
    // 
}