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

Class LiteralAssert

java.lang.Object

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

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

All Implemented Interfaces:

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

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

Field Summary

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

actual, info, myself, objects, throwUnsupportedExceptionOnEquals

Constructor Summary

Constructors

Constructor	Description
LiteralAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)

Method Summary

Modifier and Type	Method	Description
BuiltInLiteralAssert	asBuiltInLiteral()
ComparisonBuiltInLiteralAssert	asComparisonBuiltInLiteral()
OrdinaryLiteralAssert	asOrdinaryLiteral()
static LiteralAssert	assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)
LiteralAssert	containsConstants(String... constantNames)
LiteralAssert	containsVariables(String... variableNames)
LiteralAssert	correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.LiteralSpec spec)
LiteralAssert	correspondsTo(String expectedLiteralString)
LiteralAssert	hasConstant(int index, String constantName)
LiteralAssert	hasPredicate(String predicateName, int arity)
LiteralAssert	hasVariable(int index, String variableName)
LiteralAssert	isBuiltInLiteral()
LiteralAssert	isComparisonBuiltInLiteral()
LiteralAssert	isGround()
LiteralAssert	isOrdinaryLiteral()

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

LiteralAssert

public LiteralAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Literal actual)

Method Details

assertThat

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

correspondsSpec

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

correspondsTo

public LiteralAssert correspondsTo(String expectedLiteralString)

isOrdinaryLiteral

public LiteralAssert isOrdinaryLiteral()

asOrdinaryLiteral

public OrdinaryLiteralAssert asOrdinaryLiteral()

isBuiltInLiteral

public LiteralAssert isBuiltInLiteral()

asBuiltInLiteral

public BuiltInLiteralAssert asBuiltInLiteral()

isComparisonBuiltInLiteral

public LiteralAssert isComparisonBuiltInLiteral()

asComparisonBuiltInLiteral

public ComparisonBuiltInLiteralAssert asComparisonBuiltInLiteral()

hasPredicate

public LiteralAssert hasPredicate(String predicateName,
 int arity)

hasVariable

public LiteralAssert hasVariable(int index,
 String variableName)

hasConstant

public LiteralAssert hasConstant(int index,
 String constantName)

containsVariables

public LiteralAssert containsVariables(String... variableNames)

containsConstants

public LiteralAssert containsConstants(String... constantNames)

isGround

public LiteralAssert isGround()