Packages

o

tip.interpreter

ConcreteValues

object ConcreteValues extends ValueSpecification

Values for concrete execution of TIP progams.

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

Type Members

  1. case class ConcreteFunValue(fun: AFunDeclaration) extends FunValue with Product with Serializable

    Function value.

  2. case class ConcreteIntValue(i: Int) extends IntValue with Product with Serializable

    Integer value.

  3. case class ConcreteNullValue() extends NullValue with Product with Serializable

    Null value.

  4. case class ConcreteRecordValue(fields: Map[String, ConcreteValues.EValue]) extends RecordValue with Product with Serializable

    Record value.

  5. case class ConcreteReferenceFieldValue(i: Int, field: String) extends ReferenceValue with Product with Serializable

    Reference to field.

  6. case class ConcreteReferenceValue(i: Int) extends ReferenceValue with Product with Serializable

    Reference: expressible, storable and denotable

    Reference: expressible, storable and denotable

    i

    determines the ID, i.e. the "address" being referred to

  7. 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.

    Definition Classes
    ValueSpecification
  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.

    Definition Classes
    ValueSpecification
  9. 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.

    Definition Classes
    ValueSpecification
  10. trait FunValue extends EValue

    Functions: expressible and storable, but not denotable.

    Functions: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  11. trait IntValue extends EValue

    Integers: expressible and storable, but not denotable.

    Integers: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  12. trait NullValue extends EValue

    Null: expressible and storable, but not denotable.

    Null: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  13. trait RecordValue extends EValue

    Record values: expressible and storable, but not denotable.

    Record values: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  14. trait ReferenceValue extends EValue

    Reference: expressible, storable and denotable.

    Reference: expressible, storable and denotable.

    Definition Classes
    ValueSpecification

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. def constInt(i: Int): IntValue

    Makes am integer value from a literal.

    Makes am integer value from a literal.

    Definition Classes
    ConcreteValues → ValueSpecification
  7. def divideInt(x: IntValue, y: IntValue): IntValue

    The / operator on integer values.

    The / operator on integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  8. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  9. def eqq(x: EValue, y: EValue): IntValue

    The == operator on arbitrary values.

    The == operator on arbitrary values.

    Definition Classes
    ConcreteValues → ValueSpecification
  10. def eqqInt(x: IntValue, y: IntValue): Boolean

    Equality of integer values.

    Equality of integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  11. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  12. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  13. def greatThanInt(x: IntValue, y: IntValue): IntValue

    The >= operator on integer values.

    The >= operator on integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  14. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  15. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  16. var lastLoc: Int
  17. def minusInt(x: IntValue, y: IntValue): IntValue

    The - operator on integer values.

    The - operator on integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  18. def mkFun(f: AFunDeclaration): FunValue

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

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

    Definition Classes
    ConcreteValues → ValueSpecification
  19. def mkRecord(fields: Map[String, EValue]): ConcreteRecordValue

    Makes a new record value.

    Makes a new record value.

    Definition Classes
    ConcreteValues → ValueSpecification
  20. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def newLoc(): ReferenceValue

    Produces a fresh location.

    Produces a fresh location.

    Definition Classes
    ConcreteValues → ValueSpecification
  22. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  23. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  24. val nullValue: ConcreteNullValue

    The null value.

    The null value.

    Definition Classes
    ConcreteValues → ValueSpecification
  25. def plusInt(x: IntValue, y: IntValue): IntValue

    Thr + operator on integer values.

    Thr + operator on integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  26. val returnLoc: ConcreteReferenceValue

    The reserved location for storing return values.

    The reserved location for storing return values.

    Definition Classes
    ConcreteValues → ValueSpecification
  27. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  28. def timesInt(x: IntValue, y: IntValue): IntValue

    The * operator on integer values.

    The * operator on integer values.

    Definition Classes
    ConcreteValues → ValueSpecification
  29. def toString(): String
    Definition Classes
    AnyRef → Any
  30. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  31. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  32. 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 ValueSpecification

Inherited from AnyRef

Inherited from Any

Ungrouped