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

Interface LogicInstanceOfAssertFactories

public interface LogicInstanceOfAssertFactories

A utils class to group all the InstanceOfAssertFactory of the IMP Logics project

Field Summary

Fields

Modifier and Type	Field	Description
static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral,BuiltInLiteralAssert>	BUILT_IN_LITERAL
static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral,ComparisonBuiltInLiteralAssert>	COMPARISON_BUILT_IN_LITERAL
static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList,ImmutableLiteralsListAssert>	IMMUTABLE_LITERALS_LIST
static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral,OrdinaryLiteralAssert>	ORDINARY_LITERAL

Field Details

IMMUTABLE_LITERALS_LIST

static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ImmutableLiteralsList,ImmutableLiteralsListAssert> IMMUTABLE_LITERALS_LIST

ORDINARY_LITERAL

static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.OrdinaryLiteral,OrdinaryLiteralAssert> ORDINARY_LITERAL

BUILT_IN_LITERAL

static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.BuiltInLiteral,BuiltInLiteralAssert> BUILT_IN_LITERAL

COMPARISON_BUILT_IN_LITERAL

static final org.assertj.core.api.InstanceOfAssertFactory<edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.ComparisonBuiltInLiteral,ComparisonBuiltInLiteralAssert> COMPARISON_BUILT_IN_LITERAL