object SymbolicValues extends ValueSpecification
- Alphabetic
- By Inheritance
- SymbolicValues
- ValueSpecification
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
case class
ConcreteFunValue(fun: AFunDeclaration) extends FunValue with Product with Serializable
A procedure: denotable and storable
-
case class
ConcreteNullValue() extends NullValue with Product with Serializable
Null: expressible and storable, but not denotable
-
case class
ConcreteRecordValue(fields: Map[String, SymbolicValues.EValue]) extends RecordValue with Product with Serializable
Record value.
-
case class
ConcreteReferenceValue(i: Int) extends ReferenceValue with Product with Serializable
Reference: expressible, storable and denotable
-
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
- case class SymbIntValue(i: Int, symbolic: AExpr) extends IntValue with Product with Serializable
-
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
-
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
-
trait
FunValue extends EValue
Functions: expressible and storable, but not denotable.
Functions: expressible and storable, but not denotable.
- Definition Classes
- ValueSpecification
-
trait
IntValue extends EValue
Integers: expressible and storable, but not denotable.
Integers: expressible and storable, but not denotable.
- Definition Classes
- ValueSpecification
-
trait
NullValue extends EValue
Null: expressible and storable, but not denotable.
Null: expressible and storable, but not denotable.
- Definition Classes
- ValueSpecification
-
trait
RecordValue extends EValue
Record values: expressible and storable, but not denotable.
Record values: expressible and storable, but not denotable.
- Definition Classes
- ValueSpecification
-
trait
ReferenceValue extends EValue
Reference: expressible, storable and denotable.
Reference: expressible, storable and denotable.
- Definition Classes
- ValueSpecification
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @IntrinsicCandidate()
-
def
constInt(i: Int): IntValue
Makes am integer value from a literal.
Makes am integer value from a literal.
- Definition Classes
- SymbolicValues → ValueSpecification
-
def
divideInt(x: IntValue, y: IntValue): IntValue
The
/operator on integer values.The
/operator on integer values.- Definition Classes
- SymbolicValues → ValueSpecification
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
eqq(x: EValue, y: EValue): IntValue
The
==operator on arbitrary values.The
==operator on arbitrary values.- Definition Classes
- SymbolicValues → ValueSpecification
-
def
eqqInt(x: IntValue, y: IntValue): Boolean
Equality of integer values.
Equality of integer values.
- Definition Classes
- SymbolicValues → ValueSpecification
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
def
greatThanInt(x: IntValue, y: IntValue): IntValue
The
>=operator on integer values.The
>=operator on integer values.- Definition Classes
- SymbolicValues → ValueSpecification
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- var lastLoc: Int
-
def
minusInt(x: IntValue, y: IntValue): IntValue
The
-operator on integer values.The
-operator on integer values.- Definition Classes
- SymbolicValues → ValueSpecification
-
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
- SymbolicValues → ValueSpecification
-
def
mkRecord(fields: Map[String, EValue]): ConcreteRecordValue
Makes a new record value.
Makes a new record value.
- Definition Classes
- SymbolicValues → ValueSpecification
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
newLoc(): ReferenceValue
Creates a new reference
Creates a new reference
- Definition Classes
- SymbolicValues → ValueSpecification
- val noLoc: Loc
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @IntrinsicCandidate()
-
val
nullValue: ConcreteNullValue
The null value.
The null value.
- Definition Classes
- SymbolicValues → ValueSpecification
-
def
plusInt(x: IntValue, y: IntValue): IntValue
Thr
+operator on integer values.Thr
+operator on integer values.- Definition Classes
- SymbolicValues → ValueSpecification
-
val
returnLoc: ConcreteReferenceValue
The reserved location for storing return values.
The reserved location for storing return values.
- Definition Classes
- SymbolicValues → ValueSpecification
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
timesInt(x: IntValue, y: IntValue): IntValue
The
*operator on integer values.The
*operator on integer values.- Definition Classes
- SymbolicValues → ValueSpecification
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
Deprecated Value Members
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] ) @Deprecated
- Deprecated