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

    • assertThat

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

    • correspondsSpec

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

    • correspondsTo

      public OrdinaryLiteralAssert correspondsTo(String expectedLiteralString)

    • isPositive

      public OrdinaryLiteralAssert isPositive(boolean positive)

    • isPositive

      public OrdinaryLiteralAssert isPositive()

    • 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

    • hasPredicateName

      public OrdinaryLiteralAssert hasPredicateName(String predicateName)

    • hasTerms

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