Uses of Class
edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions.DependencySchemaAssert
Packages that use DependencySchemaAssert
-
Uses of DependencySchemaAssert in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions
Methods in edu.upc.fib.inlab.imp.kse.logics.dependencyschema.assertions that return DependencySchemaAssertModifier and TypeMethodDescriptionDependencySchemaAssert.assertAllPredicatesAreEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicSchema expectedSchema) Asserts whether the actual logicSchema predicates (base or derived) are equivalent to the expectedSchema.static DependencySchemaAssertDependencySchemaAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema actual) static DependencySchemaAssertDependencySchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.dependencyschema.domain.DependencySchema actual) DependencySchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule) Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent iff their definition rules are equivalentDependencySchemaAssert.containsEquivalentDerivationRule(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expectedRule, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy) Checks whether the actual schema contains a derivation rule equivalent to expectedRule considering that two derived ordinary literals are equivalent according to the given strategy.DependencySchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate) Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent iff their definition rules are equivalentDependencySchemaAssert.containsEquivalentPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate expectedPredicate, LogicSchemaAssert.DerivedLiteralStrategy derivedLiteralsStrategy) Checks whether the actual schema contains a predicate equivalent to expectedPredicate considering that two derived ordinary literals (appearing in the definition rules of the given predicate) are equivalent according to the derivedLiteralStrategy givenDependencySchemaAssert.containsExactlyThesePredicateNames(String... predicateNames) DependencySchemaAssert.containsPredicate(String predicateName, int arity) DependencySchemaAssert.hasDependencies(int expectedDependencyCount) DependencySchemaAssert.hasPredicates(int expectedPredicatesCount) DependencySchemaAssert.isEmpty()