Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
-
Uses of BuiltInLiteralAssert in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions
Modifier and TypeFieldDescriptionstatic final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral,
BuiltInLiteralAssert> LogicInstanceOfAssertFactories.BUILT_IN_LITERAL
Modifier and TypeMethodDescriptionLiteralAssert.asBuiltInLiteral()
static BuiltInLiteralAssert
BuiltInLiteralAssert.assertThat
(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral actual) static BuiltInLiteralAssert
LogicSchemaAssertions.assertThat
(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral actual) BuiltInLiteralAssert.correspondsSpec
(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.BuiltInLiteralSpec spec) BuiltInLiteralAssert.correspondsTo
(String expectedLiteralString) BuiltInLiteralAssert.hasNoTerms()
BuiltInLiteralAssert.hasOperationName
(String operationName) BuiltInLiteralAssert.hasVariable
(int i, String varName) BuiltInLiteralAssert.isBooleanBuiltInLiteral()
BuiltInLiteralAssert.isCustomBuiltInLiteral()