All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class simple.Errvalue

java.lang.Object
   |
   +----simple.Domain
           |
           +----simple.Unit
                   |
                   +----simple.Errvalue

public class Errvalue
extends Unit
Formal Semantics of Programming Languages SS 99 1. Exercise Class represents unit domain Errvalue.

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

Variable Index

 o E

Constructor Index

 o Errvalue()

Method Index

 o ERRVALUE()
Returns the Errvalue object of the unit domain
 o toString()

Variables

 o E
 static final Errvalue E

Constructors

 o Errvalue
 protected Errvalue()

Methods

 o ERRVALUE
 public static Errvalue ERRVALUE()
Returns the Errvalue object of the unit domain

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

All Packages  Class Hierarchy  This Package  Previous  Next  Index