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

Class QueryAssert

java.lang.Object

org.assertj.core.api.AbstractAssert<QueryAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query>

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

All Implemented Interfaces:

org.assertj.core.api.Assert<QueryAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query>, org.assertj.core.api.Descriptable<QueryAssert>, org.assertj.core.api.ExtensionPoints<QueryAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query>

public class QueryAssert
extends org.assertj.core.api.AbstractAssert<QueryAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query>

Field Summary

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

actual, info, myself, objects, throwUnsupportedExceptionOnEquals

Constructor Summary

Constructors

Constructor	Description
QueryAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query query)

Method Summary

Modifier and Type	Method	Description
static QueryAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query actual)
ImmutableLiteralsListAssert	body()
QueryAssert	hasBodySize(int expected)
QueryAssert	hasEmptyHead()
QueryAssert	hasNonEmptyHead()
ImmutableTermListAssert	head()
QueryAssert	headVariablesAppearInBody()
QueryAssert	isIsomorphicTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query expected)
QueryAssert	isIsomorphicTo(List<String> headTerms, String expectedString)

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

QueryAssert

public QueryAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query query)

Method Details

assertThat

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

head

public ImmutableTermListAssert head()

body

public ImmutableLiteralsListAssert body()

headVariablesAppearInBody

public QueryAssert headVariablesAppearInBody()

hasEmptyHead

public QueryAssert hasEmptyHead()

hasNonEmptyHead

public QueryAssert hasNonEmptyHead()

hasBodySize

public QueryAssert hasBodySize(int expected)

isIsomorphicTo

public QueryAssert isIsomorphicTo(List<String> headTerms,
 String expectedString)

isIsomorphicTo

public QueryAssert isIsomorphicTo(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Query expected)