it.unibz.inf.ontop.model.atom.impl

Class AtomPredicateImpl

java.lang.Object

it.unibz.inf.ontop.model.term.impl.PredicateImpl

it.unibz.inf.ontop.model.atom.impl.AtomPredicateImpl

All Implemented Interfaces:

AtomPredicate, Predicate

Direct Known Subclasses:

RDFAtomPredicateImpl, RelationPredicateImpl

public class AtomPredicateImpl
extends PredicateImpl
implements AtomPredicate

TODO: in the future, make it independent from PredicateImpl

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AtomPredicateImpl(String name, com.google.common.collect.ImmutableList<TermType> baseTypesForValidation)

Method Summary

Modifier and Type	Method and Description
com.google.common.collect.ImmutableList<TermType>	getBaseTypesForValidation() Returns a base term type for each of its arguments.

Methods inherited from class it.unibz.inf.ontop.model.term.impl.PredicateImpl

clone, equals, getArity, getName, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unibz.inf.ontop.model.term.functionsymbol.Predicate

getArity, getName

Constructor Detail

AtomPredicateImpl

protected AtomPredicateImpl(String name,
                            com.google.common.collect.ImmutableList<TermType> baseTypesForValidation)

Method Detail

getBaseTypesForValidation

public com.google.common.collect.ImmutableList<TermType> getBaseTypesForValidation()

Description copied from interface: AtomPredicate

Returns a base term type for each of its arguments. Since a base type may not type precisely the argument (can be very abstract), it is expected to be used for VALIDATION ONLY (that is detecting obvious inconsistencies), NOT FOR precise type inference.

Specified by:

getBaseTypesForValidation in interface AtomPredicate