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

Class TermAssert

java.lang.Object
org.assertj.core.api.AbstractAssert<TermAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term>
edu.upc.fib.inlab.imp.kse.logics.logicschema.assertions.TermAssert
All Implemented Interfaces:
org.assertj.core.api.Assert<TermAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term>, org.assertj.core.api.Descriptable<TermAssert>, org.assertj.core.api.ExtensionPoints<TermAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term>
public class TermAssert extends org.assertj.core.api.AbstractAssert<TermAssert,edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term>

  • Field Summary

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

    actual, info, myself, objects, throwUnsupportedExceptionOnEquals

  • Constructor Summary

    Constructors
    Constructor
    Description
    TermAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static TermAssert
    assertThat(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)
     
    TermAssert
    correspondsSpec(edu.upc.fib.inlab.imp.kse.logics.logicschema.services.creation.spec.TermSpec spec)
     
    TermAssert
    isConstant()
     
    TermAssert
    isConstant(String constantName)
     
    TermAssert
    isNotConstant()
     
    TermAssert
    isNotVariable()
     
    TermAssert
    isVariable()
     
    TermAssert
    isVariable(String variableName)
     

    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

    • TermAssert

      public TermAssert(edu.upc.fib.inlab.imp.kse.logics.logicschema.domain.Term actual)

  • Method Details

    • assertThat

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

    • correspondsSpec

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

    • isVariable

      public TermAssert isVariable(String variableName)

    • isVariable

      public TermAssert isVariable()

    • isNotVariable

      public TermAssert isNotVariable()

    • isConstant

      public TermAssert isConstant(String constantName)

    • isConstant

      public TermAssert isConstant()

    • isNotConstant

      public TermAssert isNotConstant()