?? axiomschema.java
字號:
package toocom.ocgl;
import java.util.*;
import java.awt.Graphics;
/**
* This class represents the axiom schemata in the ontology.
*
* @author Fr閐閞ic F黵st
*/
public abstract class AxiomSchema extends NamedObject{
protected ContextOfUse cou;
public AxiomSchema(Terms t){super(t);}
public void setContextOfUse(ContextOfUse cou){
this.cou = cou;
}
/** Returns true if the axiom schema is valid, according to the types of
* the conceptual primitives linked by the axiom schema, and to the other
* axiom schemata of the primitives. */
public abstract boolean isValid();
/** Paint on the graphics the representation of the axiom schema : nothing if the
* axiom schema is for only one primitive, a specific graphic link between two
* primitives if the axiom schema links two primitives. */
public abstract void paint(Graphics g,Language l);
/** Returns the axiom that express the axiom schema, null if the axiom schema can
* not be expressed by an axiom. The primitives concerned by the axiom schema have
* to support it for the axiom be generated without trouble. */
public abstract Axiom getAxiomForm();
/** Returns the list of Rules and Constraints that represent the
* operational form of the axiom schema depending on the context of use of
* the axiom schema. Return an empty list if the axiom schema is not valid or if,
* fot the context of use, the axiom schema has no operational form. */
public abstract LinkedList getOperationalForm(Ontology onto,Language l);
/** Returns true if the axiom schema has the same type than the given one. */
public boolean equals(AxiomSchema as){
return this.getClass().getName().equals(as.getClass().getName());
}
/** Destroy the axiom schema by erasing it in the conceptual primitives that have
* the axiom schema. This method is equivalent to the removeAxiomSchema(AxiomSchema)
* method of the ConceptualPrimitive class. */
public abstract void destroy();
public String toString(Language l){return this.getTerm(l);}
}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -