Uses of Class
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.BuiltInLiteralAssert
Packages that use BuiltInLiteralAssert
-
Uses of BuiltInLiteralAssert 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 BuiltInLiteralAssertModifier and TypeFieldDescriptionstatic final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral,BuiltInLiteralAssert> LogicInstanceOfAssertFactories.BUILT_IN_LITERALMethods in edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions that return BuiltInLiteralAssertModifier and TypeMethodDescriptionLiteralAssert.asBuiltInLiteral()static BuiltInLiteralAssertBuiltInLiteralAssert.assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral actual) static BuiltInLiteralAssertLogicSchemaAssertions.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()