All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class simple.StoreaccessValue

java.lang.Object
   |
   +----simple.Domain
           |
           +----simple.StoreaccessValue

public class StoreaccessValue
extends Domain
Formal Semantics of Programming Languages SS 99 1. Exercise Class represents domain Storeaccess-value = Storable-value + Errvalue. Domain Storeaccess-value represents values, that can be results of store accesses:

Version:
1.0 (JDK 1.1.7)
Author:
Jürgen Hartl, 9756179 / 881

Variable Index

 o value

Constructor Index

 o StoreaccessValue(Domain)

Method Index

 o inErrvalue()
 o inStorableValue(StorableValue)
 o isErrvalue()
 o isStorableValue()
 o toString()

Variables

 o value
 Domain value

Constructors

 o StoreaccessValue
 protected StoreaccessValue(Domain value)

Methods

 o inStorableValue
 public static StoreaccessValue inStorableValue(StorableValue sval)
 o inErrvalue
 public static StoreaccessValue inErrvalue()
 o toString
 public String toString()
Overrides:
toString in class Object
 o isStorableValue
 public StorableValue isStorableValue()
 o isErrvalue
 public Errvalue isErrvalue()

All Packages  Class Hierarchy  This Package  Previous  Next  Index