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

Class LogicConstraintAssert

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.LogicConstraint>
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.LogicConstraintAssert
All Implemented Interfaces:
org.assertj.core.api.Assert<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>, org.assertj.core.api.Descriptable<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>>, org.assertj.core.api.ExtensionPoints<NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>
public class LogicConstraintAssert extends NormalClauseAssert<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint>

  • Field Summary

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

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

    Constructors
    Constructor
    Description
    LogicConstraintAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint logicConstraint)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static LogicConstraintAssert
    assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint actual)
     
    LogicConstraintAssert
    correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintSpec spec)
     
    LogicConstraintAssert
    correspondsSpecWithId(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec spec)
     
    LogicConstraintAssert
    hasID(String id)
     
    LogicConstraintAssert
    isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expected)
    Checks whether the actual constraint is the same as the expected logic constraint 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

    • LogicConstraintAssert

      public LogicConstraintAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint logicConstraint)

  • Method Details

    • assertThat

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

    • correspondsSpecWithId

      public LogicConstraintAssert correspondsSpecWithId(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LogicConstraintWithIDSpec spec)

    • correspondsSpec

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

    • hasID

      public LogicConstraintAssert hasID(String id)

    • isLogicallyEquivalent

      public LogicConstraintAssert isLogicallyEquivalent(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.LogicConstraint expected)
      Checks whether the actual constraint is the same as the expected logic constraint 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