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

Class NormalClauseAssert<T extends edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.NormalClause>

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

  • Field Summary

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

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

    Constructors
    Constructor
    Description
    NormalClauseAssert(T actual, Class<?> selfType)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    ImmutableLiteralsListAssert
    body()
     
    NormalClauseAssert<T>
    containsBooleanBuiltInLiteral(boolean booleanValue)
     
    NormalClauseAssert<T>
    containsComparisonBuiltInLiteral(String comparisonOperator, String leftVariable, String rightVariable)
     
    NormalClauseAssert<T>
    containsCustomBuiltInLiteral(String operationName)
     
    NormalClauseAssert<T>
    containsOrdinaryLiteral(String predicateName, int arity)
     
    NormalClauseAssert<T>
    containsOrdinaryLiteral(String predicateName, int arity, boolean positive)
     
    NormalClauseAssert<T>
    containsOrdinaryLiteral(String predicateName, String... variableNames)
     
    NormalClauseAssert<T>
    hasBodySize(int size)
     

    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