Package nz.org.riskscape.engine

Class DefaultFunctionResolver.SetPair

java.lang.Object
nz.org.riskscape.engine.DefaultFunctionResolver.SetPair
Enclosing class:
DefaultFunctionResolver
public static class DefaultFunctionResolver.SetPair extends Object

  • Constructor Details

    • SetPair

      public SetPair(nz.org.riskscape.engine.typeset.TypeSet typeSet, nz.org.riskscape.engine.types.Type given, nz.org.riskscape.engine.types.Type receiver)

  • Method Details

    • from

      public static DefaultFunctionResolver.SetPair from(nz.org.riskscape.engine.typeset.TypeSet typeSet, Iterator<nz.org.riskscape.engine.types.Type> given, Iterator<nz.org.riskscape.engine.types.Type> receiver)

    • from

      public static DefaultFunctionResolver.SetPair from(nz.org.riskscape.engine.typeset.TypeSet typeSet, nz.org.riskscape.engine.types.Type given, nz.org.riskscape.engine.types.Type receiver)

    • isOnlyGivenNullable

      public boolean isOnlyGivenNullable()

    • isGivenNullable

      public boolean isGivenNullable()

    • isReceiverNullable

      public boolean isReceiverNullable()

    • isAssignable

      public boolean isAssignable()

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • findEquivalenceCoercer

      public Optional<nz.org.riskscape.engine.types.eqrule.Coercer> findEquivalenceCoercer()

    • testVariance

      public nz.org.riskscape.engine.types.varule.Variance testVariance()

    • getGiven

      public nz.org.riskscape.engine.types.Type getGiven()

    • getReceiver

      public nz.org.riskscape.engine.types.Type getReceiver()