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

Class AtomAssert

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

  • Field Summary

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

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

    Constructors
    Constructor
    Description
    AtomAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom atom)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static AtomAssert
    assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom actual)
     
    AtomAssert
    containsConstant(int index, String constantName)
     
    AtomAssert
    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
    AtomAssert
    hasPredicate(String predicateName, int arity)
     
    AtomAssert
    hasPredicateName(String predicateName)
     
    AtomAssert
    hasTerms(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList terms)
     
    AtomAssert
    hasVariable(int index, String variableName)
     

    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

    • AtomAssert

      public AtomAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Atom atom)

  • Method Details

    • assertThat

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

    • hasPredicate

      public AtomAssert hasPredicate(String predicateName, int arity)

    • hasPredicate

      public AtomAssert 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 AtomAssert hasPredicateName(String predicateName)

    • containsConstant

      public AtomAssert containsConstant(int index, String constantName)

    • hasVariable

      public AtomAssert hasVariable(int index, String variableName)

    • hasTerms

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