All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class simple.GetstorageResult

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

public class GetstorageResult
extends Domain
Formal Semantics of Programming Languages SS 99 1. Exercise Class represents domain Getstorage-result = Denotable-value x Poststore Domain Getstorage-result is a product domain representing pairs of (Denotable-value, Poststore), that are results of getstorage operation.

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

Variable Index

 o dval
 o p

Constructor Index

 o GetstorageResult(DenotableValue, Poststore)

Method Index

 o toString()

Variables

 o dval
 DenotableValue dval
 o p
 Poststore p

Constructors

 o GetstorageResult
 GetstorageResult(DenotableValue dval,
                  Poststore p)

Methods

 o toString
 public String toString()
Overrides:
toString in class Object

All Packages  Class Hierarchy  This Package  Previous  Next  Index