Package edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Class LogicSchemaAssertions

java.lang.Object

edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicSchemaAssertions

public class LogicSchemaAssertions
extends Object

Constructor Summary

Constructors

Constructor	Description
LogicSchemaAssertions()

Method Summary

Modifier and Type	Method	Description
static AtomAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom actual)
static BuiltInLiteralAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral actual)
static ComparisonBuiltInLiteralAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral actual)
static DerivationRuleAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)
static ImmutableAtomListAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList actual)
static ImmutableLiteralsListAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList actual)
static ImmutableTermListAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList actual)
static LevelAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level actual)
static LevelHierarchyAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy actual)
static LiteralAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)
static LogicConstraintAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint actual)
static LogicSchemaAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema actual)
static OrdinaryLiteralAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral actual)
static PredicateAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate actual)
static QueryAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query actual)
static TermAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)

Methods inherited from class java.lang.Object

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

Constructor Details

LogicSchemaAssertions

public LogicSchemaAssertions()

Method Details

assertThat

public static AtomAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom actual)

assertThat

public static ComparisonBuiltInLiteralAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral actual)

assertThat

public static DerivationRuleAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)

assertThat

public static ImmutableLiteralsListAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList actual)

assertThat

public static ImmutableTermListAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList actual)

assertThat

public static ImmutableAtomListAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableAtomList actual)

assertThat

public static LevelAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Level actual)

assertThat

public static LevelHierarchyAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LevelHierarchy actual)

assertThat

public static LiteralAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)

assertThat

public static LogicConstraintAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint actual)

assertThat

public static LogicSchemaAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema actual)

assertThat

public static OrdinaryLiteralAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral actual)

assertThat

public static BuiltInLiteralAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral actual)

assertThat

public static PredicateAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate actual)

assertThat

public static TermAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)

assertThat

public static QueryAssert assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query actual)