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

Class OrdinaryLiteralAssert

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

  • Field Summary

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

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

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

  • Method Summary

    Modifier and Type
    Method
    Description
    static OrdinaryLiteralAssert
    assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral actual)
     
    OrdinaryLiteralAssert
    correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec spec)
     
    OrdinaryLiteralAssert
    correspondsTo(String expectedLiteralString)
     
    OrdinaryLiteralAssert
    hasPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate predicate)
    Asserts that the actual atom should have the very same predicate (i.e., same object reference) as the one given by parameter
    OrdinaryLiteralAssert
    hasPredicate(String predicateName, int arity)
     
    OrdinaryLiteralAssert
    hasPredicateName(String predicateName)
     
    OrdinaryLiteralAssert
    hasTerms(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList terms)
     
    OrdinaryLiteralAssert
    isNegated()
     
    OrdinaryLiteralAssert
    isPositive()
     
    OrdinaryLiteralAssert
    isPositive(boolean positive)
     

    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

    • OrdinaryLiteralAssert

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

  • Method Details

    • correspondsSpec

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

    • correspondsTo

      public OrdinaryLiteralAssert correspondsTo(String expectedLiteralString)

    • hasTerms

      public OrdinaryLiteralAssert hasTerms(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList terms)

    • hasPredicateName

      public OrdinaryLiteralAssert hasPredicateName(String predicateName)

    • assertThat

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

    • isPositive

      public OrdinaryLiteralAssert isPositive()

    • isPositive

      public OrdinaryLiteralAssert isPositive(boolean positive)

    • isNegated

      public OrdinaryLiteralAssert isNegated()

    • hasPredicate

      public OrdinaryLiteralAssert hasPredicate(String predicateName, int arity)

    • hasPredicate

      public OrdinaryLiteralAssert hasPredicate(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Predicate predicate)
      Asserts that the actual atom should have the very same predicate (i.e., same object reference) as the one given by parameter
      Parameters:
      predicate - not null
      Returns:
      this assert