Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.OrdinaryLiteralAssert

Packages that use OrdinaryLiteralAssert

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

Uses of OrdinaryLiteralAssert in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions

Fields in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions with type parameters of type OrdinaryLiteralAssert

Modifier and Type	Field	Description
static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral,OrdinaryLiteralAssert>	LogicInstanceOfAssertFactories.ORDINARY_LITERAL

Methods in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions that return OrdinaryLiteralAssert

Modifier and Type	Method	Description
OrdinaryLiteralAssert	LiteralAssert.asOrdinaryLiteral()
static OrdinaryLiteralAssert	LogicSchemaAssertions.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral actual)
static OrdinaryLiteralAssert	OrdinaryLiteralAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral actual)
OrdinaryLiteralAssert	OrdinaryLiteralAssert.correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.OrdinaryLiteralSpec spec)
OrdinaryLiteralAssert	OrdinaryLiteralAssert.correspondsTo(String expectedLiteralString)
OrdinaryLiteralAssert	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	OrdinaryLiteralAssert.hasPredicate(String predicateName, int arity)
OrdinaryLiteralAssert	OrdinaryLiteralAssert.hasPredicateName(String predicateName)
OrdinaryLiteralAssert	OrdinaryLiteralAssert.hasTerms(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableTermList terms)
OrdinaryLiteralAssert	OrdinaryLiteralAssert.isNegated()
OrdinaryLiteralAssert	OrdinaryLiteralAssert.isPositive()
OrdinaryLiteralAssert	OrdinaryLiteralAssert.isPositive(boolean positive)