Trait/Object

it.unich.scalafix.assignments

IOAssignment

Related Docs: object IOAssignment | package assignments

Permalink

trait IOAssignment[U, V] extends InputAssignment[U, V]

An IOAssignment is an assignment used for input, output and internal working of fixpoint solvers. It also explicitly keeps track of unknowns which are modified after creation time.

U

type for unknowns

V

type for values

Linear Supertypes
InputAssignment[U, V], (U) ⇒ V, AnyRef, Any
Known Subclasses
HashBasedIOAssignment
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IOAssignment
  2. InputAssignment
  3. Function1
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def apply(v1: U): V

    Permalink
    Definition Classes
    Function1

  2. abstract def isDefinedAt(u: U): Boolean

    Permalink

    Determines whether the unknown u has been explicitly modified after creation time.

  3. abstract def toIOAssignment: IOAssignment[U, V]

    Permalink

    Returns an IOAssignment with the same initial content as the current assignment.

    Returns an IOAssignment with the same initial content as the current assignment. Changes to the IOAssignment are not reflected to the current assignment.

    Definition Classes
    InputAssignment

  4. abstract def unknowns: Iterable[U]

    Permalink

    An iterable of unknowns which have been explicitly modified after creation time.

  5. abstract def update(u: U, v: V): Unit

    Permalink

    Update an IOAssignment assignment.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def andThen[A](g: (V) ⇒ A): (U) ⇒ A

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()

  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  6. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  7. def compose[A](g: (A) ⇒ U): (A) ⇒ V

    Permalink
    Definition Classes
    Function1
    Annotations
    @unspecialized()

  8. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  9. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  13. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  14. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  15. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  16. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  17. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  18. def toString(): String

    Permalink
    Definition Classes
    Function1 → AnyRef → Any

  19. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  20. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  21. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from InputAssignment[U, V]

Inherited from (U) ⇒ V

Inherited from AnyRef

Inherited from Any

Ungrouped