Packages

t

tip.interpreter

ValueSpecification

trait ValueSpecification extends AnyRef

Specification of values. (Using the classic terminology by Strachey.)

Linear Supertypes
AnyRef, Any
Known Subclasses
SymbolicValues, ConcreteValues
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ValueSpecification
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait EValue extends AnyRef

    Expressible values, the ones that can result from evaluation of expressions.

    Expressible values, the ones that can result from evaluation of expressions.

    In TIP, all values are expressible.

  2. trait FunValue extends EValue

    Functions: expressible and storable, but not denotable.

  3. trait IntValue extends EValue

    Integers: expressible and storable, but not denotable.

  4. type Location = ReferenceValue

    Denotable values, the ones that represent memory locations.

    Denotable values, the ones that represent memory locations.

    In TIP those are references to variables or heap cells.

  5. trait NullValue extends EValue

    Null: expressible and storable, but not denotable.

  6. trait RecordValue extends EValue

    Record values: expressible and storable, but not denotable.

  7. trait ReferenceValue extends EValue

    Reference: expressible, storable and denotable.

  8. type Value = EValue

    Storable values, the ones that that can be stored in mutable variables or heap cells.

    Storable values, the ones that that can be stored in mutable variables or heap cells.

    Storable values are generally a subset of expressible ones; in TIP they are the same.

Abstract Value Members

  1. abstract def constInt(i: Int): IntValue

    Makes am integer value from a literal.

  2. abstract def divideInt(x: IntValue, y: IntValue): IntValue

    The / operator on integer values.

  3. abstract def eqq(x: EValue, y: EValue): IntValue

    The == operator on arbitrary values.

  4. abstract def eqqInt(x: IntValue, y: IntValue): Boolean

    Equality of integer values.

  5. abstract def greatThanInt(x: IntValue, y: IntValue): IntValue

    The >= operator on integer values.

  6. abstract def minusInt(x: IntValue, y: IntValue): IntValue

    The - operator on integer values.

  7. abstract def mkFun(fun: AFunDeclaration): FunValue

    Makes a function value from a function declaration in the program code.

  8. abstract def mkRecord(fields: Map[String, EValue]): RecordValue

    Makes a new record value.

  9. abstract def newLoc(): ReferenceValue

    Produces a fresh location.

  10. abstract def nullValue: NullValue

    The null value.

  11. abstract def plusInt(x: IntValue, y: IntValue): IntValue

    Thr + operator on integer values.

  12. abstract def returnLoc: ReferenceValue

    The reserved location for storing return values.

  13. abstract def timesInt(x: IntValue, y: IntValue): IntValue

    The * operator on integer values.

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native() @IntrinsicCandidate()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  8. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  9. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  10. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  11. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  12. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  13. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  14. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  15. def toString(): String
    Definition Classes
    AnyRef → Any
  16. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  17. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  18. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] ) @Deprecated
    Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped