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

Class DerivationRuleAssert

java.lang.Object
org.assertj.core.api.AbstractAssert<NormalClauseAssert<T>,T>
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.DerivationRuleAssert
All Implemented Interfaces:
org.assertj.core.api.Assert<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>, org.assertj.core.api.Descriptable<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>>, org.assertj.core.api.ExtensionPoints<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>
public class DerivationRuleAssert extends NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule>

  • Field Summary

    Fields inherited from class org.assertj.core.api.AbstractAssert

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

    Constructors
    Constructor
    Description
    DerivationRuleAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static DerivationRuleAssert
    assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule actual)
     
    DerivationRuleAssert
    correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec spec)
     
    DerivationRuleAssert
    isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expected)
    Checks whether the actual rule is the same as the expected logic rule up-to renaming variables, and derived predicate names.

    Methods inherited from class edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.NormalClauseAssert

    body, containsBooleanBuiltInLiteral, containsComparisonBuiltInLiteral, containsCustomBuiltInLiteral, containsOrdinaryLiteral, containsOrdinaryLiteral, containsOrdinaryLiteral, hasBodySize

    Methods inherited from class org.assertj.core.api.AbstractAssert

    areEqual, asInstanceOf, asList, assertionError, asString, describedAs, descriptionText, doesNotHave, doesNotHaveSameClassAs, doesNotHaveSameHashCodeAs, doesNotHaveToString, equals, extracting, extracting, failure, failureWithActualExpected, failWithActualExpectedAndMessage, failWithMessage, getWritableAssertionInfo, has, hashCode, hasSameClassAs, hasSameHashCodeAs, hasToString, inBinary, inHexadecimal, is, isElementOfCustomAssert, isEqualTo, isExactlyInstanceOf, isIn, isIn, isInstanceOf, isInstanceOfAny, isInstanceOfSatisfying, isNot, isNotEqualTo, isNotExactlyInstanceOf, isNotIn, isNotIn, isNotInstanceOf, isNotInstanceOfAny, isNotNull, isNotOfAnyClassIn, isNotSameAs, isNull, isOfAnyClassIn, isSameAs, matches, matches, newListAssertInstance, overridingErrorMessage, overridingErrorMessage, satisfies, satisfies, satisfies, satisfiesAnyOf, satisfiesAnyOf, satisfiesAnyOfForProxy, satisfiesForProxy, setCustomRepresentation, setDescriptionConsumer, setPrintAssertionsDescription, throwAssertionError, usingComparator, usingComparator, usingDefaultComparator, usingRecursiveAssertion, usingRecursiveAssertion, usingRecursiveComparison, usingRecursiveComparison, withFailMessage, withFailMessage, withRepresentation, withThreadDumpOnError

    Methods inherited from class java.lang.Object

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

    Methods inherited from interface org.assertj.core.api.Descriptable

    as, as, as, describedAs

  • Constructor Details

    • DerivationRuleAssert

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

  • Method Details

    • assertThat

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

    • correspondsSpec

      public DerivationRuleAssert correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.DerivationRuleSpec spec)

    • isLogicallyEquivalent

      public DerivationRuleAssert isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.DerivationRule expected)
      Checks whether the actual rule is the same as the expected logic rule up-to renaming variables, and derived predicate names.
      This assert considers two base predicates to be equal iff they have the very same predicate name and arity That is, two predicates of different logic schemas can be considered equal
      Parameters:
      expected - not-null
      Returns:
      this assertion
      See Also:
      • LogicEquivalenceAnalyzer