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

Class GroundTermTools

java.lang.Object

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

public class GroundTermTools
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	GroundTermTools.NonGroundTermException

Constructor Summary

Constructors

Constructor and Description
GroundTermTools()

Method Summary

Modifier and Type	Method and Description
static boolean	areGroundTerms(Collection<? extends ImmutableTerm> terms)
static GroundTerm	castIntoGroundTerm(Term term, TermFactory termFactory)
static com.google.common.collect.ImmutableList<GroundTerm>	castIntoGroundTerms(List<? extends Term> terms, TermFactory termFactory)
static void	checkNonGroundTermConstraint(NonGroundFunctionalTerm term)
static boolean	isGroundTerm(Term term) Returns true if is a ground term (even if it is not explicitly typed as such).

Methods inherited from class java.lang.Object

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

Constructor Detail

GroundTermTools

public GroundTermTools()

Method Detail

castIntoGroundTerms

public static com.google.common.collect.ImmutableList<GroundTerm> castIntoGroundTerms(List<? extends Term> terms,
                                                                                      TermFactory termFactory)
                                                                               throws GroundTermTools.NonGroundTermException

Throws:

GroundTermTools.NonGroundTermException

castIntoGroundTerm

public static GroundTerm castIntoGroundTerm(Term term,
                                            TermFactory termFactory)
                                     throws GroundTermTools.NonGroundTermException

Throws:

GroundTermTools.NonGroundTermException

isGroundTerm

public static boolean isGroundTerm(Term term)

Returns true if is a ground term (even if it is not explicitly typed as such).

areGroundTerms

public static boolean areGroundTerms(Collection<? extends ImmutableTerm> terms)

checkNonGroundTermConstraint

public static void checkNonGroundTermConstraint(NonGroundFunctionalTerm term)
                                         throws IllegalArgumentException

Throws:

IllegalArgumentException