o

tip.concolic

SymbolicValues

object SymbolicValues extends ValueSpecification

Linear Supertypes
ValueSpecification, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SymbolicValues
  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

    A procedure: denotable and storable

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

    Null: expressible and storable, but not denotable

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

    Record value.

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

    Reference: expressible, storable and denotable

  5. 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
  6. case class SymbIntValue(i: Int, symbolic: AExpr) extends IntValue with Product with Serializable
  7. 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
  8. 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
  9. trait FunValue extends EValue

    Functions: expressible and storable, but not denotable.

    Functions: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  10. trait IntValue extends EValue

    Integers: expressible and storable, but not denotable.

    Integers: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  11. trait NullValue extends EValue

    Null: expressible and storable, but not denotable.

    Null: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  12. trait RecordValue extends EValue

    Record values: expressible and storable, but not denotable.

    Record values: expressible and storable, but not denotable.

    Definition Classes
    ValueSpecification
  13. 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
    SymbolicValuesValueSpecification
  7. def divideInt(x: IntValue, y: IntValue): IntValue

    The / operator on integer values.

    The / operator on integer values.

    Definition Classes
    SymbolicValuesValueSpecification
  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
    SymbolicValuesValueSpecification
  10. def eqqInt(x: IntValue, y: IntValue): Boolean

    Equality of integer values.

    Equality of integer values.

    Definition Classes
    SymbolicValuesValueSpecification
  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
    SymbolicValuesValueSpecification
  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
    SymbolicValuesValueSpecification
  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
    SymbolicValuesValueSpecification
  19. def mkRecord(fields: Map[String, EValue]): ConcreteRecordValue

    Makes a new record value.

    Makes a new record value.

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

    Creates a new reference

    Creates a new reference

    Definition Classes
    SymbolicValuesValueSpecification
  22. val noLoc: Loc
  23. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  24. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  25. val nullValue: ConcreteNullValue

    The null value.

    The null value.

    Definition Classes
    SymbolicValuesValueSpecification
  26. def plusInt(x: IntValue, y: IntValue): IntValue

    Thr + operator on integer values.

    Thr + operator on integer values.

    Definition Classes
    SymbolicValuesValueSpecification
  27. val returnLoc: ConcreteReferenceValue

    The reserved location for storing return values.

    The reserved location for storing return values.

    Definition Classes
    SymbolicValuesValueSpecification
  28. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  29. def timesInt(x: IntValue, y: IntValue): IntValue

    The * operator on integer values.

    The * operator on integer values.

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