JADE_SL.schema
Class VariableSchema

java.lang.Object
  JADE_SL.schema.ObjectSchema
      JADE_SL.schema.TermSchema
          JADE_SL.schema.VariableSchema

public class VariableSchema

extends TermSchema

Author:

Federico Bergenti - Universita` di Parma

Nested Class Summary

Nested classes inherited from class JADE_SL.schema.ObjectSchema

Field Summary

static java.lang.String	BASE_NAME
private static VariableSchema	baseSchema
static java.lang.String	NAME
static java.lang.String	VALUE_TYPE

Fields inherited from class JADE_SL.schema.ObjectSchema

MANDATORY, OPTIONAL, UNLIMITED

Constructor Summary

private

VariableSchema() Construct a schema that vinculates an entity to be a generic variable.

Method Summary

protected boolean	descendsFrom(ObjectSchema s) Return true if - s is the base schema for the XXXSchema class this schema is an instance of (e.g. s is ConceptSchema.getBaseSchema() and this schema is an instance of ConceptSchema) - s is the base schema for a super-class of the XXXSchema class this schema is an instance of (e.g. s is TermSchema.getBaseSchema() and this schema is an instance of ConceptSchema)
static ObjectSchema	getBaseSchema() Retrieve the generic base schema for all variables.
boolean	isCompatibleWith(ObjectSchema s) A variable can be put whereever a term of whatever type is required --> A VariableSchema is compatible with s if s descends from TermSchema.getBaseSchema()
AbsObject	newInstance() Creates an Abstract descriptor to hold a variable
void	validate(AbsObject abs, Ontology onto) Check whether a given abstract descriptor complies with this schema.

Methods inherited from class JADE_SL.schema.ObjectSchema

add, add, add, addFacet, addSuperSchema, containsSlot, equals, getNames, getSchema, getTypeName, toString, validateSlots

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

BASE_NAME

public static final java.lang.String BASE_NAME

See Also:

Constant Field Values

baseSchema

private static VariableSchema baseSchema

NAME

public static final java.lang.String NAME

See Also:

Constant Field Values

VALUE_TYPE

public static final java.lang.String VALUE_TYPE

See Also:

Constant Field Values

Constructor Detail

VariableSchema

private VariableSchema()

Construct a schema that vinculates an entity to be a generic variable. Note that there are no different types of variable as it happens for concepts (e.g. Person, Address...), IREs (e.g. IOTA, ANY, ALL...) and the like. Therefore there is no VariableSchema constructor that takes a String parameter. Not also that the type of the values that can be assumed by the variable is another story and is defined by the VARIABLE_VALUE_TYPE slot of the VariableSchema

Method Detail

getBaseSchema

public static ObjectSchema getBaseSchema()

Retrieve the generic base schema for all variables.

Returns:

the generic base schema for all variables.

newInstance

public AbsObject newInstance()
                      throws OntologyException

Creates an Abstract descriptor to hold a variable

Overrides:

newInstance in class TermSchema

Throws:

OntologyException

validate

public void validate(AbsObject abs,
                     Ontology onto)
              throws OntologyException

Check whether a given abstract descriptor complies with this schema.

Overrides:

validate in class ObjectSchema

Parameters:

abs - The abstract descriptor to be checked

Throws:

OntologyException - If the abstract descriptor does not complies with this schema

isCompatibleWith

public boolean isCompatibleWith(ObjectSchema s)

A variable can be put whereever a term of whatever type is required --> A VariableSchema is compatible with s if s descends from TermSchema.getBaseSchema()

Overrides:

isCompatibleWith in class ObjectSchema

descendsFrom

protected boolean descendsFrom(ObjectSchema s)

Return true if - s is the base schema for the XXXSchema class this schema is an instance of (e.g. s is ConceptSchema.getBaseSchema() and this schema is an instance of ConceptSchema) - s is the base schema for a super-class of the XXXSchema class this schema is an instance of (e.g. s is TermSchema.getBaseSchema() and this schema is an instance of ConceptSchema)

Overrides:

descendsFrom in class TermSchema